Generating test data for branch coverage

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 219-227

  Gupta, N ^a   Mathur, A P ^b   Soffa, M L ^c  

^a University of Arizona   (United States)

^b Purdue University   (United States)

^c University of Pittsburgh   (United States)

Author keywords

branch testing; iterative relaxation technique; Path testing; testing tools

Indexed keywords

ITERATIVE METHODS; SOFTWARE ENGINEERING; TEST FACILITIES;

BRANCH COVERAGE; BRANCH TESTING; ITERATIVE RELAXATIONS; ITERATIVE TECHNIQUE; PATH TESTING; STRUCTURAL TESTING; TEST DATA GENERATION; TESTING TOOLS;

SOFTWARE TESTING;

EID: 84960872869     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873666     Document Type: Conference Paper

References (12)

1. L.A. Clarke, "A System to Generate Test Data and Symbolically Execute Programs," IEEE Transactions on Software Engineering, Vol. SE-2, No. 3, pages 215-222, September 1976.
2. R.A. DeMillo and A.J. Offutt, "Constraint-based Automatic Test Data Generation," IEEE Transactions on Software, Vol. 17, No. 9, pages 900-910, September 1991.
3. R. Ferguson and B. Korel, "The Chaining Approach for Software Test Data Generation," ACM Transactions on Software Engineering Methodology, Vol 5, No.1, pages 63-86, January 1996.
4. I. Forgacs and A Bertolino, "Feasible Test Path Selection by Principle Slicing," Proceedings of the ACM SIGSOFT International Conference ESEC/FSE'97, LNCS 1301, Zurigo, 22-25 September, 1997.
5. I. Forgacs and A Hajnal, "An Applicable Test Data Generation Algorithm for Domain Errors," In Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, Clearwater Beach, Florida, March, 1998.
6. M.J. Gallagher and V.L. Narsimhan, "ADTEST: A Test Data Generation Suite for Ada Software Systems," IEEE Transactions on Software Engineering, Vol. 23, No. 8, pages 473-484, August 1997.
7. A. Gotlieb, B. Botella, and M. Rueher, "Automatic Test Data Generation using Constraint Solving Techniques," International Symposium on Software Testing and Analysis, 1998.
8. Neelam Gupta, Aditya P. Mathur, and Mary Lou Soffa, "Automated Test Data Generation using An Iterative Relaxation Method," ACM SIGSOFT Sixth International Symposium on Foundations of Software Engineering(FSE-6), pages 231-244, Orlando, Florida, November 1998.
9. Neelam Gupta, Aditya P. Mathur, and Mary Lou Soffa, "UNA Based Iterative Test Data Generation and its Evaluation," 14th IEEE International Conference on Automated Software Engineering(ASE'99), pages 224-232, Cocoa Beach, Florida, October 1999.
10. B. Korel, "A Dynamic Approach of Test Data Generation," Conference on Software Maintenance, pages 311-317, San Diego, CA, November 1990.
11. B. Korel, "Automated Software Test Data Generation," IEEE Transactions on Software Engineering, Vol 16, No.8, pages 870-879, August 1990.
12. W. H. Press, S. A. Teukolsky, W. T. Vetterling, B. P. Flannery, "Numerical Recipes in C" Cambridge University Press, 1992.