RT Journal Article
T1 Deadlock-Guided Testing
A1 Isabel Márquez, Miguel
A1 Gómez-Zamalloa Gil, Miguel
A2 Porfirio Tramontana, 
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 in finding the source of the anomalous behaviour. This paper proposes a testing methodology that combines static analysis and symbolic execution for effective deadlock detection in asynchronous programs. When the program features a deadlock, our testing methodology provides an effective technique to catch deadlock traces. While if the program does not have deadlock, but the static deadlock analysis inaccurately spotted it, our approach is able to prove deadlock freedom (upto the limit of the performed symbolic exploration).
PB IEEE
YR 2021
FD 2021-03-21
LK https://hdl.handle.net/20.500.14352/99066
UL https://hdl.handle.net/20.500.14352/99066
LA eng
NO M. Gómez-Zamalloa and M. Isabel, "Deadlock-Guided Testing," in IEEE Access, vol. 9, pp. 46033-46048, 2021
NO Ministerio de Ciencia, Innovación y Universidades (RTI2018-094403-B-C31)
NO Comunidad de Madrid (S2018/TCS-4314 y S2018/TCS-4339)
NO Minsterio de Educación Cultura y Deporte (FPU15/04313)
DS Docta Complutense
RD 10 abr 2025