TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Isabel Márquez, Miguel
AU  - Gómez-Zamalloa Gil, Miguel
PY  - 2017
DO  - 10.1007/978-3-319-94460-9_1
SN  - 978-3-319-94459-3
UR  - https://hdl.handle.net/20.500.14352/99036
AB  - It has been recently proposed that testing based on symbolic execution can be used in conjunction with static deadlock analysis to define a deadlock detection framework that: (i) can show deadlock presence, in that case a concrete test-case and trace...
LA  - eng
M2  - 3
TI  - Generation of Initial Contexts for Effective Deadlock Detection
TY  - conference paper
ER  -