Path analysis testing of concurrent programs

This publication has 8 references indexed in Scilit:

• A path analysis approach to concurrent program testing
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• A probe effect in concurrent programs
  Software: Practice and Experience, 1986
• Monitoring for Deadlock and Blocking in Ada Tasking
  IEEE Transactions on Software Engineering, 1984
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• Reproducible testing of monitors
  Software: Practice and Experience, 1978
• Reliability of the Path Analysis Testing Strategy
  IEEE Transactions on Software Engineering, 1976
• Toward a theory of test data selection
  IEEE Transactions on Software Engineering, 1975
• Testing a multiprogramming system
  Software: Practice and Experience, 1973