Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gehan M. K. Selim' in GoogleIdentified as James R. Cordy This author has not been identified. Look up 'Jürgen Dingel' in GoogleThis author has not been identified. Look up 'Levi Lucio' in GoogleThis author has not been identified. Look up 'Bentley J. Oakes' in Google

runs on WebDSL