Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata

DOI10.1007/978-3-642-19835-9_10zbMath1315.68082arXiv1207.6267OpenAlexW1878755561MaRDI QIDQ3000640

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

Publication date: 19 May 2011

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.6267

zbMATH Keywords

timed automatagamepartial observabilityconformance testingurgencytest purposeapproximate determinization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Bounded Determinization of Timed Automata with Silent Transitions ⋮ Bounded determinization of timed automata with silent transitions ⋮ A game approach to determinize timed automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conformance testing for real-time systems
• Folk theorems on the determinization and minimization of timed automata
• A theory of timed automata
• A game approach to determinize timed automata
• Timed I/O automata
• Off-line test selection with test purposes for non-deterministic timed automata
• Undecidable Problems About Timed Automata
• On Conformance Testing for Timed Systems
• On the power of non-observable actions in timed automata
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing

This page was built for publication: Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata