Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.

Gehan M. K. Selim, James R. Cordy, Jrgen Dingel, Levi Lucio, Bentley J. Oakes

Browse the full MODELS paper archive.