A specification-based fitness function for evolutionary testing of object-oriented programs

GECCO 2006 - Genetic and Evolutionary Computation Conference

Volumn 2, Issue , 2006, Pages 1953-1954

  Cheon, Yoonsik ^a   Kim, Myoung ^a  

^a University of Texas at El Paso   (United States)

Author keywords

Evolutionary testing; Fitness function; Formal specification

Indexed keywords

EVOLUTIONARY ALGORITHMS; ONLINE SEARCHING; SERVERS; SPECIFICATIONS;

EVOLUTIONARY TESTING; FITNESS FUNCTION; FORMAL SPECIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 33750234088     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1143997.1144322     Document Type: Conference Paper

References (6)

1. A. Baresel, H. Sthamer, and M. Schmidt. Fitness function design to improve evolutionary structural testing. In GECCO 2002, New York, July 9-13, 2002, pages 1329-1336.
2. G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer, 1999.
3. J. D. McGregor and D. A. Sykes. A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, 2001.
4. P. McMinn. Search-based software test data generation: A survey. Journal of Software Testing, Verification and Reliability, 14(2):105-156, June 2004.
5. P. McMinn and M. Holcombe. The state problem for evolutionary testing. In GECCO 2003, Chicago, July 12-16, 2003, volume 2724 of Lecture Notes in Computer Science, pages 2488-2500. Springer-Verlag, 2003.
6. P. Tonella. Evolutionary testing of classes. In ACM SIGSOFT ISSTA 2004, Boston, MA, pages 119-128, July 2004.