TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Isabel Márquez, Miguel
AU  - Gómez-Zamalloa Gil, Miguel
PY  - 2016
DO  - 10.1007/978-3-319-33693-0_26
UR  - https://hdl.handle.net/20.500.14352/99051
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...
LA  - eng
M2  - 409
TI  - Combining Static Analysis and Testing for Deadlock Detection
TY  - conference paper
ER  -