Testing deterministic implementations from nondeterministic FSM specifications

This publication has 10 references indexed in Scilit:

• Nondeterministic finite-state machines and sequential don't cares
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Testing Finite State Machines: Fault Detection
  Journal of Computer and System Sciences, 1995
• Protocol testing
  Published by Association for Computing Machinery (ACM) ,1994
• Formal methods for test sequence generation
  Computer Communications, 1992
• 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
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• Asynchronous sequential switching circuits with unrestricted input changes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1970
• A Method for Minimizing the Number of Internal States in Incompletely Specified Sequential Networks
  IEEE Transactions on Electronic Computers, 1965