Testing Strategies for Communicating FSMs

This publication has 8 references indexed in Scilit:

• Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
  IEEE Transactions on Software Engineering, 1994
• Test suite generation for a FSM with a given type of implementation errors
  Published by Elsevier ,1992
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989
• Approaches to multi-level sequential logic synthesis
  Published by Association for Computing Machinery (ACM) ,1989
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• Fault-Detection Experiments for Parallel-Decomposable Sequential Machines
  IEEE Transactions on Computers, 1975
• The Simplification of Sequential Machines with Input Restrictions
  IEEE Transactions on Computers, 1972