Off-line test selection with test purposes for nondeterministic timed automata (2011)

by N Bertrand, T Jéron, A Stainer, M Krichen
Venue:In 17th International Conference on Tools and Algorithms for the Construction And Analysis of Systems (TACAS’11), volume 6605 of LNCS