Multi-objective Coevolutionary Automated Software CorrectionProceedings of the 2013 Genetic and Evolutionary Computation Conference Companion (GECCO 2012)
AbstractFor a given program, testing, locating the errors identified, and correcting those errors is a critical, yet expensive process. The field of Search Based Software Engineering (SBSE) addresses these phases by formulating them as search problems. The Coevolutionary Automated Software Correction (CASC) system targets the correction phase by coevolving test cases and programs at the source code level. This paper presents the latest version of the CASC system featuring multi-objective optimization and an enhanced representation language. Results are presented demonstrating CASC's ability to successfully correct five seeded bugs in two non-trivial programs from the Siemens test suite. Additionally, evidence is provided substantiating the hypothesis that multi-objective optimization is beneficial to SBSE.
Meeting Name14th International Conference on Genetic and Evolutionary Computation, GECCO'12 (2012: Jul. 7-11, Philadelphia, PA)
Keywords and Phrases
- Automated Program Correction,
- Fitness Sharing,
- Genetic Programming,
- Multi-Objective Optimization,
International Standard Book Number (ISBN)9781450311779
Document TypeArticle - Conference proceedings
Rights© 2012 Association for Computing Machinery (ACM), All rights reserved.
Citation InformationJosh L. Wilkerson, Daniel R. Tauritz and James M. Bridges. "Multi-objective Coevolutionary Automated Software Correction" Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion (GECCO 2012) (2012) p. 1229 - 1236
Available at: http://works.bepress.com/daniel-tauritz/50/