Automated test data generation for programs with procedures

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 209-215

  Korel, Bogdan ^a  

^a Illinois Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

TESTING;

AUTOMATED TEST DATA GENERATION; BRANCH COVERAGE; CURRENT THEORIES; DATA DEPENDENCE ANALYSIS; PROGRAM TESTING; STATEMENT COVERAGE; TEST DATA GENERATION; TESTING CRITERIA;

SOFTWARE TESTING;

EID: 85030139012     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226319     Document Type: Conference Paper

References (18)

1. D. Bird, C. Munoz, "Automatic generation of random se.checking test cases," IBM Systems Journal, vol. 22, No. 3, 1982, pp. 229-245.
2. R. Boyer, B. Elspas, K. Levitt, "SELECT-A formal system for testing and debugging programs by symbolic execution," SIGPLAH Notices, voL 10, No. 6, 1975, pp. 234-245.
3. L. Clarke, "A system to generate test data and symbolically execute programs," IEEE Transactions on Software Engineering, vol. 2, No. 3, 1976, pp. 215-222.
4. R. DeMillo, W. McCracken, R. Martin, J. Passafiume, Software Testing and Evaluation, The Benjamin/Cummings Publishing Company, 1987.
5. R. DeMillo, A. Offutt, "Constraint-based automatic test data generation", IEEE Transactions on Software Engineering, vol. 17, No. 9, 1991, pp. 900-910
6. P. Gill, W. Murray, Ed., Numerical Methods for Constrained OpfimiTation, New York: Academic, 1974.
7. M. J. Harrokk M. L. Sofia, "Interprocedural Data Flow Testing," 3rd Symposium on Software Testing, Verification, and Analysis, 1989, pp. 158-165.
8. R. Ferguson, B. Korel, "The chaining approach for software test data generation," Technical Report, Computer Science Deparm~ent, Wayne State University, CSC-94-003, 1994.
9. W. E. Howden, "Symbolic testing and the DISSECT symbolic evaluation system," IEEE Transactions on Software Engineering, vol. 4, No. 4, 1977, pp. 266-278.
10. B. Korel, "TESTGEN-A structural test data generation system," 6-th International Conference on Software Testing, Wgshington, D.C., 1989.
11. B. Korel, "Automated test data generation," IEEE Transactions on Software Engineering, vol. 16, No. 8, 1990, pp. 870-879.
12. B. Korel, "A dynamic approach of automated test data generation," Conference on Software Maintenance, San Diego, CA, 1990, pp. 311-317.
13. B. Korel, "Dynamic method for software test data generation," Journal of Software Testing, Verification, and Reliability, vol. 2, 1992, pp. 203-213.
14. B. Korel, "TESTGEN-An execution-oriented test data generation system," Technical Report TR-SE-95-01, Department of Computer Science, lllinois Institute of Technology, 1995.
15. J. Laski, B. Korel, "Dam flow oriented program testing strategy," mEE Transactions on Software Engineering, voL 9, No. 3, 1983, pp. 347-354.
16. S. Muchnick, N. Jones, Program Flow Analysis: Theory and Applications, Prentice-Hall, 1981.
17. C. Ramamoorthy, S. Ho, W. Chen, "On the automated generation of program test data," m~l~. Transactions on Software Engineering, vol. 2, No. 4, 1976, pp. 293-300.
18. S. Rapps, E. Weyuker, "Selecting software test data using data flow information," Transactions on Software Engineering, vol. SEll, No. 4, 1985, pp. 367-375.