Effective typestate verification in the presence of aliasing
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing
ISSTA, 2006.

ISSTA 2006
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ISSTA-2006-FinkYDRG,
	author        = "Stephen J. Fink and Eran Yahav and Nurit Dor and G. Ramalingam and Emmanuel Geay",
	booktitle     = "{Proceedings of the 15th International Symposium on Software Testing and Analysis}",
	doi           = "10.1145/1146238.1146254",
	isbn          = "1-59593-263-1",
	pages         = "133--144",
	publisher     = "{ACM}",
	title         = "{Effective typestate verification in the presence of aliasing}",
	year          = 2006,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.