Symbolic execution for software testing in practice: preliminary assessment
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

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
Symbolic execution for software testing in practice: preliminary assessment
ICSE, 2011.

ICSE 2011
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICSE-2011-CadarGKPSTV,
	author        = "Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Pasareanu and Koushik Sen and Nikolai Tillmann and Willem Visser",
	booktitle     = "{Proceedings of the 33rd International Conference on Software Engineering}",
	doi           = "10.1145/1985793.1985995",
	editor        = "Richard N. Taylor and Harald Gall and Nenad Medvidović",
	isbn          = "978-1-4503-0445-0",
	pages         = "1066--1071",
	publisher     = "{ACM}",
	title         = "{Symbolic execution for software testing in practice: preliminary assessment}",
	year          = 2011,
}

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.