FSM-based conformance testing methods: A survey annotated with experimental evaluation

This publication has 21 references indexed in Scilit:

• Testing from Partial Deterministic FSM Specifications
  IEEE Transactions on Computers, 2005
• Efficient computation of unique input/output sequences in finite state machines
  IEEE/ACM Transactions on Networking, 1997
• On minimizing the lengths of checking sequences
  IEEE Transactions on Computers, 1997
• Principles and methods of testing finite state machines-a survey
  Proceedings of the IEEE, 1996
• Testing Finite State Machines: Fault Detection
  Journal of Computer and System Sciences, 1995
• Testing finite-state machines: state identification and verification
  IEEE Transactions on Computers, 1994
• Guest editorial
  Computer Networks and ISDN Systems, 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
• A protocol test generation procedure
  Computer Networks and ISDN Systems, 1988