@inproceedings{safe:issta06,
 author = {Stephen Fink and Eran Yahav and Nurit Dor and G. Ramalingam and Emmanuel Geay},
 title = {Effective typestate verification in the presence of aliasing},
 booktitle = {ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis},
 year = {2006},
 isbn = {1-59593-263-1},
 pages = {133--144},
 location = {Portland, Maine, USA},
 doi = {http://doi.acm.org/10.1145/1146238.1146254},
 publisher = {ACM},
 address = {New York, NY, USA},
 }