Using execution paths to evolve software patches

IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

Volumn , Issue , 2009, Pages 152-153

  Nguyen, ThanhVu ^a   Weimery, Westley ^b   Le Gouesy, Claire ^b   Forrest, Stephanie ^a  

^a MSC01 1070   (United States)

^b University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CORE FUNCTIONALITY; EVOLUTIONARY APPROACH; EXECUTION PATHS; SEARCH SPACES; SOFTWARE PATCHES; SOFTWARE REPAIR;

GENETIC ALGORITHMS; GENETIC PROGRAMMING; SOFTWARE TESTING; TECHNICAL PRESENTATIONS; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 69949102049     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2009.35     Document Type: Conference Paper

References (6)

1. A. Arcuri, "On the automation of fixing software bugs," in Proceedings of the Doctoral Symposium of the IEEE International Conference on Software Engineering, 2008.
2. W. Weimer, T. Nguyen, C. L. Goues, and S. Forrest, "Automatically finding patches using genetic programming," in International Conference on Software Engineering (in press), 2009.
3. S. Forrest, W. Weimer, T. Nguyen, and C. L. Goues, "A genetic programming approach to automated software repair," in The Genetic and Evolutionary Computation Conference (in press), 2009.
4. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer, "Cil: An infrastructure for C program analysis and transformation," in International Conference on Compiler Construction, Apr. 2002, pp. 213-228.
5. 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.
6. A. Zeller, "Yesterday, my program worked. Today, it does not. Why?" in Foundations of Software Engineering, 1999, pp. 253-267.