TY  - THES
AU  - Garrido Canalejas, Miguel
A3  - Peña Marí, Ricardo
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/20615
AB  - La plataforma de validación CAVI-ART nos ofrece una representación intermedia de cualquier función escrita en diferentes lenguajes de programación, que incluye su código, su precondición y su postcondición. Sobre dicha función deseamos realizar...
AB  - The validation platform CAVI-ART offers us an intermediate representation for any function written in different languages, including its precondition, its code and its postcondition. We want to do testing of those functions.The goal of this work...
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  - Constraints generator
KW  - Constraints solving
KW  - Data structures
TI  - Generación de casos de prueba tipo caja negra mediante restricciones
M3  - bachelor thesis
ER  -