Automatically finding patches using genetic programming

W Weimer, TV Nguyen, C Le Goues… - 2009 IEEE 31st …, 2009 - ieeexplore.ieee.org
Automatic program repair has been a longstanding goal in software engineering, yet
debugging remains a largely manual process. We introduce a fully automated method for …

Genprog: A generic method for automatic software repair

C Le Goues, TV Nguyen, S Forrest… - Ieee transactions on …, 2011 - ieeexplore.ieee.org
This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

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 …

Leveraging program equivalence for adaptive program repair: Models and first results

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 …

An empirical study on real bug fixes

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 …

Leveraging syntax-related code for automated program repair

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 …

A genetic programming approach to automated software repair

S Forrest, TV Nguyen, W Weimer… - Proceedings of the 11th …, 2009 - dl.acm.org
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 …

Semfix: Program repair via semantic analysis

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 …

Codeflaws: a programming competition benchmark for evaluating automated program repair tools

SH Tan, J Yi, S Mechtaev… - 2017 IEEE/ACM 39th …, 2017 - ieeexplore.ieee.org
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 …

Do automated program repair techniques repair hard and important bugs?

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 …