Login / Signup
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.
Gehan M. K. Selim
James R. Cordy
Jürgen Dingel
Levi Lucio
Bentley J. Oakes
Published in:
AMT@MoDELS (2015)
Keyphrases
</>
formal verification
similarity measure
cost function
formal model
data sets
artificial intelligence
probabilistic model
em algorithm
management system
parameter estimation
theoretical framework
statistical model
domain independent
metamodel