Testing real-time systems using determinization techniques for automata over timed domains

DOI10.1007/978-3-030-32505-3_8MaRDI QIDQ2279118zbMATH OpenOpenAlexFDO

Authors Moez Krichen

Publication date 12 December 2019

Full work available at URL https://doi.org/10.1007/978-3-030-32505-3_8

zbMATH Keywords

automaton over timed domainsconformance relationcorrectnessdeterminizationmodel-based testingreal-time systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A method for testing real-time systems based on timed automata
• A method for testing real-time system based on timed automata
• Conformance tests for real-time systems with timed automata specifications
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Testing timed automata

Cited in

(2)

• Estimating the latent time of fault detection in finite automaton tested in real time
• Off-line test selection with test purposes for non-deterministic timed automata

This page was built for publication: Testing real-time systems using determinization techniques for automata over timed domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279118)