Josh L. Wilkerson
Daniel R. Tauritz
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.
- . Arcuri. phAutomatic software generation and improvement through search based techniques. PhD thesis, University of Birmingham, 2009.Google Scholar
- . Arcuri and X. Yao. A novel co-evolutionary approach to automatic software bug fixing. In phProceedings of IEEE CEC 2008, pages 162--168, June 2008.Google Scholar
- . DeMillo, R. Lipton, and F. Sayward. Hints on Test Data Selection: Help for the Practicing Programmer. phComputer. 11(4):34--71, 1978. Google ScholarDigital Library
- . Wilkerson and D. Tauritz. Coevolutionary Automated Software Correction. In phProceedings of GECCO 2010, pages 1391--1392, 2010. Google ScholarDigital Library
Index Terms
- Scalability of the coevolutionary automated software correction system
Recommendations
Coevolutionary automated software correction
GECCO '10: Proceedings of the 12th annual conference on Genetic and evolutionary computationThis 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 ...
Multi-objective coevolutionary automated software correction
GECCO '12: Proceedings of the 14th annual conference on Genetic and evolutionary computationFor 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 ...
A cooperative coevolutionary biogeography-based optimizer
With its unique migration operator and mutation operator, Biogeography-Based Optimization (BBO), which simulates migration of species in natural biogeography, is different from existing evolutionary algorithms, but it has shortcomings such as poor ...
Comments