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 …

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 …

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 …

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

In order to produce service compositions, modern web applications now combine both in-
house and third-party web services. Therefore, their performance depends on the …

Rolls-Royce Control Systems supplies engine control and monitoring systems for aviation
applications, and is required to design, certify, and deliver these to the highest level of safety …

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

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

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