TY  - GEN
AU  - Antolín García, Clara
AU  - Giraldo García, Carlos Gabriel
AU  - Peces Muñoz, Raquel
A4  - Gómez-Zamalloa Gil, Miguel
PY  - 2014
UR  - https://hdl.handle.net/20.500.14352/36273
AB  - En este proyecto se estudia y desarrolla una herramienta basada en depuración simbólica que permite conocer el funcionamiento de programas informáticos sin ser ejecutados en base a observar todas sus posibles ramas de ejecución (hasta un cierto...
AB  - This project studies and develops a tool based on symbolic debugging that allows reasoning about programs behavior statically, i.e., without being executed, by means of observing all possible branches of execution (up to a level) and their...
LA  - spa
KW  - Ejecución simbólica
KW  - Ramas de ejecución
KW  - C++
KW  - XML
KW  - Depuración
KW  - Valor simbólico
KW  - Symbolic execution
KW  - Execution branches
KW  - Debugging
KW  - Symbolic value
TI  - SymC++: un depurador simbólico para C++
TY  - coursework
ER  -