Randomized directed testing (REDIRECT) for Simulink/Stateflow models.

Manoranjan Satpathy Anand Yeolekar S. Ramesh

Published in: EMSOFT (2008)

Keyphrases

neural network
probabilistic model
data sets
prior knowledge
complex systems
statistical models
computational models
machine learning
computer vision
parameter estimation
machine learning algorithms
mathematical model
statistical model
experimental data
historical data