EMF and GMF are powerful frameworks for implementing tool support for modelling
languages in Eclipse. However, with power comes complexity, implementing a graphical …

As the complexity of model transformations grows, there is an increasing need to count on
methods, mechanisms, and tools for checking their correctness, ie, the alignment between …

In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …

This paper proposes the use of equivalence partitioning techniques for testing models and
model transformations. In particular, we introduce the concept of classifying terms, which are …

Testing model transformations poses several challenges, among them the automatic
generation of appropriate input test models and the specification of oracle functions. Most …

Testing model transformations poses several challenges, among them the automatic
generation of appropriate input test models and the specification of oracle functions. Most …

Testing model-to-model (M2M) transformations is becoming a prominent topic in the current
Model-driven Engineering landscape. Current approaches for transformation testing …

The growing size of software models poses significant scalability challenges. Amongst these
challenges is the execution time of queries and transformations. In many cases, model …

This contribution proposes a new technique for developing test cases for UML and OCL
models. The technique is based on an approach that automatically constructs object models …

Abstract The Atlas Transformation Language (ATL) is currently one of the most used model
transformation languages and has become a de facto standard in model-driven engineering …