ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Fri 17 Apr 2026 15:00 - 15:15 at Oceania X - Dependability and Security 10 Chair(s): Triet Le

Chaos engineering reveals resilience risks but is expensive and operationally risky to run broadly and often. Model-based analyses can estimate dependability, yet in practice they are tricky to build and keep current because models are typically handcrafted. We claim that a simple connectivity-only topological model—just the service-dependency graph plus replica counts—can provide fast, low-risk availability estimates under fail-stop faults. To make this claim practical without hand-built models, we introduce model discovery: an automated step that can run in CI/CD or as an observability-platform capability, synthesizing an explicit, analyzable model from artifacts teams already have (e.g., distributed traces, service-mesh telemetry, configs/manifests)—providing an accessible gateway for teams to begin resilience testing. As a proof by instance on the DeathStarBench Social Network, we extract the dependency graph from Jaeger and estimate availability across two deployment modes and five failure rates. The discovered model closely tracks live fault-injection results; with replication, median error at mid-range failure rates is near zero, while no-replication shows signed biases consistent with excluded mechanisms. These results create two opportunities: first, to triage and reduce the scope of expensive chaos experiments in advance, and second, to generate real-time signals on the system’s resilience posture as its topology evolves, preserving live validation for the most critical or ambiguous scenarios.

Paper (242500a121.pdf)528KiB

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

14:00 - 15:30
Dependability and Security 10Journal-first Papers / New Ideas and Emerging Results (NIER) / Research Track at Oceania X
Chair(s): Triet Le Adelaide University
14:00
15m
Talk
When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety
Journal-first Papers
Sajad Khatiri Università della Svizzera italiana and University of Bern, Fatemeh Mohammadi Amin Zurich University of Applied Sciences (ZHAW), Sebastiano Panichella University of Bern, Paolo Tonella USI Lugano
14:15
15m
Talk
Structural Causal World Models: Towards An Assurance Framework for Safety-Critical Systems and Safeguarded AI
New Ideas and Emerging Results (NIER)
Jie Zou Centre for Assuring Autonomy, University of York, UK, Simon Burton Centre for Assuring Autonomy, University of York, UK, Radu Calinescu University of York, UK, Ioannis Stefanakos University of York, Roger Rivett University of York
14:30
15m
Talk
Towards Verifiably Safe Tool Use for LLM Agents
New Ideas and Emerging Results (NIER)
Aarya Doshi Georgia Institute of Technology, Yining Hong Carnegie Mellon University, Congying Xu The Hong Kong University of Science and Technology, China, Eunsuk Kang Carnegie Mellon University, Alexandros Kapravelos NCSU, Christian Kästner Carnegie Mellon University
14:45
15m
Talk
A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles
Journal-first Papers
Masoud Jamshidiyan Tehrani Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, ROSMAEL ZIDANE LEKEUFACK FOULEFACK University of Trento, Alessandro Marchetto Università di Trento, Paolo Tonella USI Lugano
15:00
15m
Talk
Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos EngineeringVirtual AttendanceDistinguished Paper Award
New Ideas and Emerging Results (NIER)
Anatoly Krasnovsky Department of Computer Science and Engineering, Innopolis University; MB3R Lab, 420500, Innopolis, Russia
DOI Pre-print Media Attached File Attached
15:15
15m
Talk
Learning From Software Failures: A Case Study at a National Space Research Center
Research Track
Dharun Anandayuvaraj Purdue University, Tanmay Singla Purdue University, Zain Alabedin Haj Hammadeh German Aerospace Center (DLR), Andreas Lund German Aerospace Center (DLR), Alexandra Holloway Jet Propulsion Laboratory (JPL), James C. Davis Purdue University
DOI Pre-print