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

DOI10.2168/LMCS-8(4:8)2012zbMath1248.68319MaRDI QIDQ3166229

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 automatagamepartial observabilityconformance testingurgencytest purposeapproximate determinization

Mathematics Subject Classification ID

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

Related Items (4)

Control Strategies for Off-Line Testing of Timed Systems ⋮ Control strategies for off-line testing of timed systems ⋮ Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata ⋮ A game approach to determinize timed automata

This page was built for publication: Off-line test selection with test purposes for non-deterministic timed automata