RT Conference Proceedings
T1 Combining Static Analysis and Testing for Deadlock Detection
A1 Albert Albiol, Elvira María
A1 Isabel Márquez, Miguel
A1 Gómez-Zamalloa Gil, Miguel
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 to the complex flow of concurrent programs, the user might not be able to find the source of the anomalous behaviour from the abstract information computed by static analysis. This paper proposes the combined use of static analysis and testing for effective deadlock detection in asynchronous programs.When the program features a deadlock, our combined use of analysis and testing provides an effective technique to catch deadlock traces. While if the program does not have deadlock, but the analyzer inaccurately spotted it, we might prove deadlock freedom.
YR 2016
FD 2016
LK https://hdl.handle.net/20.500.14352/99051
UL https://hdl.handle.net/20.500.14352/99051
LA eng
NO Elvira Albert, Miguel Gómez-Zamalloa, and Miguel Isabel. 2016. Combining Static Analysis and Testing for Deadlock Detection. In Proceedings of the 12th International Conference on Integrated Formal Methods - Volume 9681 (IFM 2016). Springer-Verlag, Berlin, Heidelberg, 409–424.
DS Docta Complutense
RD 18 abr 2025