Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography

This publication has 24 references indexed in Scilit:

• Test Generation Driven by User-Defined Fault Models
  Published by Springer Nature ,1999
• Distinguishing tests for nondeterministic finite state machines
  Published by Springer Nature ,1998
• Testing of automata: from experiments to representations by means of fragments
  Published by Springer Nature ,1998
• Distinguishing tests for nondeterministic and probabilistic machines
  Published by Association for Computing Machinery (ACM) ,1995
• Testing finite-state machines: state identification and verification
  IEEE Transactions on Computers, 1994
• Protocol testing
  Published by Association for Computing Machinery (ACM) ,1994
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• Checking Experiments ror Sequential Machines
  IEEE Transactions on Computers, 1971
• A Method for the Design of Fault Detection Experiments
  IEEE Transactions on Computers, 1970