Effective typestate verification in the presence of aliasing (2006)

by S Fink, E Yahav, N Dor, G Ramalingam, E Geay
Venue:In Proceedings of ISSTA’06