Automatic Generation of Test Cases from Formal Specifications using Mutation Testing. - Román Jaramillo Cajica; Raul Ernesto Gonzalez-Torres; Pedro Mejía-Alvarez (CCE, 2021)