ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Mon 17 Nov 2025 16:10 - 16:20 at Grand Hall 2 - Bug Understanding 2

Multi-fault programs, where more than one bug exists at the same time, are notoriously hard to debug and repair. This is largely because faults can interact in subtle ways: one might hide the effects of another, or even cause new failures to appear when combined. In this paper, we investigate why multi-fault programs remain so challenging for today’s debugging and repair tools. We introduce a formal model that captures the different ways faults can interact, including masking, synergy, and cascading. Building on this model, we propose a novel framework for reasoning about faults, not in isolation, but as part of a network of influences. This perspective opens the door for future tools that can better understand, diagnose, and repair programs with multiple faults.

This program is tentative and subject to change.

Mon 17 Nov

Displayed time zone: Seoul change

16:00 - 17:00
Bug Understanding 2Industry Showcase / NIER Track at Grand Hall 2
16:00
10m
Talk
A Characterization Study of Bugs in LLM Agent Workflow Orchestration Frameworks
Industry Showcase
Ziluo Xue Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Kai Chen Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
16:10
10m
Talk
Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging and Repair Tools
NIER Track
Omar I. Al-Bataineh Gran Sasso Science Institute (GSSI)
16:20
10m
Talk
ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
Industry Showcase
Junsong Pu School of Software Engineering, Sun Yat-sen University, Yichen LI ByteDance, Zhuangbin Chen Sun Yat-sen University, Jinyang Liu ByteDance, Zhihan Jiang The Chinese University of Hong Kong, Jianjun Chen Bytedance, Rui Shi Bytedance, Zibin Zheng Sun Yat-sen University, Tieying Zhang ByteDance
16:30
10m
Talk
Fault Injection for Simulink-based CPS Models: Insights and Future Directions
NIER Track
Drishti Yadav University of Luxembourg, Luxembourg, Claudio Mandrioli University of Luxembourg, Ezio Bartocci TU Wien, Domenico Bianculli University of Luxembourg
16:40
10m
Talk
How Does ChatGPT Make Assumptions When Creating Erroneous Programs?
NIER Track
Sadia Jahan University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
16:50
10m
Talk
Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Tasks
NIER Track
Ruofan Lu The Chinese University of Hong Kong, Yichen LI ByteDance, Yintong Huo Singapore Management University, Singapore