20 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.FL2018
Control strategies for off-line testing of timed systems
Léo Henry, Thierry Jéron, Nicolas Markey
Partial observability and controllability are two well-known issues in test-case synthesis for interactive systems. We address the problem of partial control in the synthesis of te…
cs.FL2012★ 20 cited
Off-line test selection with test purposes for non-deterministic timed automata
Nathalie Bertrand, Thierry Jéron, Amélie Stainer +1
This article proposes novel off-line test generation techniques from non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco conforman…