A genetic programming approach to automated software repair

Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009

Volumn , Issue , 2009, Pages 947-954

  Forrest, Stephanie ^a,c   Nguyen, Thanhvu ^a   Weimer, Westley ^b   Le Goues, Claire ^b  

^a University of New Mexico   (United States)

^b University of Virginia   (United States)

^c SANTA FE INSTITUTE   (United States)

Author keywords

Genetic programming; Software engineering; Software repair

Indexed keywords

C PROGRAMS; DEBUGGING METHODS; DIFFERENCING ALGORITHM; EVOLUTIONARY COMPONENTS; EXECUTION PATHS; GENETIC OPERATIONS; GENETIC OPERATORS; LINES OF CODE; POSITIVE TESTS; PROGRAM ANALYSIS; PROGRAM TREES; SOFTWARE REPAIR; TEST CASE;

COMPUTER SOFTWARE; EVOLUTIONARY ALGORITHMS; EXPERIMENTS; GENETIC PROGRAMMING; MATHEMATICAL OPERATORS; REPAIR;

PROGRAM DEBUGGING;

EID: 72749113538     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1569901.1570031     Document Type: Conference Paper

References (25)

1. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (second edition). Pearson Education, 2006.
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.
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.
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.
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.
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.
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.
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.
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.
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.
15. M. Gabel and Z. Su. Symbolic mining of temporal specifications. In International Conference on Software Engineering, pages 51-60, 2008.
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.
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.
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.
19. T. M. Pigoski. Practical Software Maintenance: Best Practices for Managing Your Software Investment. John Wiley & Sons, 1996.
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.
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.
22. W. Weimer. Patches as better bug reports. In Generative Programming and Component Engineering, pages 181-190, 2006.
23. W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest. Automatically finding patches using genetic programming. In International Conference on Software Engineering, 2009.
24. A. Zeller. Yesterday, my program worked. Today, it does not. Why? In Foundations of Software Engineering, pages 253-267, 1999.
25. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng., 28(2):183-200, 2002.