Albert Albiol, Elvira MaríaIsabel Márquez, MiguelGómez-Zamalloa Gil, Miguel2024-02-052024-02-052017Albert, E., Gómez-Zamalloa, M., Isabel, M. (2018). Generation of Initial Contexts for Effective Deadlock Detection. In: Fioravanti, F., Gallagher, J. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2017. Lecture Notes in Computer Science(), vol 10855. Springer, Cham978-3-319-94459-310.1007/978-3-319-94460-9_1https://hdl.handle.net/20.500.14352/99036It 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 are obtained, and (ii) can also prove deadlock freedom. Such symbolic execution starts from an initial distributed context, i.e., a set of locations and their initial tasks. Considering all possibilities results in a combinatorial explosion on the different distributed contexts that must be considered. This paper proposes a technique to effectively generate initial contexts that can lead to deadlock, using the possible conflicting task interactions identified by static analysis, discarding other distributed contexts that cannot lead to deadlock. The proposed technique has been integrated in the above-mentioned deadlock detection framework hence enabling it to analyze systems without the need of any user supplied initial context.engAttribution-NonCommercial-ShareAlike 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-sa/4.0/conference paperhttps://doi.org/10.1007/978-3-319-94460-9_1restricted accessLenguajes de programación1203.23 Lenguajes de Programación