Real-Time Testing with Timed Automata Testers and Coverage Criteria
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Untameable Timed Automata!Published by Springer Nature ,2003
- Timed Control with Partial ObservabilityPublished by Springer Nature ,2003
- On Clock Difference Constraints and Termination in Reachability Analysis of Timed AutomataPublished by Springer Nature ,2003
- A theory of timed automataPublished by Elsevier ,2002
- STG: A Symbolic Test Generation ToolPublished by Springer Nature ,2002
- Testing Transition Systems: An Annotated BibliographyPublished by Springer Nature ,2001
- IF: A Validation Environment for Timed Asynchronous SystemsPublished by Springer Nature ,2000
- Modeling Urgency in Timed SystemsPublished by Springer Nature ,1998
- A practical and complete algorithm for testing real-time systemsPublished by Springer Nature ,1998
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978