Coevolutionary Automated Software Correction
This paper presents the Coevolutionary Automated Software Correction system, which addresses in an integral and fully automated manner the complete cycle of software artifact testing, error location, and correction phases. It employs a coevolutionary approach where software artifacts and test cases are evolved in tandem. The test cases evolve to better find flaws in the software artifacts and the software artifacts evolve to better behave to specification when exposed to the test cases, thus causing an evolutionary arms race. Experimental results are presented on the same test problem employed in the published results on the previous state-of-the-art automated software correction system.
J. L. Wilkerson and D. R. Tauritz, "Coevolutionary Automated Software Correction," Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10, pp. 1391-1392, Association for Computing Machinery (ACM), Jan 2010.
The definitive version is available at https://doi.org/10.1145/1830483.1830739
12th Annual Genetic and Evolutionary Computation Conference, GECCO-2010 (2010: Jul. 7-11, Portland, OR)
Keywords and Phrases
Automated Debugging; Coevolution; Genetic Programming; Repair; Search-Based Testing
International Standard Book Number (ISBN)
Article - Conference proceedings
© 2010 Association for Computing Machinery (ACM), All rights reserved.