TY  - THES 
A3  - Castro Cabrera, María Carmen
A3  - García-Domínguez, Antonio
AU  - Carmona Dionisio, Gonzalo
A4  - Ingeniería Informática
PY  - 2025
UR  - http://hdl.handle.net/10498/38427
AB  - Este Trabajo de Fin de Grado se centra en el diseño y la implementación de un sistema de pruebas de mutaciones para MiniZinc, un lenguaje de programación de código abierto orientado al modelado de restricciones de alto nivel que permite expresar y...
LA  - spa
KW  - pruebas de software
KW  - pruebas de mutaciones
KW  - MiniZinc
KW  - intérprete de órdenes
KW  - programación con restricciones
TI  - MuMiniZinc: Un sistema de mutaciones para el lenguaje de programación con restricciones MiniZinc
M3  - bachelor thesis
ER  -