Login / Signup
Generating tests from B specifications and dynamic selection criteria.
Jacques Julliand
Pierre-Alain Masson
Régis Tissot
Pierre-Christophe Bué
Published in:
Formal Aspects Comput. (2011)
Keyphrases
</>
selection criteria
model selection criteria
information systems
real time
databases
decision trees
high level
database systems
bayesian networks
multi agent systems
control system
dynamic environments
finite state machines
dynamically changing
automatically generating