Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria.

Stephan Weißleder

Published in: MBEES (2009)

Keyphrases

management system
high level
probabilistic model
computational model
objective function
statistical model
experimental data
formal model
mathematical model
bayesian networks
artificial neural networks
probability distribution
theoretical framework
prediction model
semantic description