DMCA
High-Coverage Symbolic Patch Testing
by
Paul Dan Marinescu
,
Cristian Cadar
| Citations: | 5 - 4 self |
BibTeX
@MISC{Marinescu_high-coveragesymbolic,
author = {Paul Dan Marinescu and Cristian Cadar},
title = {High-Coverage Symbolic Patch Testing},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. 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 real patches from the
