@inproceedings{TAP-2010-ThummalapentaHTW,
author = "Suresh Thummalapenta and Jonathan de Halleux and Nikolai Tillmann and Scott Wadsworth",
booktitle = "{Proceedings of the Fourth International Conference on Tests and Proofs}",
doi = "10.1007/978-3-642-13977-2_8",
isbn = "978-3-642-13976-5",
pages = "77--93",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces}",
volume = 6143,
year = 2010,
}
Tags: