Automated model verification using an equivalence test on a reference model.

Akin Akbulut Stephan Abke Christoph Laroque

Published in: WSC (2017)

Keyphrases

reference model
metamodel
computational model
high level
probabilistic model
verification method
database
relational databases
software systems
mathematical model
test data
reference models