Mutation Testing

An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing

Teaching software testing can be challenging due to low student interest, high cognitive load, and lack of alignment with industry needs. Previous research has attempted to address …

Model-based mutant equivalence detection using automata language equivalence and simulations

Mutation analysis is a popular technique for assessing the strength of test suites. It relies on the mutation score, which indicates their fault-revealing potential. Yet, there are …

Towards Security-aware Mutation Testing

Mutation analysis forms a popular software analysis technique that has been demonstrated to be useful in supporting multiple software engineering activities. Yet, the use of …

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Featured model-based mutation analysis

Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization technique that drastically speeds up the mutant …

A Variability Perspective of Mutation Analysis

Mutation testing is an effective technique for either improving or generating fault-finding test suites. It creates defective or incorrect program artifacts of the program under …