Strongly-typed genetic programming and purity analysis: Input domain reduction for evolutionary testing problems

GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008

Volumn , Issue , 2008, Pages 1783-1784

  Carlos, José ^a   Ribeiro, Bregieiro ^a   Zenha Rela, Mário Alberto ^b   De Vega, Francisco Fernandez ^c  

^a POLYTECHNIC INSTITUTE OF LEIRIA   (Portugal)

^b UNIVERSITY OF COIMBRA   (Portugal)

^c UNIVERSITY OF EXTREMADURA   (Spain)

Author keywords

Input domain reduction; Search based test case generation; Strongly typed genetic programming

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; EVOLUTIONARY ALGORITHMS; GENETIC ALGORITHMS; GENETIC PROGRAMMING; JAVA PROGRAMMING LANGUAGE; SOFTWARE TESTING; TEST FACILITIES; TESTING;

DO-MAINS; EVOLUTIONARY TESTING; FUNCTION SETS; INPUT DOMAIN REDUCTION; JAVA PROGRAMS; OBJECT-ORIENTED; PROGRAMMING PARADIGMS; PURITY ANALYSIS; REDUCTION STRATEGIES; SEARCH PROBLEMS; SEARCH SPACES; SEARCH-BASED TEST CASE GENERATION; STRONGLY-TYPED GENETIC PROGRAMMING; STRUCTURAL UNITS; TEST CASE GENERATIONS; TEST CASES; TEST DATUMS; TEST OBJECTS; TEST SCENARIOS;

OBJECT ORIENTED PROGRAMMING;

EID: 57349105751     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, and J. Wegener. The impact of input domain reduction on search-based test data generation. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 155-164, New York, NY, USA, 2007. ACM Press.
2. D. J. Montana. Strongly typed genetic programming. Evolutionary Computation, 3(2):199-230, 1995.
3. J. C. B. Ribeiro, M. Zenha-Rela, and F. F. de Vega, ecrash: a framework for performing evolutionary testing on third-party java components. In JAEM'07: Proceedings of the I Jornadas sobre Algoritmos Evolutivos y Metaheuristicas at the II Congreso Español de Informática, pages 137-144, 2007.
4. A. Salcianu and M. C. Rinard. Purity and side effect analysis for java programs. In VMCAI'05: Proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 3385 of Lecture Notes in Computer Science, pages 199-215. Springer, 2005.
5. R. Vallée-Rai, P. Co, E. Gagnon, L. Hendren, P. Lam, and V. Sundaresan. Soot - a java bytecode optimization framework. In CASCON '99: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, page 13. IBM Press, 1999.
6. S. Wappler and J. Wegener. Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. In GECCO '06: Proceedings of the 8th annual conference on Genetic and evolutionary computation, pages 1925-1932, New York, NY, USA, 2006. ACM Press.