Model-Based Test Selection for Infinite State Reactive Systems.

Published in: DIPES (2006)

Keyphrases

reactive systems
state machines
petri net
model checking
information flow
formal methods
database
real time
machine learning
artificial intelligence
selection algorithm
statistical tests