Test generation via Dynamic Symbolic Execution for mutation testing
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

Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei
Test generation via Dynamic Symbolic Execution for mutation testing
ICSME, 2010.

ICSM 2010
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICSM-2010-ZhangXZTHM,
	author        = "Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei",
	booktitle     = "{Proceedings of the 26th International Conference on Software Maintenance}",
	doi           = "10.1109/ICSM.2010.5609672",
	isbn          = "978-1-4244-8630-4",
	pages         = "1--10",
	publisher     = "{IEEE Computer Society}",
	title         = "{Test generation via Dynamic Symbolic Execution for mutation testing}",
	year          = 2010,
}

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.