Ran Wei, Dimitris S. Kolovos. Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs. In Dimitris S. Kolovos, Davide Di Ruscio, Nicholas Drivalos Matragkas, Juan de Lara, István Ráth, Massimo Tisi, editors, Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, BigMDE@STAF2014, York, UK, July 24, 2014. Volume 1206 of CEUR Workshop Proceedings, pages 48-57, CEUR-WS.org, 2014. [doi]
Abstract is missing.