Sign in
Model-Based Test Selection for Infinite State Reactive Systems.
Thierry Jéron
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