Coverage Preserving Reduction Strategies for Reachability Analysis

This publication has 3 references indexed in Scilit:

• An improved protocol reachability analysis technique
  Software: Practice and Experience, 1988
• Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
  IEEE Transactions on Software Engineering, 1987
• Tracing Protocols
  AT&T Technical Journal, 1985