Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States

Bodden, Eric

Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States (bibtex)

@inproceedings{ICSE10Cont,
	Keywords = {clara},
	Address = {New York, NY, USA},
	Author = {Eric Bodden},
	Booktitle = {ICSE '10: International Conference on Software Engineering},
	Isbn = {978-1-60558-719-6},
	Location = {Cape Town, South Africa},
	Month = may,
	Pages = {5--14},
	Publisher = {ACM},
	Acceptance-Rate = {52/380 (13.7\%)},
	Title = {Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States},
	Url = {https://www.bodden.de/pubs/bodden10efficient.pdf},
	Year = {2010},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden10efficient.pdf}}