Claudia Raibulet, Michele Pugno. Exploring Static Analysis for Understanding Self-Adaptive Systems. In Domenico Bianculli, Hassan Sartaj, Vasilios Andrikopoulos, Cesare Pautasso, Tommi Mikkonen, Jennifer Pérez, Tomás Bures, Martina de Sanctis, Henry Muccini, Elena Navarro 0001, Mohamed Soliman, Uwe Zdun, editors, Software Architecture. ECSA 2025 Tracks and Workshops - Limassol, Cyprus, September 15-19, 2025, Proceedings. Volume 15982 of Lecture Notes in Computer Science, pages 295-310, Springer, 2025. [doi]
Abstract is missing.