Off-line test selection with test purposes for non-deterministic timed automata
From MaRDI portal
Publication:3166229
Recommendations
- Off-line test selection with test purposes for non-deterministic timed automata
- On deriving test suites for nondeterministic finite state machines with time-outs
- scientific article; zbMATH DE number 1822432
- Testing real-time systems using determinization techniques for automata over timed domains
- The power of reachability testing for timed automata
- Testing timed automata
- scientific article; zbMATH DE number 2013786
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Cited in
(5)
This page was built for publication: Off-line test selection with test purposes for non-deterministic timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3166229)