Dynamic method of test data generation for distributed software

Information and Software Technology

Volumn 34, Issue 8, 1992, Pages 523-531

  Korel, B ^a   Wedde, H ^a   Ferguson, R ^a  

^a WAYNE STATE UNIVERSITY   (United States)

Author keywords

automated test generation; distributed program; distributed software; dynamic data flow analysis; software testing; test data generation

Indexed keywords

EID: 38249012655     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(92)90146-G     Document Type: Article

References (30)

1. SMOTL—A System to Construct Samples for Data Processing Program Debugging
2. SELECT---a formal system for testing and debugging programs by symbolic execution
3. A System to Generate Test Data and Symbolically Execute Programs
4. Symbolic Testing and the DISSECT Symbolic Evaluation System
5. On the Automated Generation of Program Test Data
6. Structural testing of concurrent programs
7. A formal framework for the study of concurrent program testing
8. Structural testing of concurrent programs
9. An Approach to Program Testing
10. A general-purpose algorithm for analyzing concurrent programs
11. Combining static concurrency analysis with symbolic execution
12. Detection of Ada static deadlock using Petri net invariants
13. A critical path approach for testing distributed real-time systems
14. Reproducible testing of concurrent Ada programs
15. Reproducible testing of communication software
16. Debugging concurrent Ada programs by deterministic execution
17. The automatic generation of test data
18. Automated test data generation for distributed software
19. Sequential Search: A Method for Solving Constrained Optimization Problems
20. Automated test data generation
21. PELAS — program error locating assistant system
22. TESTGEN — a structural test data generation system
23. A dynamic approach of automated test data generation
24. The program dependence graph and its use in optimization
25. The program dependence graph in static program testing
26. A mechanism for efficient debugging of parallel programs
27. Dynamic program slicing
28. Dynamic program slicing for distributed programs