research-article

A genetic programming approach to automated software repair

Authors:

Stephanie Forrest,

ThanhVu Nguyen,

Westley Weimer,

Claire Le GouesAuthors Info & Claims

GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation

Pages 947 - 954

https://doi.org/10.1145/1569901.1570031

Published: 08 July 2009 Publication History

Abstract

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 to be repaired and positive test cases that encode program requirements. Once a successful repair is discovered, structural differencing algorithms and delta debugging methods are used to minimize its size. Several modifications to the GP technique contribute to its success: (1) genetic operations are localized to the nodes along the execution path of the negative test case; (2) high-level statements are represented as single nodes in the program tree; (3) genetic operators use existing code in other parts of the program, so new code does not need to be invented. The paper describes the method, reviews earlier experiments that repaired 11 bugs in over 60,000 lines of code, reports results on new bug repairs, and describes experiments that analyze the performance and efficacy of the evolutionary components of the algorithm.

References

[1]

]]A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (second edition). Pearson Education, 2006.

Digital Library

[2]

]]R. Al-Ekram, A. Adma, and O. Baysal. diffX: an algorithm to detect changes in multi-version XML documents. In Conference of the Centre for Advanced Studies on Collaborative research, pages 1--11. IBM Press, 2005.

Digital Library

[3]

]]A. Arcuri. On the automation of fixing software bugs. In Proceedings of the Doctoral Symposium of the IEEE International Conference on Software Engineering, 2008.

Digital Library

[4]

]]A. Arcuri, D. R. White, J. Clark, and X. Yao. Multi-objective improvement of software using co-evolution and smart seeding. In Proceedings of the International Conference on Simulated Evolution And Learning, pages 61--70, 2008.

Digital Library

[5]

]]A. Arcuri and X. Yao. A novel co-evolutionary approach to automatic software bug fixing. In IEEE Congress on Evolutionary Computation, 2008.

[6]

]]T. Ball, M. Naik, and S. K. Rajamani. From symptom to cause: localizing errors in counterexample traces. SIGPLAN Not., 38(1):97--105, 2003.

Digital Library

[7]

]]T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN Workshop on Model Checking of Software, volume 2057 of Lecture Notes in Computer Science, pages 103--122, May 2001.

Digital Library

[8]

]]BBC News. Microsoft zune affected by 'bug'. In http://news.bbc.co.uk/2/hi/technology/7806683.stm, Dec. 2008.

[9]

]]T. V. Belle. Modularity and the Evolution of Software Evolvability. PhD thesis, University of New Mexico, Albuquerque, NM, 2004.

Digital Library

[10]

]]T. V. Belle and D. H. Ackley. Code factoring and the evolution of evolvability. In GECCO '02: Proceedings of the Genetic and Evolutionary Computation Conference, pages 1383--1390, San Francisco, CA, USA, 2002. Morgan Kaufmann Publishers Inc.

[11]

]]R. V. Binder. Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman, 1999.

Digital Library

[12]

]]B. Demsky, M. D. Ernst, P. J. Guo, S. McCamant, J. H. Perkins, and M. Rinard. Inference and enforcement of data structure consistency specifications. In International Symposium on Software Testing and Analysis, pages 233--244, 2006.

Digital Library

[13]

]]B. Demsky and M. C. Rinard. Automatic data structure repair for self-healing systems. In Object-Oriented Programming, Systems, Languages, and Applications. 2003.

[14]

]]S. Forrest, S. A. Hofmeyr, A. Somayaji, and T. A. Longstaff. A sense of self for unix processes. In IEEE Symposium on Security and Privacy, pages 120--128, 1996.

Digital Library

[15]

]]M. Gabel and Z. Su. Symbolic mining of temporal specifications. In International Conference on Software Engineering, pages 51--60, 2008.

Digital Library

[16]

]]D. Hovemeyer and W. Pugh. Finding bugs is easy. In Companion to the conference on Object-oriented programming systems, languages, and applications, pages 132--136, 2004.

Digital Library

[17]

]]B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Programming Language Design and Implementation, June 9--11 2003.

Digital Library

[18]

]]G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. Cil: An infrastructure for C program analysis and transformation. In International Conference on Compiler Construction, pages 213--228, Apr. 2002.

Digital Library

[19]

]]T. M. Pigoski. Practical Software Maintenance: Best Practices for Managing Your Software Investment. John Wiley & Sons, 1996.

Digital Library

[20]

]]S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391--411, 1997.

Digital Library

[21]

]]K. Walcott, M. Soffa, G. Kapfhammer, and R. Roos. Time-aware test suite prioritization. In International Symposium on Software Testing and Analysis, pages 1--12, 2006.

Digital Library

[22]

]]W. Weimer. Patches as better bug reports. In Generative Programming and Component Engineering, pages 181--190, 2006.

Digital Library

[23]

]]W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest. Automatically finding patches using genetic programming. In International Conference on Software Engineering, 2009.

Digital Library

[24]

]]A. Zeller. Yesterday, my program worked. Today, it does not. Why? In Foundations of Software Engineering, pages 253--267, 1999.

Digital Library

[25]

]]A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng., 28(2):183--200, 2002.

Digital Library

Cited By

Gemeinhardt FKlikovits SWimmer M(2025)GeQuPI: Quantum Program Improvement with Multi-Objective Genetic ProgrammingJournal of Systems and Software10.1016/j.jss.2024.112223219(112223)Online publication date: Jan-2025
https://doi.org/10.1016/j.jss.2024.112223
Song XWu YLiu SChen BLin YPeng XChristakis MPradel M(2024)C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta DebuggingProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3652129(300-312)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3652129
Yuan YHuyen PTan SMechtaev SKhurshid S(2024)ARJA-e for the First International Competition on Automated Program RepairProceedings of the 5th ACM/IEEE International Workshop on Automated Program Repair10.1145/3643788.3648019(50-52)Online publication date: 20-Apr-2024
https://dl.acm.org/doi/10.1145/3643788.3648019
Show More Cited By

Index Terms

A genetic programming approach to automated software repair
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Error handling and recovery
    2. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
2. Theory of computation
  1. Design and analysis of algorithms
    1. Data structures design and analysis
      1. Sorting and searching

Recommendations

Neural network crossover in genetic algorithms using genetic programming
Abstract
The use of genetic algorithms (GAs) to evolve neural network (NN) weights has risen in popularity in recent years, particularly when used together with gradient descent as a mutation operator. However, crossover operators are often omitted from ...
Exact Schema Theory and Markov Chain Models for Genetic Programming and Variable-length Genetic Algorithms with Homologous Crossover

Genetic Programming (GP) homologous crossovers are a group of operators, including GP one-point crossover and GP uniform crossover, where the offspring are created preserving the position of the genetic material taken from the parents. In this paper we ...
Does Genetic Programming Work Well on Automated Program Repair?
ICCIS '13: Proceedings of the 2013 International Conference on Computational and Information Sciences

Automated program repair has made some important progress in the recent decade. One well-known repair tool is GneProg, which automates the patch generation process according to the guidance of genetic programming. Although GenProg has successfully fixed ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation

July 2009

2036 pages

ISBN:9781605583259

DOI:10.1145/1569901

General Chair:
Franz Rothlauf
University of Mainz, Germany

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

GECCO09

Sponsor:

GECCO09: Genetic and Evolutionary Computation Conference

July 8 - 12, 2009

Québec, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 1,669 of 4,410 submissions, 38%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

180
Total Citations
View Citations
1,120
Total Downloads

Downloads (Last 12 months)67
Downloads (Last 6 weeks)11

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gemeinhardt FKlikovits SWimmer M(2025)GeQuPI: Quantum Program Improvement with Multi-Objective Genetic ProgrammingJournal of Systems and Software10.1016/j.jss.2024.112223219(112223)Online publication date: Jan-2025
https://doi.org/10.1016/j.jss.2024.112223
Song XWu YLiu SChen BLin YPeng XChristakis MPradel M(2024)C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta DebuggingProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3652129(300-312)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3652129
Yuan YHuyen PTan SMechtaev SKhurshid S(2024)ARJA-e for the First International Competition on Automated Program RepairProceedings of the 5th ACM/IEEE International Workshop on Automated Program Repair10.1145/3643788.3648019(50-52)Online publication date: 20-Apr-2024
https://dl.acm.org/doi/10.1145/3643788.3648019
Bo LHe YSun XJi WWu X(2024)A Software Bug Fixing Approach Based on Knowledge-Enhanced Large Language Models2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS62785.2024.00026(169-179)Online publication date: 1-Jul-2024
https://doi.org/10.1109/QRS62785.2024.00026
Robati Shirzad MLam P(2024)A study of common bug fix patterns in RustEmpirical Software Engineering10.1007/s10664-023-10437-129:2Online publication date: 12-Feb-2024
https://doi.org/10.1007/s10664-023-10437-1
Yousofvand LSoleimani SRafe VEsfandyari S(2024)Automatic program bug fixing by focusing on finding the shortest sequence of changesArtificial Intelligence Review10.1007/s10462-023-10686-y57:2Online publication date: 7-Feb-2024
https://doi.org/10.1007/s10462-023-10686-y
VaraminyBahnemiry ZGalasso JOakes BSahraoui H(2024)Improving repair of semantic ATL errors using a social diversity metricSoftware and Systems Modeling10.1007/s10270-024-01170-4Online publication date: 18-Apr-2024
https://doi.org/10.1007/s10270-024-01170-4
Wei YBo LWu XLi YYe ZSun XLi B(2023)VulRep: vulnerability repair based on inducing commits and fixing commitsEURASIP Journal on Wireless Communications and Networking10.1186/s13638-023-02242-72023:1Online publication date: 21-Apr-2023
https://doi.org/10.1186/s13638-023-02242-7
Callaghan DFischer BJust RFraser G(2023)Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite ReductionProceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3597926.3598148(1445-1457)Online publication date: 12-Jul-2023
https://dl.acm.org/doi/10.1145/3597926.3598148
Santiesteban PHuang YWeimer WAhmad H(2023)CirFix: Automated Hardware Repair and its Real-World ApplicationsIEEE Transactions on Software Engineering10.1109/TSE.2023.326989949:7(3736-3752)Online publication date: Jul-2023
https://doi.org/10.1109/TSE.2023.3269899
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents