Combining Specification-Based and Code-Based Coverage for Model Transformation Chains.
Eduard BauerJochen Malte KüsterPublished in: ICMT@TOOLS (2011)
Keyphrases
- computational model
- theoretical analysis
- specification language
- closed form
- experimental data
- statistical model
- probabilistic model
- management system
- source code
- markov chain
- probability distribution
- theoretical framework
- mathematical model
- data model
- bayesian networks
- high level
- formal model
- prediction model
- web services