TY  - THES
AU  - Isabel Márquez, Miguel
A3  - Albert Albiol, Elvira
A3  - Gómez-Zamalloa Gil, Miguel
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/37019
AB  - Static deadlock analyzers might be able to verify the absence of deadlock, but when they detect a potential deadlock cycle, they provide little (or even none) information on their output. Due to the complex ow of concurrent programs, the user might...
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  - Deadlock cycle constraint
KW  - Deadlock analysis
KW  - Guided testing
KW  - Abstract cycle
KW  - Deadlock detection
KW  - Waiting interval
KW  - Deadlock chain
KW  - Interleaving table
KW  - Restricciones de ciclo de deadlock
KW  - Análisis de deadlock
KW  - Testing guiado
KW  - Ciclo abstracto
KW  - Detección de deadlocks
KW  - Intervalo de espera
KW  - Cadena de deadlock
KW  - Tabla de entrelazados
TI  - Techniques to improve testing scalability on concurrent programs: combining static analysis and testing for Deadlock detection
M3  - bachelor thesis
ER  -