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 -