MoTES approach

This is the website of the MoTES project, a contract-based testing approach for suggesting model transformation repairs in rule-based languages like ATL. The work is a collaboration among Universidad de Extremadura (Spain), IMDEA Software Institute (Spain) and the Western Norway University of Applied Sciences (Norway).


Case studies

These case studies are introduced in a journal preprint which will be added to this website later:

DSL tool

A small language for the definition of contracts and its compilation into ATL code is available here. That code can then be used to calculate MoTES’ metrics and suggestions, based on the input, output and trace models of the ATL transformation under test.