Test Selection Criteria for Modal Specifications of Reactive Systems.

Marc Aiguier Delphine Longuet

Published in: TASE (2007)

Keyphrases

reactive systems
selection criteria
transition systems
model checking
temporal logic
information flow
petri net
control flow
formal methods
modal logic
state machines
training data
real time systems
database
software testing
high level
information systems
artificial intelligence