TractsTool: Testing Model Transformations based on Contracts
Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo · 2013
Abstract. Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, based on contracts.