Effective typestate verification in the presence of aliasing.

Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay

Browse the full ISSTA paper archive.