An incremental approach to structural testing of concurrent software

This publication has 14 references indexed in Scilit:

• Compositional reachability analysis of finite-state distributed systems with user-specified constraints
  Published by Association for Computing Machinery (ACM) ,1995
• A concurrency analysis tool suite for Ada programs
  ACM Transactions on Software Engineering and Methodology, 1995
• Enhancing compositional reachability analysis with context constraints
  Published by Association for Computing Machinery (ACM) ,1993
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Formal Methods in System Design, 1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Structural testing of concurrent programs
  IEEE Transactions on Software Engineering, 1992
• Path analysis testing of concurrent programs
  Information and Software Technology, 1992
• Compositional reachability analysis using process algebra
  Published by Association for Computing Machinery (ACM) ,1991
• Debugging concurrent Ada programs by deterministic execution
  IEEE Transactions on Software Engineering, 1991
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987