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

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

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

Publication date: 22 October 2012

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

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 (4)

• 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
• Control strategies for off-line testing of timed systems

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Testing real-time systems using determinization techniques for automata over timed domains 👍 👎
• The power of reachability testing for timed automata 👍 👎
• Testing timed automata 👍 👎
• Title not available (Why is that?) 👍 👎
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant 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)