Test generation with inputs, outputs, and quiescence

This publication has 7 references indexed in Scilit:

• A process algebraic view of input/output automata
  Theoretical Computer Science, 1995
• Quiescence, fairness, testing, and the notion of implementation
  Published by Springer Nature ,1993
• A framework based on implementation relations for implementing LOTOS specifications
  Computer Networks and ISDN Systems, 1992
• A Queue Model Relating Synchronous and Asynchronous Communication
  Published by Elsevier ,1992
• Testing against formal specifications: A theoretical view
  Lecture Notes in Computer Science, 1991
• The linear time - branching time spectrum
  Published by Springer Nature ,1990
• Extensional equivalences for transition systems
  Acta Informatica, 1987