On the automation of fixing software bugs

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 1003-1006

  Arcuri, Andrea ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Automated debugging; Automatic bug fixing; Co evolution; Genetic programming; Repair

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING; COMPUTER SOFTWARE SELECTION AND EVALUATION; FUNCTION EVALUATION; GENETIC PROGRAMMING; PROBABILITY DENSITY FUNCTION; PROGRAMMING THEORY; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; TESTING; BIOLOGY;

AUTOMATED DEBUGGING; AUTOMATIC BUG FIXING; BASIC IDEAS; CO-EVOLUTION; EVOLUTIONARY APPROACHES; FITNESS FUNCTIONS; FORMAL SPECIFICATIONS; REPAIR; SOFTWARE BUGS; SOFTWARE DEVELOPERS; TESTING PHASE; UNIT TESTS; USER NEEDS;

PROGRAM DEBUGGING;

AUTOMATED DEBUGGING; AUTOMATIC BUG FIXING; BASIC IDEA; CO-EVOLUTION; EVOLUTIONARY APPROACH; FITNESS FUNCTIONS; FORMAL SPECIFICATION; SOFTWARE BUG; SOFTWARE DEVELOPER; TESTING PHASE; UNIT TESTS; USER NEED;

EID: 57349195544     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370175.1370223     Document Type: Conference Paper

References (23)

1. A. Arcuri and X. Yao. A novel co-evolutionary approach to automatic software bug fixing. To appear in the IEEE Congress on Evolutionary Computation (CEC), 2008.
2. A. Arcuri and X. Yao. Coevolving programs and unit tests from their specification. In IEEE International Conference on Automated Software Engineering (ASE), pages 397-400, 2007.
3. A. Arcuri and X. Yao. Search based software testing of object-oriented containers. Information Sciences, 2008. Accepted for publication.
4. H. Barringer, D. Rydeheard, and D. Gabbay. A logical framework for monitoring and evolving software components. In IEEE/IFIP Symposium on theoretical Aspects of Software Engineering (TASE), pages 273-282, 2007.
5. B. Beizer. Software Testing Techniques. Van Nostrand Rheinhold, New York, 1990.
6. K. Deb. Multi-Objective Optimization Using Evolutionary Algorithms. John Wiley and Sons, 2001.
7. R. A. DeMillo, R. J. Lipton, and F. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, 1978.
8. S. G. Ficici and J. B. Pollack. Challenges in coevolutionary learning: Arms-race dynamics, open-endedness, and mediocre stable states. In Artificial Life VI, pages 238-247, 1998.
9. J. R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. the MIT Press, 1992.
10. W. B. Langdon and R. Poli. Foundations of Genetic Programming. Springer, 2002.
11. P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2): 105-156, June 2004.
12. G. Myers. the Art of Software Testing. Wiley, New York, 1979.
13. G. Palshikar. Applying formal specifications to real-world software development IEEE Software, 18(6): 89-97, 2001.
14. M. Reformat, C. Xinwei, and J. Miller. On the possibilities of (pseudo-) software cloning from external interactions. Soft Computing, 12(l):29-49, 2007.
15. M. Renieris and S. Reiss. Fault localization with nearest neighbor queries. In IEEE International Conference on Automated Software Engineering (ASE), pages 30-39, 2003.
16. C. Rich and R. C. Waters. Automatic programming: myths and prospects. Computer, 21(8):40-51, 1988.
17. C. D. Rosin and R. K. Belew. New methods for competitive coevolution. Evolutionary Computation, 5(1): 1-29, 1997.
18. S. Staber, B. Jobstmann, and R. Bloem. Finding and fixing faults. In 13th Conference on Correct Hardware Design and Verification Methods (CHARME), pages 35-49, 2005.
19. M. Stumptner and F. Wotawa. Model-based program debugging and repair. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996.
20. G. Tassey. the economic impacts of inadequate infrastructure for software testing, final report. National Institute of Standards and Technology, 2002.
21. N. J. Tracey. A Search-Based Automated Test Data Generation Framework for Safety-Critical Software. PhD thesis, University of York, 2000.
22. W. Weimer, "Patches as better bug reports," in Proceedings of the 5th international conference on Generative programming and component engineering, 2006, pp. 181-190.
23. A. Zeller. Automated debugging: Are we close? IEEE Computer, pages 26-31, November 2001.