Scalability of the Coevolutionary Automated Software Correction System
Abstract
The Coevolutionary Automated Software Correction system 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 which demonstrate the scalability of the Coevolutionary Automated Software Correction system by establishing correlations between program size and both success rate and estimated convergence rate that are at most linear.
Recommended Citation
J. L. Wilkerson and D. R. Tauritz, "Scalability of the Coevolutionary Automated Software Correction System," Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO'11, pp. 243 - 244, Association for Computing Machinery (ACM), Jan 2011.
The definitive version is available at https://doi.org/10.1145/2001858.2001995
Meeting Name
13th Annual Genetic and Evolutionary Computation Conference, GECCO'11 (2011: Jul. 12-16, Dublin, Ireland)
Department(s)
Computer Science
Sponsor(s)
Missouri University of Science and Technology. Natural Computation Laboratory
Keywords and Phrases
Automated Debugging; Coevolution; Genetic Programming; Repair; Search-Based Testing
International Standard Book Number (ISBN)
978-1450306904
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2011 Association for Computing Machinery (ACM), All rights reserved.
Publication Date
01 Jan 2011
