White-Box Coverage Criteria for Model Transformations
Jacqueline A. McQuillan, James F. Power · Maynooth University ePrints and eTheses Archive (Maynooth University) · 2009
Abstract. Model transformations are core to MDE, and one of the key aspects for all model transformations is that they are validated. In this paper we develop an approach to testing model transformations based on white-box coverage measures of the transformations. To demonstrate the use of this approach we apply it to some examples from the ATL metamodel zoo.