Systematic testing: A means for validating reactive systems

This publication has 7 references indexed in Scilit:

• Testing finite-state machines: state identification and verification
  IEEE Transactions on Computers, 1994
• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• Finite state machine based formal methods in protocol conformance testing: from theory to implementation
  Computer Networks and ISDN Systems, 1991
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978