High-Coverage Symbolic Patch Testing [chapter]

Paul Dan Marinescu, Cristian Cadar
2012 Lecture Notes in Computer Science  
Software patches are often poorly tested, with many of them containing faults that affect the correct operation of the software. In this paper, we propose an automatic technique based on symbolic execution, that aims to increase the quality of patches by providing developers with an automated mechanism for generating a set of comprehensive test cases covering all or most of the statements in a software patch. Our preliminary evaluation of this technique has shown promising results on several
more » ... l patches from the lighttpd web server. The original publication is available at www.springerlink.com http://link.
doi:10.1007/978-3-642-31759-0_2 fatcat:zy25sozzpnagbeibdy7o5qssxq