Automated Test Generation from Timed Automata
Abstract elided by the publisher.
Related papers
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata TACAS 2011
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata TACAS 2014
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Test case generation from context-free grammars using generalized traversal of LR-automata SLE 2020
- Reduction of Nondeterministic Tree Automata TACAS 2016
- Compositional Verification of Timed Automata via Violation Assumptions CAV 2026