Test Generation Driven by User-Defined Fault Models

This publication has 8 references indexed in Scilit:

• Approximation algorithms for combinatorial problems
  Published by Elsevier ,2007
• Test generation for multiple state-table faults in finite-state machines
  IEEE Transactions on Computers, 1997
• Testing in context: framework and test derivation
  Computer Communications, 1996
• Testing Finite State Machines: Fault Detection
  Journal of Computer and System Sciences, 1995
• Testing Strategies for Communicating FSMs
  Published by Springer Nature ,1995
• A model for sequential machine testing and diagnosis
  Journal of Electronic Testing, 1992
• 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