Test Derivation from Timed Automata.

Laura Brandán Briones Mathias Röhl

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

timed automata
model checking
reachability analysis
test cases
database
feature selection
evolutionary algorithm
control system
low cost
test data