A critical review of "automatic patch generation learned from human-written patches": Essay on the problem statement and the evaluation of automatic software repair

Proceedings - International Conference on Software Engineering

Volumn , Issue 1, 2014, Pages 234-242

  Monperrus, Martin ^a  

^a UNIV LILLE   (France)

Author keywords

automatic patch generation; automatic program xing; automatic software repair; Bugs; error recovery; faults

Indexed keywords

COMPUTER SYSTEM RECOVERY; FAULTING; PROGRAM DEBUGGING; REPAIR; SOFTWARE ENGINEERING;

AUTOMATIC PATCH GENERATION; AUTOMATIC PROGRAMS; BUGS; EVALUATION CRITERIA; PROBLEM STATEMENT; SOFTWARE CORRECTNESS; SOFTWARE REPAIR; TEMPLATE-BASED APPROACHES;

AUTOMATIC PROGRAMMING;

EID: 84994137883     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2568225.2568324     Document Type: Conference Paper

References (38)

1. R. J. Abbott. Resourceful systems for fault tolerance, reliability, and safety. ACM Computing Surveys (CSUR), 22 (1): 35-68, 1990.
2. P. Ammann and J. Knight. Data diversity: an approach to software fault tolerance. IEEE Transactions on Computers, 37 (4): 418-425, 1988.
3. A. Arcuri and X. Yao. A novel co-evolutionary approach to automatic software bug fixing. In Proceedings of the IEEE Congress on Evolutionary Computation (CEC), 2008.
4. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1 (1): 11-33, 2004.
5. C. Bird, A. Bachmann, E. Aune, J. Duy, A. Bernstein, V. Filkov, and P. Devanbu. Fair and balanced?: bias in bug-fix datasets. In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2009.
6. A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, and M. Pezze. Automatic recovery from runtime failures. In Proceedings of the 2013 International Conference on Software Engineering, 2013.
7. V. Dallmeier, A. Zeller, and B. Meyer. Generating fixes from object behavior anomalies. In Proceedings of the International Conference on Automated Software Engineering, 2009.
8. F. DeMarco, J. Xuan, D. Le Berre, and M. Monperrus. Automatic repair of buggy if conditions and missing preconditions with SMT. In Proceedings of the 6th Workshop on Constraints in Software Testing, verification, and Analysis Co-located with ICSE 2014, 2014.
9. B. Demsky and M. Rinard. Automatic detection and repair of errors in data structures. In Proceedings of the ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA), 2003.
10. P. J. Denning. A debate on teaching computing science. Commun. ACM, 32 (12): 1397-1414, Dec. 1989.
11. G. Friedrich, M. Fugini, E. Mussi, B. Pernici, and G. Tagni. Exception handling for repair in service-based processes. IEEE Transactions on Software Engineering, 36 (2): 198-215, 2010.
12. R. L. Glass. Facts and fallacies of software engineering. Addison-Wesley Professional, 2002.
13. S. N. Goodman. Toward evidence-based medical statistics. 1: The p value fallacy. Annals of internal medicine, 130 (12): 995-1004, 1999.
14. C. Goues, S. Forrest, and W. Weimer. Current challenges in automatic software repair. Software Quality Control, 21 (3), 2013.
15. C. L. Goues, T. Nguyen, S. Forrest, and W. Weimer. Genprog: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38: 54-72, 2012.
16. P. Hosek and C. Cadar. Safe software updates via multi-version execution. In Proceedings of the 2013 International Conference on Software Engineering, pages 612-621. IEEE Press, 2013.
17. Y. Jia and M. Harman. An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering, 37 (5): 649-678, 2011.
18. B. Jobstmann, S. Staber, A. Griesmayer, and R. Bloem. Finding and fixing faults. Lecture Notes in Computer Science, 3725, 2005.
19. D. Kim, J. Nam, J. Song, and S. Kim. Automatic patch generation learned from human-written patches. In Proceedings of the International Conference on Software Engineering, 2013.
20. P. Koopman. Elements of the self-healing system problem space. Technical report, Carnegie Mellon University, 2003.
21. C. Lewis and J. Whitehead. Repairing games at runtime or, how we learned to stop worrying and love emergence. IEEE Software, 28 (5), 2011.
22. M. E. Locasto, S. Sidiroglou, and A. D. Keromytis. Software self-healing using collaborative application communities. In Proceedings of the 2006 Network and Distributed System Security Symposium (NDSS), 2006.
23. F. Logozzo and T. Ball. Modular and verified automatic program repair. In Proceedings of the ACM International Conference on Object-oriented Programming Systems, Languages and Applications, pages 133-146. ACM, 2012.
24. F. Long, V. Ganesh, M. Carbin, S. Sidiroglou, and M. Rinard. Automatic input rectication. In Proceedings of the 2012 International Conference on Software Engineering, 2012.
25. M. Martinez and M. Monperrus. Mining software repair models for reasoning on the search space of automated program fixing. Empirical Software Engineering,-, 2013.
26. M. Martinez, W. Weimer, and M. Monperrus. Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches. In Proceedings of the International Conference on Software Engineering, New Ideas and Emerging Results Track (NIER), 2014.
27. S. Misailovic, S. Sidiroglou, H. Homann, and M. Rinard. Quality of service profiling. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. ACM, 2010.
28. H. D. T. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra. SemFix: Program Repair via Semantic Analysis. In Proceedings of the International Conference on Software Engineering, 2013.
29. J. H. Perkins, G. Sullivan, W.-F. Wong, Y. Zibin, M. D. Ernst, M. Rinard, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, and S. Sidiroglou. Automatically patching errors in deployed software. Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP), 2009.
30. D. Posnett, V. Filkov, and P. T. Devanbu. Ecological inference in empirical software engineering. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pages 362-371, 2011.
31. M. Rinard, C. Cadar, and H. H. Nguyen. Exploring the acceptability envelope. In Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 21-30. ACM, 2005.
32. E. Schulte, S. Forrest, and W. Weimer. Automated program repair through the evolution of assembly code. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2010.
33. M. Shaw. Self-healing: softening precision to avoid brittleness. In Proceedings of the first workshop on Self-healing systems, WOSS'02, 2002.
34. M. Staats, M. W. Whalen, and M. P. E. Heimdahl. Programs, tests, and oracles: the foundations of testing revisited. In Proceedings of the International Conference on Software Engineering, pages 391-400. IEEE, 2011.
35. D. J. Taylor, D. E. Morgan, and J. P. Black. Redundancy in data structures: Improving software fault tolerance. IEEE Transactions on Software Engineering, (6): 585-594, 1980.
36. Y. Wei, Y. Pei, C. A. Furia, L. S. Silva, S. Buchholz, B. Meyer, and A. Zeller. Automated fixing of programs with contracts. In Proceedings of the International Symposium on Software Testing and Analysis. AC, 2010.
37. W. Weimer, T. Nguyen, C. L. Goues, and S. Forrest. Automatically finding patches using genetic programming. In Proceedings of the International Conference on Software Engineering, 2009.
38. A. Zeller. Automated debugging: Are we close? Computer, 34 (11): 26-31, 2001.