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]
@inproceedings{SelimCDLO15,
title = {Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report},
author = {Gehan M. K. Selim and James R. Cordy and Jürgen Dingel and Levi Lucio and Bentley J. Oakes},
year = {2015},
url = {http://ceur-ws.org/Vol-1500/paper1.pdf},
researchr = {https://researchr.org/publication/SelimCDLO15},
cites = {0},
citedby = {0},
pages = {26-35},
booktitle = {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},
editor = {Jürgen Dingel and Sahar Kokaly and Levi Lucio and Rick Salay and Hans Vangheluwe},
volume = {1500},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}