Syntactic Abstraction of B Models to Generate Tests

Jacques Julliand Nicolas Stouls Pierre-Christophe Bué Pierre-Alain Masson

Published in: CoRR (2010)

Keyphrases

probabilistic model
statistical models
experimental data
learning algorithm
artificial intelligence
information systems
model selection
machine learning
natural language
prior knowledge
parameter estimation
autoregressive
automatically generate
accurate models