Coevolving programs and unit tests from their specification

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 397-400

  Arcuri, Andrea ^a   Yao, Xin ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

automatic programming; coevolution; formal specification; genetic programming; software testing; sorting

Indexed keywords

CO-EVOLUTION; FORMAL SPECIFICATION; NOVEL TECHNIQUES; SOFTWARE DEVELOPMENT CYCLES; SYSTEM REQUIREMENTS; UNIT TESTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE DESIGN; SOFTWARE TESTING; SPECIFICATIONS;

GENETIC PROGRAMMING;

EID: 55749097120     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321693     Document Type: Conference Paper

References (12)

1. A. Agapitos and S. M. Lucas. Evolving modular recursive sorting algorithms. In Proceedings of the European Conference on Genetic Programming (EuroGP), pages 301-310, 2007.
2. S. G. Ficici. Solution Concepts in Coevolutionary Algorithms. PhD thesis, Brandeis University, 2004.
3. W. D. Hillis. Co-evolving parasites improve simulated evolution as an optimization procedure. Physica D, 42(1-3):228-234, 1990.
4. J. H. Holland. Adaptation in Natural and Artificial Systems, second edition. MIT Press, Cambridge, 1992.
5. E. D. Jong and J. Pollack. Ideal evaluation from coevolution. Evolutionary Computation, 12(2):159-192, 2004.
6. J. R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. The MIT Press, 1992.
7. S. Luke. Issues in Scaling Genetic Programming: Breeding Strategies, Tree Generation, and Code Bloat. PhD thesis, University of Maryland, 2000.
8. P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2):105-156, June 2004.
9. G. Myers. The Art of Software Testing. Wiley, New York, 1979.
10. J. Paredis. Coevolving cellular automata: Be aware of the red queen. In T. Bäck, editor, Proceedings of the Seventh International Conference on Genetic Algorithms (ICGA97), San Francisco, CA, 1997. Morgan Kaufmann.
11. C. Rich and R. C. Waters. Automatic programming: myths and prospects. Computer, 21(8):40-51, 1988.
12. N. J. Tracey. A Search-Based Automated Test Data Generation Framework for Safety-Critical Software. PhD thesis, University of York, 2000.