SANER 2026
Tue 17 - Fri 20 March 2026 Limassol, Cyprus

This program is tentative and subject to change.

An assurance case is a structured hierarchy of claims aiming at demonstrating that a mission-critical system supports specific requirements (e.g., safety, security, privacy). The presence of assurance weakeners (i.e., assurance deficits, logical fallacies) in assurance cases reflects insufficient evidence, knowledge, or gaps in reasoning. These weakeners can undermine confidence in assurance arguments, potentially hindering the verification of mission-critical system capabilities which could result in catastrophic outcomes (e.g., loss of lives). We report the first comprehensive systematic mapping study on assurance weakeners. We followed the well-established PRISMA 2020 and SEGRESS guidelines to conduct our systematic mapping study, searching for primary studies in five digital libraries and focusing on the 2012–2023 publication year range. Our selection criteria focused on studies addressing assurance weakeners from a qualitative standpoint, resulting in the inclusion of 39 primary studies. Our systematic mapping study reports a taxonomy (map) that provides a uniform categorization of assurance weakeners and approaches proposed to manage them from a qualitative perspective. The taxonomy classifies weakeners in four categories: aleatory, epistemic, ontological, and argument uncertainty. Additionally, it classifies approaches supporting the management of weakeners in three main categories: representation, identification, and mitigation approaches. Our study findings suggest that the SACM (Structured Assurance Case Metamodel), —a standard specified by the OMG (Object Management Group)—, offers a comprehensive range of capabilities to capture structured arguments and reason about their potential assurance weakeners. Our findings also suggest novel assurance weakener management approaches should be proposed to better assure mission-critical systems.

This program is tentative and subject to change.

Fri 20 Mar

Displayed time zone: Athens change

14:00 - 15:30
14:00
12m
Talk
A PRISMA-driven Systematic Mapping Study on System Assurance Weakeners
Journal First Track
Kimya Khakzad Shahandashti York University, Alvine Boaye Belle York University, Timothy Lethbridge University of Ottawa, Oluwafemi Odu York University, Mithila Sivakumar University of Ottawa
14:12
12m
Talk
A Bug is Being Born: How Close Are We? A Time Sensitive Forecasting Approach
Registered Report Track
Mikel Robredo University of Oulu, Matteo Esposito University of Oulu, Fabio Palomba University of Salerno, Rafael Peñaloza University of Milano-Bicocca, Valentina Lenarduzzi University of Southern Denmark and University of Oulu
14:25
12m
Talk
Newcomers’ experiences during debugging: A cognitive inclusivity perspective using GenderMag
Journal First Track
Faith Culas University of Auckland, Amisha Singh University of Auckland, Atharva Arankalle University of Auckland, Priyanka Dhopade University of Auckland, Kelly Blincoe University of Auckland
14:38
12m
Talk
Ranking Guidance Actions to Support Engineers in Fulfilling Process Constraints
Journal First Track
Anmol Bilal Johannes Kepler University, Christoph Mayr-Dorn Johannes Kepler University, Linz, Alexander Egyed Johannes Kepler University Linz
14:51
12m
Talk
Question Answering for Multi-Release Systems: A Case Study at Ciena
Industrial Track
Parham Khamsepour , Mark Cole , Ish Ashraf , Sandeep Puri , Mehrdad Sabetzadeh University of Ottawa, Shiva Nejati University of Ottawa
Pre-print
15:04
12m
Talk
Revealing Reversed Causal Effects in Bug-Fix Delays: A LiNGAM-Based Comparison between OSS and Enterprise Systems
Early Research Achievement (ERA) Track
Ryo Masuda Hitachi, Ltd., Takahiro Kinoshita Hitachi, Ltd., Hideyuki Kanuka Hitachi, Ltd., Sien Reeve O. Peralta Waseda University, Hironori Washizaki Waseda University, Masanari Kondo Kyushu University
15:17
12m
Talk
PRECOG: Pull Request Priorization and Visualization
Tool Demo Track
Hugo Raskin University of Namur, Xavier Devroey University of Namur, Benoît Vanderose University of Namur
Pre-print Media Attached