Résultat majeur : FORMAL MUTATION TESTING FOR CIRCUS
FORMAL MUTATION TESTING FOR CIRCUS 21 avril 2016
Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao
Journal of Information and Software Technology
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
