A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
High-Coverage Symbolic Patch Testing
[chapter]
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
doi:10.1007/978-3-642-31759-0_2
fatcat:zy25sozzpnagbeibdy7o5qssxq