TY  - THES
AU  - Castellanos García, Pablo
A3  - Mariño Carballo, Julio
A3  - Ballesteros González, Ignacio
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/107971
AB  - Software testing is the simplest and most widespread approach to finding bugs in computer programs, where bugs are understood as a discrepancy between the expected output of the program and its actual output. Testing has the disadvantage of requiring...
AB  - El testing es el método más sencillo y extendido para encontrar errores en programas de ordenador, entendiendo un error como una discrepancia entre la salida que se espera del programa y la salida que realmente produce éste. No obstante, el testing...
LA  - eng
KW  - Haskell
KW  - Property-Based Testing
KW  - GADTs
KW  - Dependent types
KW  - Prolog
KW  - Tipos dependientes
TI  - Automatic test-case generation for Haskell based on  dependent types
T2  - Generación automática de casos de prueba para Haskell  basada en tipos dependientes
M3  - master thesis
ER  -