Model-Based Test Selection for Infinite-State Reactive Systems.

Bertrand Jeannet Thierry Jéron Vlad Rusu

Published in: FMCO (2006)

Keyphrases

reactive systems
model checking
temporal logic
petri net
selection algorithm
database
artificial intelligence
expert systems
life cycle