Off-line test selection with test purposes for non-deterministic timed automata

DOI10.2168/LMCS-8(4:8)2012zbMATH Open1248.68319MaRDI QIDQ3166229FDOQ3166229

Authors: Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen 

Publication date: 22 October 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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
• 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

zbMATH Keywords

timed automatagameconformance testingurgencypartial observabilitytest purposeapproximate determinization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Off-line test selection with test purposes for non-deterministic timed automata
• A game approach to determinize timed automata
• Control Strategies for Off-Line Testing of Timed Systems
• Formal Approaches to Software Testing
• Control strategies for off-line testing of timed systems

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)