TY - THES AU - Martín Testillano, Carlos A3 - García Merayo, Mercedes PY - 2021 UR - https://hdl.handle.net/20.500.14352/5220 AB - El testing de software es una de las principales técnicas utilizadas para validar la corrección de un sistema, y consiste en definir una serie de pruebas o tests para determinar si el sistema bajo prueba cumple la especificación. Sin embargo, no es... AB - Software testing is one of the main techniques used to validate the correctness of a system, and consists of defining a series of tests to determine whether the system under test meets the specification. However, it is not viable to define all the... LA - spa KW - Testing de máquinas de estados finitos KW - Mutation testing KW - Algoritmos genéticos KW - Algoritmos multiobjetivo KW - NSGA-II. KW - Finite state machine testing KW - Genetic algorithms KW - Multi-objective algorithms TI - Algoritmo genético multiobjetivo para selección de casos de tests T2 - Multiobjective genetic algorithm for test cases selection M3 - master thesis ER -