Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

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 transformations play a cornerstone role in Model-Driven Engineering (MDE), as they
provide the essential mechanisms for manipulating and transforming models. The …

The development of quantum programs is becoming a reality due to the rapid advancement
of quantum computing. Over the past few years, a multitude of hardware platforms …

Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to
detect faults. This technique involves modifying the program under test to emulate …

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 …

The verification of model transformations is important for realizing robust model-driven
engineering technologies and quality-assured automation. Many approaches for checking …

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

Abstract Model-Driven Engineering (MDE) is a software engineering paradigm that uses
models as main assets in all development phases. While many languages for model …