Theoretical runtime analyses of search algorithms on the test data generation for the Triangle Classification problem

2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

Volumn , Issue , 2008, Pages 161-169

  Arcuri, Andrea ^a   Lehre, Per Kristian ^a   Yao, Xin ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CLASSIFICATION (OF INFORMATION); COMPUTER SOFTWARE SELECTION AND EVALUATION; LEARNING ALGORITHMS; LIFE CYCLE; SOFTWARE ENGINEERING; TECHNOLOGY; TEST FACILITIES; TESTING; TRIANGULATION; VERIFICATION;

HILL CLIMBING; INTERNATIONAL CONFERENCES; RANDOM SEARCHES; RUN-TIME; SEARCH ALGORITHMS; SOFTWARE DEVELOPMENT; SOFTWARE ENGINEERING COMMUNITY; TEST DATA GENERATION; VERIFICATION AND VALIDATION;

SOFTWARE TESTING;

EID: 52249103128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2008.48     Document Type: Conference Paper

References (22)

1. B. Beizer. Software Testing Techniques. Van Nostrand Rheinhold, New York, 1990.
2. 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.
3. R. A. DeMillo, R. J. Lipton, and F. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, 1978.
4. S. Droste, T. Jansen, and I. Wegener. On the analysis of the (1+1) evolutionary algorithm. Theoretical Computer Science, 276:51-81, 2002.
5. S. Droste, T. Jansen, and I. Wegener. Upper and lower bounds for randomized search heuristics in black-box optimization. Theory of Computing Systems, 39(4): 525-544, 2006.
6. F. Gruenberger. Program testing: The historical perspective. Program Test Methods, pages 11-14, 1973.
7. M. Harman and P. McMinn. A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 73-83, 2007.
8. J. He and X. Yao. A study of drift analysis for estimating computation time of evolutionary algorithms. Natural Computing, 3(1):21-35, 2004.
9. J. H. Holland. Adaptation in Natural and Artificial Systems, second edition. MIT Press, Cambridge, 1992.
10. B. Korel. Automated software test data generation. IEEE Transactions on Software Engineering, pages 870-879, 1990.
11. B. Legeard, F. Peureux, and M. Utting. Controlling test case explosion in test generation from b formal models: Research articles. Software Testing, Verification and Reliability, 14(2):81-103, 2004.
12. P. K. Lehre and X. Yao. Runtime analysis of (1+1) ea on computing unique input output sequences. In Congress on Evolutionary Computation (CEC), 2007.
13. J. C. Lin and P. L. Yeh. Automatic test data generation for path testing using GAs. Information Sciences, 131(1-4):47-64, 2001.
14. P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2):105-156, June 2004.
15. J. Miller, M. Reformat, and H. Zhang. Automatic test data generation using genetic algorithm and program dependence graphs. Information and Software Technology, 48(7):586-605, 2006.
16. G.Myers. The Art of Software Testing. Wiley, New York, 1979.
17. P. S. Oliveto, J. He, and X. Yao. Time complexity of evolutionary algorithms for combinatorial optimization: A decade of results. International Journal of Automation and Computing, 4(1):100-106, 2007.
18. C. V. Ramamoorthy, S. B. F. Ho, and W. T. Chen. On the automated generation of program test data. IEEE Transactions on Software Engineering, 2(4):293-300, 1976.
19. G. Tassey. The economic impacts of inadequate infrastructure for software testing, final report. National Institute of Standards and Technology, 2002.
20. J. Wegener, A. Baresel, and H. Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology, 43(14):841-854, 2001.
21. M. Woodward. Editorial: A test of time across the generations. Software Testing, Verification & Reliability, 14(2):79-80, 2004.
22. M. Xiao, M. El-Attar, M. Reformat, and J. Miller. Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques. Empirical Software Engineering, 12(2): 183-239, 2007.