Automated test data generation for programs with procedures
- 1 May 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 21 (3) , 209-215
- https://doi.org/10.1145/229000.226319
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Dynamic method for software test data generationSoftware Testing, Verification and Reliability, 1992
- Constraint-based automatic test data generationIEEE Transactions on Software Engineering, 1991
- Automated software test data generationIEEE Transactions on Software Engineering, 1990
- Interprocedual data flow testingPublished by Association for Computing Machinery (ACM) ,1989
- Selecting Software Test Data Using Data Flow InformationIEEE Transactions on Software Engineering, 1985
- A Data Flow Oriented Program Testing StrategyIEEE Transactions on Software Engineering, 1983
- Automatic generation of random self-checking test casesIBM Systems Journal, 1983
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975