Formal mutation testing for Circus
Alex Alberto
Formal mutation testing for Circus Alex Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão - 2017 - pages 131-153, January - Information and software technology 81: .
CJ0030
Mutation Testing
Formal mutation testing for Circus Alex Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão - 2017 - pages 131-153, January - Information and software technology 81: .
CJ0030
Mutation Testing