Automatic testing of reactive systems

This publication has 15 references indexed in Scilit:

• Testing synchronous critical software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Specification-based testing of reactive software
  Published by Association for Computing Machinery (ACM) ,1997
• Generating functional test cases in-the-large for time-critical systems from logic-based specifications
  Published by Association for Computing Machinery (ACM) ,1996
• Systematic testing and formal verification to validate reactive programs
  Software Quality Journal, 1995
• Testing real-time constraints in a process algebraic setting
  Published by Association for Computing Machinery (ACM) ,1995
• Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
  IEEE Transactions on Software Engineering, 1992
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Signal--A data flow-oriented language for signal processing
  IEEE Transactions on Acoustics, Speech, and Signal Processing, 1986
• Algorithm for discovering the set of all the solutions of a linear programming problem
  USSR Computational Mathematics and Mathematical Physics, 1968