Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.
Mathilde ArnaudBoutheina BannourArnaud CuccuruChristophe GastonSébastien GérardArnault LapitrePublished in: CSDM (2014)
Keyphrases
- bayesian networks
- probabilistic model
- dynamic bayesian networks
- high level
- low level
- modeling framework
- conceptual framework
- main contribution
- genetic algorithm
- prior knowledge
- bayesian framework
- lightweight
- generative model
- generic model
- information retrieval
- data sets
- intermediate level
- formal specification
- computational model
- decision trees
- social networks
- machine learning