Test Generation for Specifications Modeled by Input/Output Automata

This publication has 7 references indexed in Scilit:

• A protocol test generation procedure
  Published by Elsevier ,2003
• Checking Experiments with Labeled Transition Systems for Trace Equivalence
  Published by Springer Nature ,1997
• Refusal testing for classes of transition systems with inputs and outputs
  Published by Springer Nature ,1997
• Protocol testing
  Published by Association for Computing Machinery (ACM) ,1994
• Quiescence, fairness, testing, and the notion of implementation
  Published by Springer Nature ,1993
• 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