TY  - THES
AU  - Benito Parejo, Miguel
A3  - García Merayo, Mercedes
A3  - Núñez García, Manuel
PY  - 2019
UR  - https://hdl.handle.net/20.500.14352/14358
AB  - It is unaffordable to apply all the possible tests to an implementation in order to assess its correctness. Therefore, it is necessary to select relatively small subsets of tests that an detect as many faults as possible. In this paper we propose...
AB  - Habitualmente no se pueden aplicar todas las posibles pruebas (tests) a una implementación para comprobar su corrección. Por ello, es necesario seleccionar subconjuntos de pruebas relativamente pequeños que permitan detectar el mayor número de errores...
LA  - eng
KW  - Genetic algorithms
KW  - Testing Finite State Machines
KW  - Mutation testing
KW  - Formal methods
KW  - Algoritmos genéticos
KW  - Testing de máquinas de estados finitos
KW  - Métodos formales
TI  - Selection of tests for finite state machines
M3  - master thesis
ER  -