Fault insertion based techniques have been used for measuring test adequacy and
testability of programs. Mutation analysis inserts faults into a program with the goal of …

As discrete simulation software gets easier to use it is tempting to assume that modelling
also gets easier, unfortunately this is not the case. This paper suggests some simple …

Although mutation has been empirically found to be effective in detecting faults, it often
imposes unacceptable demands on computing and human resources because of the large …

Context: The programming language ecosystem has diversified over the last few decades.
Non-trivial programs are likely to be written in more than a single language to take …

A benefit of model‐driven engineering relies on the automatic generation of artefacts from
high‐level models through intermediary levels using model transformations. In such a …

Abstract Since Mutation Testing was proposed in the 1970s, it has been considered as an
effective technique of software testing process for evaluating the quality of the test data. In …

Background: Testing is an essential activity in safety-critical software development, following
high standards in terms of code coverage. Mutation testing allows assessing the …

Computer security professionals and researchers do not have a history of sharing and
analyzing computer vulnerability information. Scientists and engineers from older or more …

Although mutation analysis is important for various software analysis tasks, there exist few
practical mutation tools for C programs. We have developed MUSIC (MUtation analySIs tool …

Mutation analysis evaluates the quality of a test suite based on its ability to reveal simple
faults, termed mutations, injected in the program under test. Unfortunately, the need to …