J. Troya, M. Wimmer, A. Vallecillo: Formal Specification and Testing of Model Transformations, 1st International Workshop on Mutation Testing and Model Transformation (MT^2) @ STAF'14, York, UK; 22.07.2014. pdf

In this paper we present some of the key issues involvedin model transformation specification and testing, discuss and classifysome of the existing approaches, and introduce the concept of Tract, a generalization of model transformation contracts. We show how Tractscan be used for model transformation specification and black-box testing, and the kinds of analyses they allow. Some representative examples are used to illustrate this approach.

Formal Specification and Testing of Model Transformations