Abstract Context Model-driven Engineering (MDE) promotes the utilization of models as
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …

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 …

Abstract System development strategies, like model-driven engineering (MDE), help to
abstract architectures and provide a promising way to deal with architecture complexity and …

Mutation is a systematic technique to create variants of a seed artefact by means of mutation
operators. It has many applications in computer science, like software testing, automatic …

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 …

Automated model generation can be highly beneficial for various application scenarios
including software tool certification, validation of cyber-physical systems or benchmarking …

Despite the wide range of existing tool support, constructing a design environment for a
complex domain-specific language (DSL) is still a tedious task as the large number of …

Efficient model validation and verification techniques are strong in the analysis of systems
describing static structures, for example, UML class diagrams and OCL invariants. However …

Modern systems and their architectures are getting more complex than ever. Development
strategies, like model-driven engineering (MDE), help to abstract architectures and provide a …

In this paper we propose a mapping from OCL to many-sorted first-order logic, called
OCL2MSFOL. This new mapping significantly improves our previous results in two key …