Evolving patches for software repair

Genetic and Evolutionary Computation Conference, GECCO'11

Volumn , Issue , 2011, Pages 1427-1434

  Ackling, Thomas ^a   Alexander, Brad ^a   Grunert, Ian ^b  

^a UNIVERSITY OF ADELAIDE   (Australia)

^b Atlassian Pty Ltd   (Australia)

Author keywords

Debugging; Fault repair; Genetic programming; Python

Indexed keywords

CODE MODIFICATIONS; FAULT-REPAIR; LOCALISATION; PROGRAM CODE; PYTHON; SOFTWARE REPAIR; SOFTWARE SYSTEMS; TOOLS AND TECHNIQUES;

DEFECTS; ERRORS; FAULT DETECTION; GENETIC PROGRAMMING; HIGH LEVEL LANGUAGES; PROGRAM DEBUGGING; REPAIR;

COMPUTER SOFTWARE;

EID: 84860416974     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001576.2001768     Document Type: Conference Paper

References (26)

1. A. Arcuri. On the automation of fixing software bugs. In ICSE Companion, pages 1003-1006, 2008.
2. A. Arcuri. Evolutionary repair of faulty software. Technical report, University of Birmingham, May 2009.
3. S. Artzi, J. Dolby, F. Tip, and M. Pistoia. Practical fault localization for dynamic web applications. In ICSE (1), pages 265-274, 2010.
4. N. Ayewah, W. Pugh, J. D. Morgenthaler, J. Penix, and Y. Zhou. Using findbugs on production software. In OOPSLA Companion, pages 805-806, 2007.
5. A. Bessey, K. Block, B. Chelf, A. Chou, B. Fulton, S. Hallem, C. Henri-Gros, A. Kamsky, S. McPeak, and D. R. Engler. A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM, 53(2):66-75, 2010.
6. C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209-224, 2008.
7. K. Claessen and J. Hughes. Quickcheck: a lightweight tool for random testing of haskell programs. In ICFP, pages 268-279, 2000. (Pubitemid 32024728)
8. C. Cowan, C. Pu, D. Maier, H. Hintony, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, and Q. Zhang. Stackguard: automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7th conference on USENIX Security Symposium - Volume 7, pages 5-5, Berkeley, CA, USA, 1998. USENIX Association.
9. V. Debroy and W. E. Wong. Insights on fault interference for programs with multiple bugs. In ISSRE, pages 165-174, 2009.
10. Facebook. It's a small world, January 2011.
11. S. Forrest, T. Nguyen, W. Weimer, and C. L. Goues. A genetic programming approach to automated software repair. In GECCO, pages 947-954, 2009.
12. J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In ASE, pages 273-282, 2005.
13. J. R. Koza. Introduction to genetic programming tutorial: from the basics to human-competitive results. In GECCO (Companion), pages 2137-2262, 2010.
14. G. C. Necula, J. Condit, M. Harren, S. McPeak, and W. Weimer. Ccured: type-safe retrofitting of legacy software. ACM Trans. Program. Lang. Syst., 27(3):477-526, 2005. (Pubitemid 43942510)
15. N. Nethercote and J. Seward. Valgrind: A program supervision framework. Electr. Notes Theor. Comput. Sci., 89(2), 2003.
16. G. Novark, E. D. Berger, and B. G. Zorn. Exterminator: Automatically correcting memory errors with high probability. Commun. ACM, 51(12):87-95, 2008.
17. M. O'Neill and C. Ryan. Grammatical evolution. IEEE Trans. Evolutionary Computation, 5(4):349-358, 2001. (Pubitemid 32949966)
18. H. D. Owens, B. F. Womack, and M. J. Gonzalez. Software error classification using purify. In ICSM, pages 104-113, 1996.
19. S. Sidiroglou and A. D. Keromytis. Countering network worms through automatic patch generation. IEEE Security & Privacy, 3(6):41-49, 2005. (Pubitemid 43060393)
20. M. Stumptner and F. Wotawa. A model-based approach to software debugging. In In Proceedings on the Seventh International Workshop on Principles of Diagnosis, Val, pages 214-223, 1996.
21. G. Tassey. The economic impacts of inadequate infrastructure for software testing. Technical report, National Institute of Standards and Technology, May 2002.
22. W. Weimer, T. Nguyen, C. L. Goues, and S. Forrest. Automatically finding patches using genetic programming. In ICSE, pages 364-374, 2009.
23. J. L. Wilkerson and D. Tauritz. Coevolutionary automated software correction. In GECCO, pages 1391-1392, 2010.
24. A. Zeller. Yesterday, my program worked. today, it does not. why? In ESEC / SIGSOFT FSE, pages 253-267, 1999.
25. Y. Zhang and Y. Ding. Ctl model update for system modifications. J. Artif. Intell. Res. (JAIR), 31:113-155, 2008. (Pubitemid 351761984)
26. H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Comput. Surv., 29(4):366-427, 1997. (Pubitemid 127583222)