Formal mutation testing for Circus
Alex Alberto Ana Cavalcanti; Marie-Claude Gaudel; Adenilso da Silva Simão
Information and Software Technology Amsterdam : Elsevier v. 81, p. 131-153, Jan. 2017
Amsterdam 2017
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD 2772735 )(Acessar)