TY  - JOUR
AU  - Isabel Márquez, Miguel
AU  - Gómez-Zamalloa Gil, Miguel
AU  - Porfirio Tramontana
PY  - 2021
DO  - 10.1109/ACCESS.2021.3065421
UR  - https://hdl.handle.net/20.500.14352/99066
T2  - IEEE Access
AB  - Static deadlock analyses might be able to verify the absence of deadlock. However, they are usually not able to detect its presence. Moreover, when a potential deadlock is detected, they provide little (and often no) information that can help the user...
LA  - eng
M2  - 46033
PB  - IEEE
KW  - Deadlock analysis
KW  - Deadlock detection
KW  - Symbolic execution
KW  - Testing
KW  - Test case generation
KW  - Verification
TI  - Deadlock-Guided Testing
TY  - journal article
VL  - 9
ER  -