Generating Tests from Counterexamples
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Generating Tests from Counterexamples
ICSE, 2004.

ICSE 2004
Full names Links ISxN
	author        = "Dirk Beyer and Adam Chlipala and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar",
	booktitle     = "{Proceedings of the 26th International Conference on Software Engineering}",
	doi           = "10.1109/ICSE.2004.1317455",
	editor        = "Anthony Finkelstein and Jacky Estublier and David S. Rosenblum",
	isbn          = "0-7695-2163-0",
	pages         = "326--335",
	publisher     = "{IEEE Computer Society}",
	title         = "{Generating Tests from Counterexamples}",
	year          = 2004,


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.