Automatic program repair with evolutionary computation

Authors:
Westley Weimer;Stephanie Forrest;Claire Le Goues;ThanhVu Nguyen
Affiliations:
University of Virginia;University of New Mexico;University of Virginia;University of New Mexico
Venue:
Communications of the ACM
Year:
2010

Citing 22
Cited 13

Genetic programming: on the programming of computers by means of natural selection

Genetic programming: on the programming of computers by means of natural selection
Advances in Software Engineering

Computer
Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Simplifying and Isolating Failure-Inducing Input

IEEE Transactions on Software Engineering
Practical Software Maintenance: Best Practices for Managing Your Software Investment

Practical Software Maintenance: Best Practices for Managing Your Software Investment
Modernizing Legacy Systems: Software Technologies, Engineering Process and Business Practices

Modernizing Legacy Systems: Software Technologies, Engineering Process and Business Practices
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Bug isolation via remote program sampling

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A Sense of Self for Unix Processes

SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Finding bugs is easy

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Empirical evaluation of the tarantula automatic fault-localization technique

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
diffX: an algorithm to detect changes in multi-version XML documents

CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Inference and enforcement of data structure consistency specifications

Proceedings of the 2006 international symposium on Software testing and analysis
Patches as better bug reports

Proceedings of the 5th international conference on Generative programming and component engineering
The Current State and Future of Search Based Software Engineering

FOSE '07 2007 Future of Software Engineering
The Daikon system for dynamic detection of likely invariants

Science of Computer Programming
Automatically finding patches using genetic programming

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A genetic programming approach to automated software repair

Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Genetic programming in the wild: evolving unrestricted bytecode

Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Automatically patching errors in deployed software

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Generating Fixes from Object Behavior Anomalies

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
A Field Guide to Genetic Programming

A Field Guide to Genetic Programming

Angelic debugging

Proceedings of the 33rd International Conference on Software Engineering
PEASOUP: preventing exploits against software of uncertain provenance (position paper)

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Genetic programming for shader simplification

Proceedings of the 2011 SIGGRAPH Asia Conference
Exploiting decomposability using recombination in genetic algorithms: an exploratory discussion

SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Biological realms in computer science

Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
What to do when things go wrong: recovery in complex (computer) systems

Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
Multi-objective coevolutionary automated software correction

Proceedings of the 14th annual conference on Genetic and evolutionary computation
Development of auxiliary functions: should you be agile? an empirical assessment of pair programming and test-first programming

Proceedings of the 34th International Conference on Software Engineering
Modeling global temperature changes with genetic programming

Computers & Mathematics with Applications
Automated repair of binary and assembly programs for cooperating embedded devices

Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Self-focusing genetic programming for software optimisation

Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Combining slicing and constraint solving for better debugging: the CONBAS approach

Advances in Software Engineering
Growing solver-aided languages with rosette

Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software

Quantified Score

Hi-index	48.22

Visualization

Abstract

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 recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-the-shelf legacy C programs. The method takes as input the buggy C source code, a failed test case that demonstrates the bug, and a small number of other test cases that encode the required functionality of the program. The repair procedure does not rely on formal specifications, making it applicable to a wide range of extant software for which formal specifications rarely exist.