TY  - THES
AU  - Isabel Márquez, Miguel
A3  - Albert Albiol, Elvira
A3  - Gómez-Zamalloa Gil, Miguel
PY  - 2017
UR  - https://hdl.handle.net/20.500.14352/19803
AB  - Static deadlock analyzers might be able to verify the absence of deadlock. However, they are usually not able to detect its presence. Also, when they detect a potential deadlock cycle, they provide little (or even no) information on their output. Due...
AB  - Los análisis estáticos de deadlock son, a menudo, capaces de asegurar la ausencia de bloqueos, pero cuando detectan un posible ciclo de deadlock, la información que devuelven como salida es escasa e insuficiente. Debido al complejo flujo de ejecución...
LA  - eng
KW  - Testing
KW  - Deadlock detection
KW  - Symbolic execution
KW  - Test case generation
KW  - Verifcation
KW  - Deadlock analysis
KW  - Detección de deadlocks
KW  - Ejecucicón simbólica
KW  - Generación de casos de prueba
KW  - Verificación
KW  - Análisis de deadlock
TI  - Deadlock-Guided Testing in CLP
M3  - master thesis
ER  -