Efficient automated program repair through fault-recorded testing prioritization

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2013, Pages 180-189

  Qi, Yuhua ^a   Mao, Xiaoguang ^a   Lei, Yan ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

Automated debugging; Automated program repair; Efficiency; Test case prioritization

Indexed keywords

ADDITIONAL COSTS; AUTOMATED DEBUGGING; PRIORITIZATION TECHNIQUES; REGRESSION TESTS; REPAIR EFFICIENCIES; TEST CASE PRIORITIZATION; TEST EXECUTION; VALIDATION PROCESS;

AUTOMATION; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE MAINTENANCE; EFFICIENCY; ITERATIVE METHODS; PROGRAM DEBUGGING; SOFTWARE TESTING; TOOLS;

REPAIR;

EID: 84891715448     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2013.29     Document Type: Conference Paper

References (29)

1. M. Harman, "Automated patching techniques: the fix is in: technical perspective," Communications of the ACM, vol. 53, no. 5, pp. 108-108, 2010.
2. A. Zeller, "Automated debugging: Are we close," Computer, vol. 34, no. 11, pp. 26-31, 2001.
3. 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), 2012, pp. 3-13.
4. 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), 2010, pp. 61-72.
5. H. Samimi, M. Schäfer, 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), 2012, pp. 277-287.
6. A. Arcuri, "Evolutionary repair of faulty software," Applied Soft Computing, vol. 11, no. 4, pp. 3494-3514, 2011.
7. G. Rothermel, R. Untch, C. Chu, and M. Harrold, "Prioritizing test cases for regression testing," IEEE Transactions on Software Engineering (TSE), vol. 27, no. 10, pp. 929-948, oct 2001.
8. C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer, "Genprog: A generic method for automatic software repair," IEEE Transactions on Software Engineering (TSE), vol. 38, no. 1, pp. 54-72, 2012.
9. S. Yoo and M. Harman, "Regression testing minimization, selection and prioritization: a survey," Softw. Test. Verif. Reliab, vol. 22, no. 4, pp. 67-120, 2012.
10. J. Andrews, L. Briand, Y. Labiche, and A. Namin, "Using mutation analysis for assessing and comparing testing coverage criteria," IEEE Transactions on Software Engineering (TSE), vol. 32, no. 8, pp. 608-624, 2006.
11. L. Zhang, J. Zhou, D. Hao, L. Zhang, and H. Mei, "Prioritizing junit test cases in absence of coverage information," in International Conference on Software Maintenance (ICSM), 2009, pp. 19-28.
12. J. A. Jones and M. J. Harrold, "Empirical evaluation of the tarantula automatic fault-localization technique," in International Conference on Automated Software Engineering (ASE), 2005, pp. 273-282.
13. A. Arcuri, "On the automation of fixing software bugs," in International Conference on Software Engineering (ICSE), 2008, pp. 1003-1006.
14. Y. Pei, Y. Wei, C. Furia, M. Nordio, and B. Meyer, "Codebased automated program fixing," in International Conference on Automated Software Engineering (ASE), 2011, pp. 392-395.
15. Y. Wei, C. A. Furia, N. Kazmin, and B. Meyer, "Inferring better contracts," in International Conference on Software Engineering (ICSE), 2011, pp. 191-200.
16. S. Elbaum, A. Malishevsky, and G. Rothermel, "Test case prioritization: a family of empirical studies," IEEE Transactions on Software Engineering (TSE), vol. 28, no. 2, pp. 159-182, feb 2002.
17. J. Voas, "PIE: a dynamic failure-based technique," IEEE Transactions on Software Engineering (TSE), vol. 18, no. 8, pp. 717-727, aug 1992.
18. Y. Jia and M. Harman, "An analysis and survey of the development of mutation testing," IEEE Transactions on Software Engineering (TSE), vol. 37, no. 5, pp. 649-678, 2011.
19. W. Weimer, S. Forrest, C. Le Goues, and T. Nguyen, "Automatic program repair with evolutionary computation," Communications of the ACM, vol. 53, no. 5, pp. 109-116, 2010.
20. C. Le Goues, W. Weimer, and S. Forrest, "Representations and operators for improving evolutionary software repair," in Genetic and Evolutionary Computation (GECCO), 2012.
21. 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), 2011, pp. 1-10.
22. E. Fast, C. Le Goues, S. Forrest, and W. Weimer, "Designing better fitness functions for automated program repair," in Genetic and Evolutionary Computation (GECCO), 2010, pp. 965-972.
23. 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, vol. 25, no. 2, pp. 101-132, 2000.
24. S. Poulding and J. A. Clark, "Efficient software verification: Statistical testing using automated search," IEEE Transactions on Software Engineering (TSE), vol. 36, no. 6, pp. 763-777, Nov. 2010.
25. 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, vol. 55, no. 12, pp. 2785-2799, 2012.
26. B. Korel, G. Koutsogiannakis, and L. Tahat, "Application of system models in regression test suite prioritization," in International Conference on Software Maintenance (ICSM), 2008, pp. 247-256.
27. 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), 2004, pp. 113-124.
28. L. Zhang, S.-S. Hou, C. Guo, T. Xie, and H. Mei, "Timeaware test-case prioritization using integer linear programming," in International Symposium on Software Testing and Analysis (ISSTA), 2009, pp. 213-224.
29. 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), 2013, pp. 191-201.