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 …

Abstract Model-based mutation testing has the potential to effectively drive test generation to
reveal faults in software systems. However, it faces a typical efficiency issue since it could …

Mutation testing relies on the principle of artificially injecting faults in systems to create
mutants, in order to either assess the sensitivity of existing test suites, or generate test cases …

Mutation Testing (MT) is a test quality assessment technique that creates mutants by
injecting artificial faults into the system and evaluating the ability of tests to distinguish these …

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 …

Mutation testing can effectively drive test generation to reveal faults in software systems.
However, it faces a typical efficiency issue as it can produce many mutants that are …

In active learning, an equivalence oracle is supposed to answer whether a hypothesis
model is equivalent to the system under learning. Its implementation in real applications is …

Model-based mutation testing is a fault-based technique for generating effective test suites.
Given a formal model of a system and a set of slightly altered variants of the model …

We present a model-based mutation testing approach, for evaluating the authentication and
authorization of web services in a multi-user context. Model of a web service and its security …

Testing of complex software systems often needs the execution of thousand of tests cases to
find errors in the code and to ensure high integrity systems. Hence, it requires the testing …