Albert Albiol, Elvira MaríaIsabel Márquez, MiguelGómez-Zamalloa Gil, Miguel2024-02-052024-02-052016Elvira 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.10.1007/978-3-319-33693-0_26https://hdl.handle.net/20.500.14352/99051Static 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.engAttribution-NonCommercial-ShareAlike 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-sa/4.0/conference paperhttps:///doi.org/10.1007/978-3-319-33693-0_26restricted accessLenguajes de programación1203.23 Lenguajes de Programación