A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2012, Pages 3-13

  Le Goues, Claire ^a   Dewey Vogt, Michael ^a   Forrest, Stephanie ^b   Weimer, Westley ^a  

^a University of Virginia   (United States)

^b University of New Mexico   (United States)

Author keywords

automated program repair; cloud computing; genetic programming

Indexed keywords

C PROGRAMS; COMPUTING RESOURCE; DEFECT COUNTS; HUMAN PROGRAMMERS; INHERENT PARALLELISM; LARGE PROGRAMS; LINES OF CODE; OPEN-SOURCE PROGRAM; ORDERS OF MAGNITUDE; RESEARCH QUESTIONS; SYSTEMATIC EVALUATION; SYSTEMATIC STUDY; TEST CASE;

CLOUD COMPUTING; COSTS; DEFECTS; GENETIC PROGRAMMING; REPAIR; SOFTWARE ENGINEERING;

PROGRAM DEBUGGING;

EID: 84864264923     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2012.6227211     Document Type: Conference Paper

References (38)

1. R. C. Seacord, D. Plakosh, and G. A. Lewis, Modernizing Legacy Systems: Software Technologies, Engineering Process and Business Practices. Addison-Wesley Longman Publishing Co., Inc., 2003.
2. J. Anvik, L. Hiew, and G. C. Murphy, "Who should fix this bug?" in International Conference on Software Engineering, 2006, pp. 361-370.
3. J. A. Jones and M. J. Harrold, "Empirical evaluation of the Tarantula automatic fault-localization technique," in Automated Software Engineering, 2005, pp. 273-282.
4. D. Saha, M. G. Nanda, P. Dhoolia, V. K. Nandivada, V. Sinha, and S. Chandra, "Fault localization for data-centric programs," in Foundations of Software Engineering, 2011.
5. Z. Yin, D. Yuan, Y. Zhou, S. Pasupathy, and L. N. Bairavasundaram, "How do fixes become bugs?" in Foundations of Software Engineering, 2011, pp. 26-36.
6. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan, "Scalable statistical bug isolation," in Programming Language Design and Implementation, 2005, pp. 15-26.
7. D. Molnar, X. C. Li, and D. A. Wagner, "Dynamic test generation to find integer bugs in x86 binary linux programs," in USENIX Security Symposium, 2009, pp. 67-82.
8. J. H. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou, G. Sullivan, W.-F. Wong, Y. Zibin, M. D. Ernst, and M. Rinard, "Automatically patching errors in deployed software," in Symposium on Operating Systems Principles, 2009.
9. Y.Wei, Y. Pei, C. A. Furia, L. S. Silva, S. Buchholz, B. Meyer, and A. Zeller, "Automated fixing of programs with contracts," in International Symposium on Software Testing and Analysis, 2010, pp. 61-72.
10. G. Jin, L. Song, W. Zhang, S. Lu, and B. Liblit, "Automated atomicity-violation fixing," in Programming Language Design and Implementation, 2011.
11. W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest, "Automatically finding patches using genetic programming," in International Conference on Software Engineering, 2009, pp. 364-367.
12. S. Forrest, W. Weimer, T. Nguyen, and C. Le Goues, "A genetic programming approach to automated software repair," in Genetic and Evolutionary Computation Conference, 2009, pp. 947-954.
13. E. Fast, C. Le Goues, S. Forrest, and W. Weimer, "Designing better fitness functions for automated program repair," in Genetic and Evolutionary Computation Conference, 2010.
14. C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer, "Gen-Prog: A generic method for automated software repair," Transactions on Software Engineering, vol. 38, no. 1, pp. 54-72, 2012.
15. T. Ackling, B. Alexander, and I. Grunert, "Evolving patches for software repair," in Genetic and Evolutionary Computation, 2011, pp. 1427-1434.
16. J. R. Koza, Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, 1992.
17. B. L. Miller and D. E. Goldberg, "Genetic algorithms, selection schemes, and the varying effects of noise," Evol. Comput., vol. 4, no. 2, pp. 113-131, 1996.
18. G. Syswerda, "Uniform crossover in genetic algorithms," in International Conference on Genetic Algorithms, J. D. Schaffer, Ed., 1989, pp. 2-9.
19. C. Bird, A. Bachmann, E. Aune, J. Duffy, A. Bernstein, V. Filkov, and P. T. Devanbu, "Fair and balanced? Bias in bugfix datasets." in Foundations of Software Engineering, 2009, pp. 121-130.
20. 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. IBM Press, 2005, pp. 1-11.
21. A. Zeller, "Yesterday, my program worked. Today, it does not. Why?" in Foundations of Software Engineering, 1999.
22. A. Solar-Lezama, C. G. Jones, and R. Bodík, "Sketching concurrent data structures," in Programming Language Design and Implementation, 2008, pp. 136-148.
23. C. Weiß, R. Premraj, T. Zimmermann, and A. Zeller, "How long will it take to fix this bug?" in Workshop on Mining Software Repositories, May 2007.
24. L. Williamson, "IBM Rational software analyzer: Beyond source code," in Rational Software Developer Conference, Jun. 2008.
25. W. Weimer, "Patches as better bug reports," in Generative Programming and Component Engineering, 2006, pp. 181-190.
26. A. Arcuri and G. Fraser, "On parameter tuning in search based software engineering," in International Symposium on Search Based Software Engineering, 2011, pp. 33-47.
27. M. Carbin, S. Misailovic, M. Kling, and M. C. Rinard, "Detecting and escaping infinite loops with jolt," in European Conference on Object Oriented Programming, 2011.
28. B. Demsky, M. D. Ernst, P. J. Guo, S. McCamant, J. H. Perkins, and M. C. Rinard, "Inference and enforcement of data structure consistency specifications," in International Symposium on Software Testing and Analysis, 2006.
29. A. Smirnov and T.-C. Chiueh, "Dira: Automatic detection, identification and repair of control-hijacking attacks," in Network and Distributed System Security Symposium, 2005.
30. S. Sidiroglou and A. D. Keromytis, "Countering network worms through automatic patch generation," IEEE Security and Privacy, vol. 3, no. 6, pp. 41-49, 2005.
31. H. He and N. Gupta, "Automated debugging using path-based weakest preconditions," in Fundamental Approaches to Software Engineering, 2004, pp. 267-280.
32. D. Jeffrey, M. Feng, N. Gupta, and R. Gupta, "BugFix: A learning-based tool to assist developers in fixing bugs," in International Conference on Program Comprehension, 2009.
33. B. Ashok, J. Joy, H. Liang, S. K. Rajamani, G. Srinivasa, and V. Vangala, "DebugAdvisor: a recommender system for debugging," in Foundations of Software Engineering, 2009, pp. 373-382.
34. A. Arcuri and X. Yao, "A novel co-evolutionary approach to automatic software bug fixing," in IEEE Congress on Evolutionary Computation, 2008, pp. 162-168.
35. M. Orlov and M. Sipper, "Genetic programming in the wild: Evolving unrestricted bytecode," in Genetic and Evolutionary Computation Conference, 2009, pp. 1043-1050.
36. V. Debroy and W. E. Wong, "Using mutation to automatically suggest fixes for faulty programs," in International Conference on Software Testing, Verification, and Validation, 2010, pp. 65-74.
37. D. R. White, A. Arcuri, and J. A. Clark, "Evolutionary improvement of programs," IEEE Trans. on Evolutionary Computation, vol. 15, no. 4, pp. 515 -538, aug. 2011.
38. M. Harman, "The current state and future of search based software engineering," in International Conference on Software Engineering, 2007, pp. 342-357.