FSE 2026
Sun 5 - Thu 9 July 2026 Montreal, Canada
VenueConcordia SGW Campus @Downtown Montreal
Room nameMB 2.430
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 5 Jul

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Tutorial 1Tutorials at MB 2.430

Introduction to Causal Inference for Software Engineering

Speakers

  • Julien Siebert (Fraunhofer Institute for Experimental Software Engineering)
  • Julian Frattini (Chalmers University of Technology and University of Gothenburg)
  • Hans-Martin Heyn (University of Gothenburg and Chalmers University of Technology)
  • Roberto Pietrantuono (University of Naples Federico II)

Duration (mins): 90
Type: Tutorial

14:00 - 15:30
Tutorial 2Tutorials at MB 2.430

Generating Test Inputs and Interactions with the Fandango Fuzzer

Speakers

  • Jose Antonio Zamudio Amaya (CISPA Helmholtz Center for Information Security)
  • Alexander Liggesmeyer (CISPA Helmholtz Center for Information Security)
  • Marius Smytzek (CISPA Helmholtz Center for Information Security)
  • Andreas Zeller (CISPA Helmholtz Center for Information Security)

Duration (mins): 180
Type: Tutorial

16:00 - 18:00
Tutorial 2Tutorials at MB 2.430

Mon 6 Jul

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Tutorial 4Tutorials at MB 2.430

Monitoring and Diagnosing Software Energy

Speakers

  • Adel Noureddine (Sorbonne University; CNRS; LIP6; University Paris Nanterre)

Duration (mins): 90
Type: Tutorial

16:00 - 18:00
Tutorial 7Tutorials at MB 2.430

Scaling Code Assistants Without Retraining with Model Merging: Capability Fusion & Sustainable Adaptation

Speaker

  • Fatemeh Hendijani Fard (University of British Columbia)
  • Ali Ouni ETS (Montreal; University of Quebec)

Duration (mins): 90
Type: Tech. Breiefing

Tue 7 Jul

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Library and Product LineResearch Papers / Tool Demonstrations at MB 2.430
11:00
20m
Talk
Understanding the Limitations of C/C++ Binary Third-Party Library Detection Tool: An Empirical Study at Scale
Research Papers
CHENGYUE LIU , Zhengzi Xu Imperial Global Singapore, Kaixuan Li Nanyang Technological University, Wu Jiahui Nanyang Technological University, Singapore, Sihao Qiu Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Siyang Xiong Desay SV Automotive Singapore Pte. Ltd., Yang Xiao Chinese Academy of Sciences, Yang Liu Nanyang Technological University
11:20
20m
Talk
Pig: Leveraging Large Language Models for Python Library Migrations
Research Papers
Miryeong Kang Korea University, Wonseok Oh Korea University, Gabin An Korea University, Hakjoo Oh Korea University
11:40
20m
Talk
Bringing Managed Language Support to WebAssembly with External Library Linking
Research Papers
Shuyao Jiang The Chinese University of Hong Kong, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University, Michael Lyu The Chinese University of Hong Kong
12:00
10m
Talk
Package Dashboard: A Cross-Ecosystem Framework for Dual-Perspective Analysis of Software Packages
Tool Demonstrations
Ziheng Liu Peking University, Runzhi He Peking University, Minghui Zhou Peking University
12:10
20m
Talk
A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering Arrays in Configurable Software Systems
Research Papers
Kaichen Chen South China University of Technology, Yi Xiang South China University of Technology, Haining Wang South China University of Technology, Jiatong Ma South China University of Technology, Fujian Feng Guizhou Minzu University, Miqing Li University of Birmingham, Han Huang Sun Yat-Sen University
14:00 - 15:10
14:00
20m
Talk
Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
Research Papers
Jiahong Xiang Southern University of Science and Technology, Xiaoyang Xu Southern University of Science and Technology, Xiaopan Chu Southern University of Science and Technology, Hongliang Tian Ant Group, Yuqun Zhang Southern University of Science and Technology
14:20
20m
Talk
Two-Level Adaptation for Budget-Constrained Continuous Dynamic Dependence Analysis
Research Papers
Xiaoqin Fu Washington State University, Haipeng Cai University at Buffalo, SUNY
14:40
20m
Talk
Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to Debug?
Research Papers
Kunyi Li Zhejiang University, China, Sai Wu Zhejiang University, Xiu Tang Zhejiang University, Chang Yao Zhejiang University, Songhao Bu Zhejiang University, Quanqing Xu OceanBase, Ant Group, Gang Chen Zhejiang University
15:00
20m
Talk
A Grounded Theory of Debugging in Professional Software Engineering Practice
Research Papers
Haolin Li University of California San Diego, Michael Coblenz University of California, San Diego
15:20
10m
Talk
Towards Output Directed Debugging of Finite Model Finders
Ideas, Visions and Reflections
Mohammad Nurullah Patwary The Unviersity of Texas at Arlington, Allison Sullivan University of Texas at Arlington
16:00 - 17:40
16:00
10m
Talk
IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
Ideas, Visions and Reflections
Zixuan Yuan Xidian University, Bin Yu Xidian University, Xu Lu Xidian University, WenSheng Wang Xidian University, Yuanzhe Liu Xidian University, Cheng Wen Xidian University, Meng Wang Hebei university, Chu Chen Qufu Normal University
16:10
20m
Talk
Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
Research Papers
Yoel Kim Kyungpook National University, Yunja Choi Kyungpook National University
DOI Pre-print
16:30
20m
Talk
Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
Research Papers
Zengyu Liu National University of Defense Technology, Bai Xue Institute of Software at Chinese Academy of Sciences, China, Pengfei Yang College of Computer and Information Science, Software College, Southwest University, Ji Wang National University of Defense Technology
16:50
10m
Talk
EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
Tool Demonstrations
Jiaying Zhu The Chinese University of Hong Kong, Baoqi Zhang National Center of Technology Innovation for EDA, Mengxia Tao National Center of Technology Innovation for EDA, Kezhi Li The Chinese University of Hong Kong, Hao Yan Central South University, Xu, Qiang , Min Li Southeast University
17:00
20m
Talk
Compiler Optimization-Based SMT Simplifications: An In-Depth Study
Journal-First Paper
Hanyun Jiang The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Peisen Yao Zhejiang University, Jiachen Lu The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Yongwang Zhao The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Kui Ren The State Key Laboratory of Blockchain and Data Security, Zhejiang University

Wed 8 Jul

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:30
Requirement and SpecificationResearch Papers / Journal-First Paper at MB 2.430
10:30
20m
Talk
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Research Papers
Aren Babikian University of Toronto, Alessio Di Sandro University of Toronto, Federico Formica McMaster University, Claudio Menghi University of Bergamo; McMaster University, Marsha Chechik University of Toronto
10:50
20m
Talk
An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations
Journal-First Paper
Shabnam Hassani University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Daniel Amyot University of Ottawa
11:10
20m
Talk
Speculate: Generating REST API Specifications Using LLMs
Research Papers
Krishanu Singh IIT Delhi, Kushagra Karar IIT Delhi, Abhilash Jindal IIT Delhi, India, Guowei Yang University of Queensland
11:30
20m
Talk
Requirements Coverage-Guided Minimization for Natural Language Test Cases
Journal-First Paper
RONGQI PAN University of Ottawa, Feifei Niu Graz University of Technology, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Hanyang Hu Company A
11:50
20m
Talk
SpecWeaver: End-to-End HTTP API Specification Inference Across Multi-Layer Routing in Production Web Services
Research Papers
Wenbo Hu Institute of Information Engineering at Chinese Academy of Sciences, Jie Lu SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Jingting Chen Institute of Information Engineering, Chinese Academy of Sciences, Feng Li Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Xiaonan Shi Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Jinchen Wang Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences
12:10
20m
Talk
CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
Research Papers
Tobias Kiecker Humboldt-Universität zu Berlin, Jan Arne Sparka Humboldt-Universität zu Berlin, Martin Reuter Humboldt-Universität zu Berlin, Albert Ziegler XBow, Lars Grunske Humboldt-Universität zu Berlin
14:00 - 15:30
14:00
20m
Talk
IntentTester: Intent-Driven Multi-Agent Framework for Cross-Library Test Migration
Research Papers
Yi Gao Zhejiang University, Ziyuan Zhang Zhejiang University, Xing Hu Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University
14:20
20m
Talk
Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior
Research Papers
Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine
14:40
20m
Talk
TestTailor: Generating High-Coverage Tests via Path-Proximal Tests with LLMs
Research Papers
Xiaoxuan Zhou Northeastern University, Yiling Lou University of Illinois at Urbana-Champaign, Jinhao Dong Peking University, Dan Hao Peking University
15:00
20m
Talk
Dynamic Cogeneration of Bug Reproduction Test in Agentic Program Repair
Industry Papers
Sam Cheng Google, Michele Tufano Google, José Pablo Cambronero Google, USA, Renyao Wei Google, Sherry Shi Google, Grant Uy Google, Patrick Rondon Google, Franjo Ivančić Google
15:20
10m
Talk
Energy-Aware Test Prioritization for High-Performance Computing: A Multi-Objective Approach
Ideas, Visions and Reflections
Ninad Anklesaria Oregon State University, Manish Motwani Oregon State University
16:00 - 17:00
Broadening Participation panel/round tableBroadening Participation Panel/Round Table at MB 2.430

Thu 9 Jul

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:30
10:30
20m
Talk
Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
Research Papers
Aoyang Fang Chinese University of Hong Kong, Shenzhen, Songhan Zhang The Chinese University of Hong Kong, Shenzhen, Yifan Yang , Haotong Wu The Chinese University of Hong Kong, Shenzhen, Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Xuyang Wang The Chinese University of Hong Kong, Shenzhen, Rui Wang The Chinese University of Hong Kong, Shenzhen, Manyi Wang The Chinese University of Hong Kong, Shenzhen, Qisheng Lu The Chinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen
10:50
20m
Talk
Bridging the Delay: Lag-Aware Spatio-Temporal Causal Inference for Microservice Root Cause Analysis
Industry Papers
Shenglin Zhang Nankai University, Junhua Kuang Nankai University, Yimeng Zhang Nankai University, Sibo Xia Nankai University, Jintao Feng Nankai University, Jingyu Wang Nanjing University, Wenwei Gu Nankai University, Yongqian Sun Nankai University, Wei Li Alibaba Group, Liping Zhang Alibaba Group, Dan Pei Tsinghua University
11:10
20m
Talk
TORAI: Multi-Source Root Cause Analysis for \textit{Blind Spots} in Microservice Service Call Graph
Research Papers
Luan Pham University of New South Wales, Australia, Huong Ha RMIT University, Xiuzhen Zhang RMIT University, Hongyu Zhang Chongqing University
11:30
20m
Talk
CARE: Context Aware Root Cause Identification Using Distributed Traces and Profiling Metrics
Journal-First Paper
Mahsa Panahandeh Postdoctoral Fellow, School of Electrical Engineering and Computer Science, University of Ottawa, Naser Ezzati Jivan , Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada, James Miller Department of Electrical and Computer Engineering, University of Alberta, Edmonton, AB, Canada
11:50
20m
Talk
MetaRCA: A Generalizable Root Cause Analysis Framework for Cloud-Native Systems Powered by Meta Causal Knowledge
Research Papers
Shuai Liang Sun Yat-sen University; China Unicom Software Research Institute: Beijing, CN, Pengfei Chen Sun Yat-sen University, Bozhe Tian China Unicom Software Research Institute: Beijing, CN, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Maohong Xu China Unicom Software Research Institute: Beijing, CN, Youjun Qu China Unicom Software Research Institute: Beijing, CN, Yahui Zhao China Unicom Software Research Institute: Beijing, CN, Yiduo Shang China Unicom Software Research Institute: Beijing, CN, Chongkang Tan Individual Researcher
14:00 - 15:20
14:00
20m
Talk
VLM-Fuzz: Vision Language Model Assisted Recursive Depth-First Search Exploration for Effective GUI Testing of Android Apps
Journal-First Paper
Biniam Fisseha Demissie Technology Innovation Institute, Abu Dhabi, UAE, Yan Naing Tun Singapore Management University, Lwin Khin Shar Singapore Management University, Mariano Ceccato University of Verona
14:20
20m
Talk
From Suspicious Signals to Crashes: Guiding Bug-driven GUI Testing via Code-inspired Tracing
Research Papers
Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Boyu Wu Institute of Software at Chinese Academy of Sciences, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
14:40
20m
Talk
WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
Research Papers
Xiwen Teoh National University of Singapore, Yun Lin Shanghai Jiao Tong University, Duc-Minh Nguyen Shanghai Jiao Tong University, Ruofei Ren Shanghai Jiao Tong University, Wenjie Zhang National University of Singapore, Jin Song Dong National University of Singapore
15:00
10m
Talk
From GUI Tests to Conversational Interaction: A New Perspective on App-Specific Voice Assistants
Ideas, Visions and Reflections
Xue Qin Villanova University, Sumesh Surendran Letha Villanova University
15:10
20m
Talk
TUSR: A Test Unit–Based Framework for Repairing Obsolete GUI Test Scripts
Research Papers
Shaoheng Cao Nanjing University, Minxue Pan Nanjing University, Xuandong Li Nanjing University
16:00 - 17:00
Software Tests 2Research Papers at MB 2.430

Sun 5 Jul

Displayed time zone: Eastern Time (US & Canada) change

Room11:003012:003013:003014:003015:003016:003017:0030
MB 2.430

Mon 6 Jul

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
MB 2.430

Tue 7 Jul

Displayed time zone: Eastern Time (US & Canada) change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
MB 2.430