The strength of random search on automated program repair

Proceedings - International Conference on Software Engineering

Volumn , Issue 1, 2014, Pages 254-265

  Qi, Yuhua ^a,b   Mao, Xiaoguang ^a   Lei, Yan ^a   Dai, Ziying ^a   Wang, Chengsong ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^b Measurement Communication Research Institute   (China)

Author keywords

Automated program repair; genetic programming; random search; search based software engineering

Indexed keywords

AUTOMATION; GENETIC ALGORITHMS; OPTIMIZATION; PROGRAM DEBUGGING; REPAIR; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

GENETIC PROGRAMMING-BASED TECHNIQUES; NON-TRIVIAL PROGRAMS; OPTIMIZATION ALGORITHMS; PROTOTYPE TOOLS; RANDOM SEARCHES; REPAIR EFFECTIVENESS; REPAIR TECHNIQUES; SEARCH-BASED SOFTWARE ENGINEERING;

GENETIC PROGRAMMING;

EID: 84994141171     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2568225.2568254     Document Type: Conference Paper

References (44)

1. T. Ackling, B. Alexander, and I. Grunert. Evolving patches for software repair. In Genetic and Evolutionary Computation (GECCO), pages 1427-1434, 2011.
2. A. Arcuri. On the automation of fixing software bugs. In International Conference on Software Engineering (ICSE), pages 1003-1006, 2008.
3. A. Arcuri. Evolutionary repair of faulty software. Applied Soft Computing, 11 (4): 3494-3514, 2011.
4. A. Arcuri and L. Briand. A practical guide for using statistical tests to assess randomized algorithms in software engineering. In International Conference on Software Engineering (ICSE), pages 1-10, 2011.
5. A. Arcuri and X. Yao. A novel co-evolutionary approach to automatic software bug fixing. In IEEE Congress on Evolutionary Computation (CEC), pages 162-168, 2008.
6. V. Dallmeier, A. Zeller, and B. Meyer. Generating fixes from object behavior anomalies. In International Conference on Automated Software Engineering (ASE), pages 550-554, 2009.
7. V. Debroy and W. Wong. Using mutation to automatically suggest fixes for faulty programs. In International Conference on Software Testing, verification and Validation (ICST), pages 65-74, 2010.
8. H. Do, G. Rothermel, and A. Kinneer. Empirical studies of test case prioritization in a junit testing environment. In International Symposium on Software Reliability Engineering (ISSRE), pages 113-124, 2004.
9. S. Elbaum, A. Malishevsky, and G. Rothermel. Test case prioritization: a family of empirical studies. IEEE Transactions on Software Engineering (TSE), 28 (2): 159-182, feb 2002.
10. E. Fast, C. Le Goues, S. Forrest, and W. Weimer. Designing better fitness functions for automated program repair. In Genetic and Evolutionary Computation (GECCO), pages 965-972, 2010.
11. Z. P. Fry, B. Landau, and W. Weimer. A human study of patch maintainability. In International Symposium on Software Testing and Analysis (ISSTA), pages 177-187, 2012.
12. A. Griesmayer, R. Bloem, and B. Cook. Repair of boolean programs with an application to c. In Computer Aided verification (CAV), pages 358-371, 2006.
13. M. Harman. Automated patching techniques: the fix is in: technical perspective. Communications of the ACM, 53 (5): 108-108, 2010.
14. M. Harman, S. A. Mansouri, and Y. Zhang. Search-based software engineering: Trends, techniques and applications. ACM Computing Surveys, 45 (1): 1-61, Dec. 2012.
15. M. Harman, P. McMinn, J. Souza, and S. Yoo. Search based software engineering: Techniques, taxonomy, tutorial. Empirical Software Engineering and verification, 7007: 1-59, 2012.
16. G. Jin, L. Song, W. Zhang, S. Lu, and B. Liblit. Automated atomicity-violation fixing. In Programming Language Design and Implementation (PLDI), pages 389-400, 2011.
17. W. Jin and A. Orso. F3: fault localization for field failures. In International Symposium on Software Testing and Analysis (ISSTA), pages 213-223, 2013.
18. D. Kim, J. Nam, J. Song, and S. Kim. Automatic patch generation learned from human-written patches. In International Conference on Software Engineering (ICSE), pages 802-811, 2013.
19. B. Korel, G. Koutsogiannakis, and L. Tahat. Application of system models in regression test suite prioritization. In International Conference on Software Maintenance (ICSM), pages 247-256, 2008.
20. C. Le Goues. Automatic program repair using genetic programming. PhD thesis, University of Virginia, 2013.
21. C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer. A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each. In International Conference on Software Engineering (ICSE), pages 3-13, 2012.
22. C. Le Goues, S. Forrest, and W. Weimer. Current challenges in automatic software repair. Software Quality Journal, 21 (3): 421-443, 2013.
23. C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer. GenProg: a generic method for automatic software repair. IEEE Transactions on Software Engineering (TSE), 38 (1): 54-72, 2012.
24. C. Le Goues, W. Weimer, and S. Forrest. Representations and operators for improving evolutionary software repair. In Genetic and Evolutionary Computation (GECCO), 2012.
25. P. Liu and C. Zhang. Axis: automatically fixing atomicity violations through solving control constraints. In International Conference on Software Engineering (ICSE), pages 299-309, 2012.
26. M. Monperrus. A critical review of \automatic patch generation learned from human-written patches: an essay on the problem statement and the evaluation of automatic software repair. In International Conference on Software Engineering (ICSE), 2014 (To appear).
27. H. D. T. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra. SemFix: program repair via semantic analysis. In International Conference on Software Engineering (ICSE), pages 772-781, 2013.
28. Y. Pei, Y. Wei, C. Furia, M. Nordio, and B. Meyer. Code-based automated program fixing. In International Conference on Automated Software Engineering (ASE), pages 392-395, 2011.
29. S. Poulding and J. A. Clark. Efficient software verification: Statistical testing using automated search. IEEE Transactions on Software Engineering (TSE), 36 (6): 763-777, Nov. 2010.
30. Y. Qi, X. Mao, and Y. Lei. Efficient automated program repair through fault-recorded testing prioritization. In International Conference on Software Maintenance (ICSM), pages 180-189, 2013.
31. Y. Qi, X. Mao, Y. Lei, Z. Dai, and C. Wang. Does genetic programming work well on automated program repair? In International Conference on Computational and Information Sciences (ICCIS), pages 1875-1878, 2013.
32. Y. Qi, X. Mao, Y. Lei, and C. Wang. Using automated program repair for evaluating the Effectiveness of fault localization techniques. In International Symposium on Software Testing and Analysis (ISSTA), pages 191-201, 2013.
33. Y. Qi, X. Mao, Y. Wen, Z. Dai, and B. Gu. More Efficient automatic repair of large-scale programs using weak recompilation. Science China Information Sciences, 55 (12): 2785-2799, 2012.
34. G. Rothermel, R. Untch, C. Chu, and M. Harrold. Prioritizing test cases for regression testing. IEEE Transactions on Software Engineering (TSE), 27 (10): 929-948, oct 2001.
35. H. Samimi, M. Schafer, S. Artzi, T. Millstein, F. Tip, and L. Hendren. Automated repair of HTML generation errors in php applications using string constraint solving. In International Conference on Software Engineering (ICSE), pages 277-287, 2012.
36. A. Vargha and H. D. Delaney. A critique and improvement of the CL common language Effect size statistics of mcgraw and wong. Journal of Educational and Behavioral Statistics, 25 (2): 101-132, 2000.
37. 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 (ISSTA), pages 61-72, 2010.
38. W. Weimer, S. Forrest, C. Le Goues, and T. Nguyen. Automatic program repair with evolutionary computation. Communications of the ACM, 53 (5): 109-116, 2010.
39. W. Weimer, Z. P. Fry, and S. Forrest. Leveraging program equivalence for adaptive program repair: models and first results. In International Conference on Automated Software Engineering (ASE), pages 356-366, 2013.
40. W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest. Automatically finding patches using genetic programming. In International Conference on Software Engineering (ICSE), pages 364-374, 2009.
41. F. Wilcoxon. Individual comparisons by ranking methods. Biometrics Bulletin, 1 (6): 80-83, 1945.
42. X. Xie, T. Y. Chen, F.-c. Kuo, and B. Xu. A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization. ACM Transactions on Software Engineering and Methodology (TOSEM), 22 (4): Article 31, 2013.
43. S. Yoo and M. Harman. Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verif. Reliab, 22 (4): 67-120, 2012.
44. L. Zhang, S.-S. Hou, C. Guo, T. Xie, and H. Mei. Time-aware test-case prioritization using integer linear programming. In International Symposium on Software Testing and Analysis (ISSTA), pages 213-224, 2009.