A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Enhancing Automated Program Repair with Deductive Verification
2016
2016 IEEE International Conference on Software Maintenance and Evolution (ICSME)
Automated program repair (APR) is a challenging process of detecting bugs, localizing buggy code, generating fix candidates and validating the fixes. Effectiveness of program repair methods relies on the generated fix candidates, and the methods used to traverse the space of generated candidates to search for the best ones. Existing approaches generate fix candidates based on either syntactic searches over source code or semantic analysis of specification, e.g., test cases. In this paper, we
doi:10.1109/icsme.2016.66
dblp:conf/icsm/LeLLG16
fatcat:dntevg7uwvditgsb3zllvbogeu