This paper describes GenProg, an automated method for repairing defects in off-the-shelf, legacy programs without formal specifications, program annotations, or special coding …
C Le Goues, M Dewey-Vogt, S Forrest… - 2012 34th …, 2012 - ieeexplore.ieee.org
There are more bugs in real-world programs than human programmers can realistically address. This paper evaluates two research questions:“What fraction of bugs can be …
W Weimer, ZP Fry, S Forrest - 2013 28th IEEE/ACM …, 2013 - ieeexplore.ieee.org
Software bugs remain a compelling problem. Automated program repair is a promising approach for reducing cost, and many methods have recently demonstrated positive results …
H Zhong, Z Su - 2015 IEEE/ACM 37th IEEE International …, 2015 - ieeexplore.ieee.org
Software bugs can cause significant financial loss and even the loss of human lives. To reduce such loss, developers devote substantial efforts to fixing bugs, which generally …
Q Xin, SP Reiss - … 32nd IEEE/ACM International Conference on …, 2017 - ieeexplore.ieee.org
We present our automated program repair technique ssFix which leverages existing code (from a code database) that is syntax-related to the context of a bug to produce patches for …
Genetic programming is combined with program analysis methods to repair bugs in off-the- shelf legacy C programs. Fitness is defined using negative test cases that exercise the bug …
HDT Nguyen, D Qi, A Roychoudhury… - 2013 35th …, 2013 - ieeexplore.ieee.org
Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given …
Several automated program repair techniques have been proposed to reduce the time and effort spent in bug-fixing. While these repair tools are designed to be generic such that they …
M Motwani, S Sankaranarayanan, R Just… - Proceedings of the 40th …, 2018 - dl.acm.org
Automated program repair techniques use a buggy program and a partial specification (typically a test suite) to produce a program variant that satisfies the specification. While prior …