Evolutionary testing of state-based programs

GECCO 2005 - Genetic and Evolutionary Computation Conference

Volumn , Issue , 2005, Pages 1013-1020

  McMinn, Phil ^a   Holcombe, Mike ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Automated test data generation; Chaining Approach; Evolutionary Testing; State based programs

Indexed keywords

COMPUTER PROGRAMMING; DATA PROCESSING; INFORMATION ANALYSIS; PROBLEM SOLVING; TESTING;

AUTOMATED TEST DATA GENERATION; CHAINING APPROACH; EVOLUTIONARY TESTING; STATE-BASED PROGRAMS;

EVOLUTIONARY ALGORITHMS;

EID: 32444450608     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1068009.1068182     Document Type: Conference Paper

References (19)

1. A, Baresel, Automatisierung von Strukturtests mit evolutionren algorithmes Diploma Thesis, Humboldt University, Berlin, Germany, July 2000.
2. A. Baresel, D. Binkley, M, Harman, and B. Korel. Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), pages 43-52, Boston, Massachusetts, USA, 2004, ACM.
3. A. Baresel, H. Pohlheim, and S, Sadeghipour. Structural and functional sequence test of dynamic and state-based software with evolutionary algorithms. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2003), Lecture Notes in Computer Science vol. 2724, pages 2428 -2441, Chicago, USA, 2003. Springer-Verlag.
4. A, Baresel and H. Sthamer. Evolutionary testing of flag conditions. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2003), Lecture Notes in Computer Science vol. 2724, pages 2442 - 2454, Chicago, USA, 2003. Springer-Verlag.
5. A. Baresel, H. Sthamer, and M. Schmidt. Fitness function design to improve evolutionary structural testing. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002), pages 1329-1336, New York, USA, 2002, Morgan Kaufmann.
6. L. Bottaci. Instrumenting programs with flag variables for test data search by genetic algorithm. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002), pages 1337 - 1342, New York, USA, 2002. Morgan Kaufmann.
7. R. Ferguson and B. Korel. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1):63-86, 1996.
8. R. Ferguson and B. Korel. Generating test data for distributed software using the chaining approach. Information and Software Technology, 38(5):343-353, 1996.
9. M. Harman, L. Hu, R. Hierons, A. Baresel, and H. Sthamer. Improving evolutionary testing by flag removal. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002), pages 1359-1366, New York, USA, 2002. Morgan Kaufmann.
10. M. Harman, L. Hu, R. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper. Testability transformation. IEEE Transactions on Software Engineering, 30(1):3-16, 2004.
11. B. Korel. Automated test generation for programs with procedures. In International Symposium on Software Testing and Analysis (ISSTA 1996), pages 209-215, San Diego, California, USA, 1996.
12. P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2):105-156, 2004.
13. P. McMinn, Evolutionary Search for Test Data in the Presence of State Behaviour. PhD thesis, University of Sheffield, 2005.
14. P, McMinn and M. Holcombe. The state problem for evolutionary testing. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2003), Lecture Notes in Computer Science vol. 2724, pages 2488-2497, Chicago, USA, 2003. Springer-Verlag.
15. P. McMinn and M. Holcombe. Hybridizing evolutionary testing with the chaining approach. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2004), Lecture Notes in Computer Science vol. 3103, pages 1363-1374, Seattle, USA, 2004. Springer-Verlag.
16. P. Tonella. Evolutionary testing of classes. In Proceedings of the International Symposium on Software Testing and Analysis, pages 119-128, Boston, USA, 2004, ACM Press.
17. N. Tracey. A Search-Based Automated Test-Data Generation Framework for Safety Critical Software. PhD thesis, University of York, 2000.
18. N. Tracey, J. Clark, K. Mander, and J. McDermid. An automated framework for structural test-data generation. In Proceedings of the International Conference, on Automated Software Engineering, pages 285-288, Hawaii, USA, 1998. IEEE Computer Society Press.
19. J. Wegener, A. Baresel, and H. Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology, 43(14):841-854, 2001.