On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.
Sagar SenBenoit BaudryJean-Marie MottuPublished in: ICST (2008)
Keyphrases
- probabilistic model
- conceptual model
- prior knowledge
- statistical models
- high level
- statistical model
- hybrid model
- computational model
- classification models
- process model
- mathematical model
- formal model
- knowledge base
- accurate models
- modeling framework
- metamodel
- generic model
- experimental data
- parameter estimation
- reasoning process
- conceptual framework
- analytical model
- linear model
- reasoning mechanism
- semantic models
- formal models
- domain models
- modeling method
- finite state machines
- learning models
- linear regression
- user model
- theoretical framework
- model selection
- knowledge representation
- domain knowledge
- expert systems