TY  - THES
AU  - Bosque Romero, Juan
AU  - López Morales, José María
A3  - Núñez García, Manuel
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/10242
AB  - A finite state machine (FSM) is a mathematical model of computation defined by a finite list of states, inputs and outputs, in which outputs are not only determined by the last input but also by the current state, and so by past inputs. A mutant of a...
AB  - Una máquina de estados finita (FSM) es un modelo matemático de computación definido por una lista finita de estados, datos de entrada y datos de salida, en el cual los datos de salida no están determinados unívocamente por el último dato de entrada...
LA  - eng
KW  - Finite state machines
KW  - Mutation testing
KW  - Development of tools
KW  - Conformance.
KW  - Máquinas de estados finitas
KW  - Prueba de mutaciones
KW  - Desarrollo de herramientas
KW  - Conformidad.
TI  - Mutation testing from Finite State Machines
M3  - bachelor thesis
ER  -