Scenario-based testing using symbolic animation of B models.

Frédéric Dadeau Kalou Cabrera Castillos Régis Tissot

Published in: Softw. Test. Verification Reliab. (2012)

Keyphrases

statistical models
machine learning
learning algorithm
high level
bayesian framework
symbolic description
database
databases
image processing
multiscale
model selection
regression model
experimental data
connectionist models