Effective typestate verification in the presence of aliasing (2006)

by Stephen Fink , Eran Yahav , Nurit Dor , G. Ramalingam , Emmanuel Geay
Venue:In ACM International Symposium on Software Testing and Analysis
Citations:79 - 7 self