Formal mutation testing for Circus - Alberto, Alex; Cavalcanti, Ana; Gaudel, Marie-Claude; Simão, Adenilso da Silva (Information and Software Technology, 2017)