Genetic algorithms with sharing for multimodal function optimization
Proceedings of the Second International Conference on Genetic Algorithms on Genetic algorithms and their application
Co-evolving parasites improve simulated evolution as an optimization procedure
CNLS '89 Proceedings of the ninth annual international conference of the Center for Nonlinear Studies on Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks on Emergent computation
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Automated test-data generation for exception conditions
Software—Practice & Experience
Genetic Programming III: Darwinian Invention & Problem Solving
Genetic Programming III: Darwinian Invention & Problem Solving
Multi-Objective Optimization Using Evolutionary Algorithms
Multi-Objective Optimization Using Evolutionary Algorithms
Methods for Competitive Co-Evolution: Finding Opponents Worth Beating
Proceedings of the 6th International Conference on Genetic Algorithms
Empirical Software Engineering
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
A multi-objective approach to search-based test data generation
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Strongly typed genetic programming
Evolutionary Computation
New methods for competitive coevolution
Evolutionary Computation
Exterminator: Automatically correcting memory errors with high probability
Communications of the ACM - Surviving the data deluge
Automatic program repair with evolutionary computation
Communications of the ACM
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Coevolutionary automated software correction
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Automated program repair through the evolution of assembly code
Proceedings of the IEEE/ACM international conference on Automated software engineering
IEEE Transactions on Software Engineering
Evolutionary repair of faulty software
Applied Soft Computing
Evolving patches for software repair
Proceedings of the 13th annual conference on Genetic and evolutionary computation
A guide for fitness function design
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Flight of the FINCH Through the Java Wilderness
IEEE Transactions on Evolutionary Computation
Better GP benchmarks: community survey results and proposals
Genetic Programming and Evolvable Machines
Current challenges in automatic software repair
Software Quality Control
| Hi-index | 0.00 |
For 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.