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 …

Mutation testing is a fault-based testing technique that validates the effectiveness of a test
suite by generating simulated defects in the system under test. In mutation testing, from a …

This paper presents a technique for automatic generation of tests for robotic systems based
on a domain-specific notation called RoboChart. This is a UML-like diagrammatic notation …

Model transformations are used to automate model manipulation in Model-Driven
Engineering (MDE). In particular, model-to-model transformations produce target models …

Model‐driven engineering is an increasingly prevalent approach in software engineering
where models are the primary artifacts throughout a project's life cycle. A growing form of …

Defining appropriate integrity constraints (ICs) for the domain model of a software system is
a complex and error-prone task. Both over-constraining and under-constraining the …

Mutation testing is a well-established approach for evaluating test-suite quality by modifying
code using syntax-changing (and potentially semantics-changing) transformations, called …

Mutation testing is a fault-based software testing technique for checking the effectiveness of
a test suite through artificial defects. The mutation testing produces a satisfaction score …

While modern software development technologies enhance the capabilities of model-
based/driven development, they introduce challenges for testers such as how to perform …