We present a formal definition for fault-based test sets, extending the Circus
testing theory, and an extensive study of mutation operators for Circus. Using these
results, we propose an approach to generate tests to kill mutants.
Journal title: Information and Software Technology
Accepted manuscript (unedited version) available online: 21-APR-2016
DOI information: 10.1016/j.infsof.2016.04.003
° GAUDEL Marie-Claude