Model transformation testing: the state of the art.
Gehan M. K. SelimJames R. CordyJuergen DingelPublished in: AMT@MoDELS (2012)
Keyphrases
- data mining
- simulation model
- high level
- prediction model
- parameter estimation
- computational model
- mathematical model
- parameter values
- statistical model
- sensitivity analysis
- transformation rules
- data sets
- bayesian framework
- theoretical framework
- maximum likelihood
- probability distribution
- computer vision
- genetic algorithm