Path analysis testing of concurrent programs

Information and Software Technology

Volumn 34, Issue 1, 1992, Pages 43-56

  Yang, R D ^a   Chung, C G ^b  

^a NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

^b MiTAC International Corporation   (Taiwan)

Author keywords

concurrent program testing; path analysis testing; software testing; validation

Indexed keywords

CONCURRENT PROGRAMS; PATH ANALYSIS TESTING; PROGRAM TESTING;

COMPUTER SOFTWARE;

EID: 0026711426     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(92)90093-5     Document Type: Article

References (20)

1. Toward a theory of test data selection
2. Reliability of the Path Analysis Testing Strategy
3. A probe effect in concurrent programs
4. Monitoring for Deadlock and Blocking in Ada Tasking
5. On testing concurrent programs
6. Reproducible testing of Ada tasking programs
7. Structural testing of concurrent programs
8. Testing a multiprogramming system
9. Reproducible testing of monitors
10. Reproducible testing of concurrent Ada programs
11. Reproducible testing of Ada tasking programs
12. A general-purpose algorithm for analyzing concurrent programs
13. A formal framework for the study of concurrent program testing
14. Testing concurrent Ada programs with reproducible test cases
15. Debugging Ada tasking programs
16. Combining static concurrency analysis with symbolic execution
17. An experience with two symbolic execution-based approaches to formal verification of Ada tasking programs
18. A path analysis approach to concurrent program testing
19. A static analyzer for validating concurrent Ada programs
20. An execution controller for concurrent Ada program with tracing and forcing functions