Bosque Romero, Juan and López Morales, José María (2020) Mutation testing from Finite State Machines. [Trabajo Fin de Grado]