Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes. Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. In Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe, editors, Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015. Volume 1500 of CEUR Workshop Proceedings, pages 26-35, CEUR-WS.org, 2015. [doi]
Abstract is missing.