Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs

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]

@inproceedings{WeiK14-0,
  title = {Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs},
  author = {Ran Wei and Dimitris S. Kolovos},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1206/paper_11.pdf},
  researchr = {https://researchr.org/publication/WeiK14-0},
  cites = {0},
  citedby = {0},
  pages = {48-57},
  booktitle = {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},
  editor = {Dimitris S. Kolovos and Davide Di Ruscio and Nicholas Drivalos Matragkas and Juan de Lara and István Ráth and Massimo Tisi},
  volume = {1206},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}