Real-Time Testing with Timed Automata Testers and Coverage Criteria
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Untameable Timed Automata!Lecture Notes in Computer Science, 2003
- Timed Control with Partial ObservabilityLecture Notes in Computer Science, 2003
- On Clock Difference Constraints and Termination in Reachability Analysis of Timed AutomataLecture Notes in Computer Science, 2003
- STG: A Symbolic Test Generation ToolLecture Notes in Computer Science, 2002
- Testing Transition Systems: An Annotated BibliographyLecture Notes in Computer Science, 2001
- IF: A Validation Environment for Timed Asynchronous SystemsLecture Notes in Computer Science, 2000
- Modeling Urgency in Timed SystemsLecture Notes in Computer Science, 1998
- A practical and complete algorithm for testing real-time systemsPublished by Springer Science and Business Media LLC ,1998
- A theory of timed automataTheoretical Computer Science, 1994
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978