MANTra: Towards Model Transformation Testing.
Andrea CianconeAntonio FilieriRaffaela MirandolaPublished in: QUATIC (2010)
Keyphrases
- mathematical model
- high level
- formal model
- management system
- computer vision
- feature selection
- statistical model
- simulation model
- computational model
- data sets
- theoretical analysis
- probabilistic model
- test data
- theoretical framework
- closed form
- network model
- model selection
- parameter values
- object model
- software engineering
- cost function
- expert systems
- multi agent
- image sequences
- neural network