Scalable Shape Analysis for Systems Code. (2008)

by H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P W O’Hearn
Venue:In Proc. of CAV’08, LNCS