• Verification of Graph-based Model Transformations Using Alloy 

      Wang, Xiaoliang; Fabian, Büttner; Lamo, Yngve (Peer reviewed; Journal article, 2014)
      Model transformations are fundamental in model driven development. Thus, verification of model transformations is indispensable to ensure the quality and the reliability of transformation results. In this paper we focus ...