@article{article7e2da137,
title   = {Formal mutation testing for Circus},
author = {Alberto, Alex and Cavalcanti, Ana and Gaudel, Marie-Claude and Simão, Adenilso da Silva},
year = {2017},
doi = {10.1016/j.infsof.2016.04.003},
journal   = {Information and Software Technology}
}