Mutation Analysis Testing for Model Transformations.
Jean-Marie MottuBenoit BaudryYves Le TraonPublished in: ECMDA-FA (2006)
Keyphrases
- experimental data
- statistical model
- parameter values
- formal model
- probabilistic model
- em algorithm
- theoretical analysis
- linear model
- neural network model
- test data
- process model
- computational model
- database
- probability distribution
- high level
- maximum likelihood
- cost function
- objective function
- simulation model
- information retrieval
- machine learning