On test data generation of object-oriented software

Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

Volumn , Issue , 2007, Pages 72-76

  Arcuri, Andrea ^a   Yao, Xin ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; INDUSTRIAL RESEARCH; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; TECHNOLOGY;

APPLICATIONS.; CURRENT STATE; ENGINEERING COMMUNITIES; NATURAL COMPUTATION; OBJECT-ORIENTED; OBJECT-ORIENTED SOFTWARE; OO SOFTWARE; RESEARCH PROBLEMS; SEARCH PROBLEMS; SOFTWARE COMMUNITY; TEST DATA GENERATION;

SOFTWARE TESTING;

EID: 48049118819     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAICPART.2007.4344101     Document Type: Conference Paper

References (40)

1. A. Arcuri and X. Yao. Search based testing of containers for object-oriented software. Technical Report CSR-07-3, University of Birmingham, 2007.
2. A. Arcuri and X. Yao. A memetic algorithm for test data generation of object-oriented software. In Congress on Evolutionary Computation (CEC), 2007 (to appear).
3. S. Barbey and A. Strohmeier. The problematics of testing object-oriented software. In Second Conference on Software Quality Management, pages 411-426, 1994.
4. B. Beizer. Software Testing Techniques. Van Nostrand Rheinhold, New York, 1990.
5. M. Boshernitsan, R. Doong, and A. Savoia. From daikon to agitator: Lessons and challenges in building a commercial tool for developer testing. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 169-180, 2006.
6. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on java predicates. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2002.
7. U. Buy, A. Orso, and M. Pezzè. Automated testing of classes. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 39-48, 2000.
8. Y. Cheon and M. Kim. A specification-based fitness function for evolutionary testing of object-oriented programs. In Genetic and Evolutionary Computation Conference (GECCO), pages 1952-1954, 2006.
9. Y. Cheon, M. Y Kim, and A. Perumandla. A complete automation of unit testing for java programs. In Proceedings of the 2005 International Conference on Software Engineering Research and Practice, pages 290-295, 2005.
10. J. Clark, J. J. Dolado, M. Harman, R. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd. Reformulating software engineering as a search problem. IEE Proceedings - Software, 150(3):161-175, 2003.
11. M. d'Amorim, C. Pacheco, T. Xie, D. Marinov, and M. D. Ernst. An empirical comparison of automated generation and classification techniques for object-oriented unit testing. In IEEE International Conference on Automated Software Engineering (ASE), pages 59-68, 2006.
12. R. Doong and P. G. Frankl. The astoot approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, pages 101-130, 1994.
13. J. Edvardsson. A survey on automatic test data generation. In Proceedings of the Second Conference on Computer Science and Engineering in Linkoping, pages 21-28, 1999.
14. M. Harman and B. F. Jones. Search-based software engineering. Journal of Information & Software Technology, 43(14):833-839, 2001.
15. J. H. Holland. Adaptation in Natural and Artificial Systems, second edition. MIT Press, Cambridge, 1992.
16. J. C. King. Symbolic execution and program testing. Communications of the ACM, pages 385-394, 1976.
17. X. Liu, B. Wang, and H. Liu. Evolutionary search in the context of object oriented programs. In MIC2005: The Sixth Metaheuristics International Conference, 2005.
18. D. Marinov and S. Khurshid. Testera: A novel framework for testing java programs. In IEEE International Conference on Automated Software Engineering (ASE), 2001.
19. P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2): 105-156, June 2004.
20. P. McMinn. Evolutionary Search for Test Data in the Presence of State Behaviour. PhD thesis, University of Sheffield, 2005.
21. P. Moscato. On evolution, search, optimization, genetic algorithms and martial arts: Towards memetic algorithms. Caltech Concurrent Computation Program, C3P Report 826, 1989.
22. H. Mühlenbein and G. Paaß. From recombination of genes to the estimation of distributions i. binary parameters. In Proceedings of The Fourth International Conference on Parallel Problem Solving from Nature, pages 178-187, 1996.
23. G. Myers. The Art of Software Testing. Wiley, New York, 1979.
24. R. Sagarna. An Optimization Approach for Software Test Data Generation: Applications of Estimation of Distribution Algorithms and Scatter Search. PhD thesis, University of the Basque Country, 2007.
25. R. Sagarna, A. Arcuri, and X. Yao. Estimation of distribution algorithms for testing object oriented software. In Congress on Evolutionary Computation (CEC), 2007 (to appear).
26. A. Seesing. Evotest: Test case generation using genetic programming and software analysis. Master's thesis, Delft University of Technology, 2006.
27. G. Tassey. The economic impacts of inadequate infrastructure for software testing, final report. National Institute of Standards and Technology, 2002.
28. P. Tonella. Evolutionary testing of classes. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 119-128, 2004.
29. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with java pathfinder. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2004.
30. W. Visser, C. S. Pasareanu, and R. Pelànek. Test input generation forjava containers using state matching. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 37-48, 2006.
31. S. Visvanathan and N. Gupta. Generating test data for functions with pointer inputs. In IEEE International Conference on Automated Software Engineering (ASE), pages 149-160, 2002.
32. H. Waeselynck, P. T. Fosse, and O. A. Kaddour. Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empirical Software Engineering, 12(1):35-63, 2006.
33. H.-C. Wang and B. Jeng. Structural testing using memetic algorithm. In Proceedings of the Second Taiwan Conference on Software Engineering, 2006.
34. S. Wappler and F. Lammermann. Using evolutionary algorithms for the unit testing of object-oriented software. In Genetic and Evolutionary Computation Conference (GECCO), pages 1053-1060, 2005.
35. S. Wappler and J. Wegener. Evolutionary unit testing of object-oriented software using a hybrid evolutionary algorithm. In Congress on Evolutionary Computation (CEC), pages 851-858, 2006.
36. S. Wappler and J. Wegener. Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. In Genetic and Evolutionary Computation Conference (GECCO), pages 1925-1932, 2006.
37. J. Wegener, A. Baresel, and H. Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology, 43 (14): 841-854, 2001.
38. D. H. Wolpert and W. G. Macready. No free lunch theorems for optimization. IEEE Transactions on Evolutionary Computation, 1(1):67-82, April 1997.
39. T. Xie, D. Marinov, and D. Notkin. Rostra: A framework for detecting redundant object-oriented unit tests. In IEEE International Conference on Automated Software Engineering (ASE), pages 196-205, 2004.
40. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 365-381, 2005.