Effective typestate verification in the presence of aliasing (2006)

by Stephen Fink, Eran Yahav, Nurit Dor, G Ramalingam, Emmanuel Geay
Venue:In International Symposium on Software Testing and Analysis