Scaling genetic improvement and automated program repair

M Harman - Proceedings of the Third International Workshop on …, 2022 - dl.acm.org
Scaling Genetic Improvement and Automated Program Repair Page 1 Scaling Genetic
Improvement and Automated Program Repair Mark Harman∗ Meta Platforms Inc. London, UK …

Designing better fitness functions for automated program repair

E Fast, C Le Goues, S Forrest, W Weimer - Proceedings of the 12th …, 2010 - dl.acm.org
Evolutionary methods have been used to repair programs automatically, with promising
results. However, the fitness function used to achieve these results was based on a few …

[PDF][PDF] Automatic program repair using genetic programming

C Le Goues - named-content content-type= ref-degree¿ Ph. D …, 2013 - cs.cmu.edu
Software quality is an urgent problem. There are so many bugs in industrial program source
code that mature software projects are known to ship with both known and unknown bugs …

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 …

Evolving patches for software repair

T Ackling, B Alexander, I Grunert - … of the 13th annual conference on …, 2011 - dl.acm.org
Defects are a major concern in software systems. Unsurprisingly, there are many tools and
techniques to facilitate the removal of defects through their detection and localisation …

Learning to synthesize

Y Xiong, B Wang, G Fu, L Zang - … of the 4th International Workshop on …, 2018 - dl.acm.org
In many scenarios we need to find the most likely program under a local context, where the
local context can be an incomplete program, a partial specification, natural language …

Improved representation and genetic operators for linear genetic programming for automated program repair

VPL Oliveira, EF Souza, CL Goues… - Empirical Software …, 2018 - Springer
Genetic improvement for program repair can fix bugs or otherwise improve software via
patch evolution. Consider GenProg, a prototypical technique of this type. GenProg's …

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 …

Automated program repair

CL Goues, M Pradel, A Roychoudhury - Communications of the ACM, 2019 - dl.acm.org
Automated program repair Page 1 56 COMMUNICATIONS OF THE ACM | DECEMBER 2019
| VOL. 62 | NO. 12 review articles ALEX IS A software developer, a recent hire at the company …

Automatic program repair with evolutionary computation

W Weimer, S Forrest, C Le Goues… - Communications of the …, 2010 - dl.acm.org
There are many methods for detecting and mitigating software errors but few generic
methods for automatically repairing errors once they are discovered. This paper highlights …