TY  - THES
AU  - Cilleros Garrudo, Alejandro
A3  - Peña Marí, Ricardo
A3  - Sánchez Hernández, Jaime
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/10251
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 dos generadores de casos de prueba. Ninguno de ellos permite la generación de estos...
AB  - The CAVI-ART platform for assisted program validation offers a set of tools for analyzing them, including two test case generators. None of them allow the generation of these cases automatically, having to interact manually to get them. The aim of...
LA  - spa
KW  - Pruebas de ejecución
KW  - Resolutores SMT
KW  - Generador de restricciones
KW  - Resolución de restricciones
KW  - Estructuras de datos
KW  - Casos de caja blanca
KW  - Casos de caja negra
KW  - Validador de casos de prueba.
KW  - Testing
KW  - SMT solvers
KW  - Constraints generator
KW  - Constraints solving
KW  - Data structures
KW  - White box cases
KW  - Black box cases
KW  - Test case validator.
TI  - Sistema integrado de testing basado en asertos
T2  - Assertion-based integrated testing system
M3  - bachelor thesis
ER  -