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

The virtue of quality is not itself a subject; it depends on a subject. In the software
engineering field, quality means good software products that meet customer expectations …

Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …

Model generators are important tools in model-based systems engineering to automate the
creation of software models for tasks like testing and benchmarking. Previous works have …

MDE is being applied to the development of increasingly complex systems that require
larger model transformations. Given that the specification of such transformations is an error …

The automatic generation of software models is an important element in many software and
systems engineering scenarios such as software tool certification, validation of cyber …

Fuzzing or fuzz testing is an established technique that aims to discover unexpected
program behavior (eg, bugs, security vulnerabilities, or crashes) by feeding automatically …

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 …

Abstract Model Driven Engineering promotes the use of models as the main artifacts in
software and system development. Verification and validation of models are key activities to …

Viatra Solver [1] is a novel open source software tool to automatically synthesize consistent
and diverse domain-specific graph models to be used as a test suite for the systematic …