A practical and complete algorithm for testing real-time systems
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 251-261
- https://doi.org/10.1007/bfb0055352
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An equivalence theorem for the operational and temporal semantics of real-time, concurrent programsJournal of Logic and Computation, 1998
- A practical and complete algorithm for testing real-time systemsPublished by Springer Nature ,1998
- A theory of testing for timed automataPublished by Springer Nature ,1997
- Test generation with inputs, outputs, and quiescencePublished by Springer Nature ,1996
- Generating test cases for real-time systems from logic specificationsACM Transactions on Computer Systems, 1995
- Temporal Proof Methodologies for Timed Transition-SystemsInformation and Computation, 1994
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978