TY  - THES
AU  - Sagredo Tamayo, Javier
A3  - Peña Marí, Ricardo
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/15123
AB  - La plataforma CAVI-ART para la verificación automática de programas ofrece numerosas herramientas para el análisis de los mismos entre las que encontramos un generador de casos de prueba. El método seguido por el mismo se asemeja bastante a la fuerza...
AB  - The CAVI-ART platform for assisted program validation offers a set of tools for analyzing code among which we find a test-case generator. The actual method followed by this tool is quite similar to bruteforce and so, it wastes resources and time.The...
LA  - spa
KW  - Pruebas de ejecución
KW  - Resolutores SMT
KW  - Generador de restricciones
KW  - Resolución de restricciones
KW  - Estructuras de datos
KW  - Testing
KW  - SMT solvers
KW  - Restrictions generator
KW  - Restrictions solving
KW  - Data structures
TI  - Generación de casos de prueba de caja blanca mediante restricciones
M3  - bachelor thesis
ER  -