AIware 2026
Mon 6 - Tue 7 July 2026
Montreal, Canada
co-located with
FSE 2026
Toggle navigation
Attending
Conference Venue: Concordia SGW Campus @Downtown Montreal
Fun Activities: Montreal, Canada
Banquet Venue: FUNHUB Montreal @Downtown Montreal
FSE 2026
Registration
Accommodation
Transportation
Broadening Participation Plan
Code of Conduct
Travel and Child Care Support Grants
Visa and Travel Authorization Information for FSE 2026 and its Co-Located Events
FSE26 Exclusive Events and Activities
Program Overview
NSF Student Travel Support for FSE 2026 (US-based Students Only)
Prior to Arrival: Advance Declaration using the ArriveCan app
Poster Dimensions and Printing
Program
AIware Program
Your Program
Mon 6 Jul
Tue 7 Jul
Tracks
AIware 2026
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
FSE-AIWare Joint Competition
Keynotes
Organization
AIware 2026 Committees
Steering Committee
Organizing Committee
Track Committees
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
FSE-AIWare Joint Competition
Contributors
People Index
Search
Series
Series
AIware 2026
AIware 2025
AIware 2024
Sign in
Sign up
FSE 2026
(
series
) /
AIware 2026
(
series
) /
Concordia SGW Campus @Downtown Montreal
/
Room information: MB 2.430
Venue
Concordia SGW Campus @Downtown Montreal
Room name
MB 2.430
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
14:00 - 15:30
Tutorial 2
FSE Tutorials
at
MB 2.430
16:00 - 18:00
Tutorial 2
FSE Tutorials
at
MB 2.430
Mon 6 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
14:00 - 15:30
Tutorial 4
FSE Tutorials
at
MB 2.430
16:00 - 18:00
Tutorial 7
FSE Tutorials
at
MB 2.430
Tue 7 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
Library and Product Line
FSE Research Papers
/
FSE 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
FSE Research Papers
CHENGYUE LIU
,
Zhengzi Xu
Imperial Global Singapore
,
Kaixuan Li
Nanyang Technological University
,
Wu Jiahui
,
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
FSE 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
FSE 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
FSE 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
FSE 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
Debugging
FSE Research Papers
/
FSE Ideas, Visions and Reflections
at
MB 2.430
14:00
20m
Talk
Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
FSE 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
Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to Debug?
FSE 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
14:40
20m
Talk
A Grounded Theory of Debugging in Professional Software Engineering Practice
FSE Research Papers
Haolin Li
University of California San Diego
,
Michael Coblenz
University of California, San Diego
15:00
10m
Talk
Towards Output Directed Debugging of Finite Model Finders
FSE Ideas, Visions and Reflections
Mohammad Nurullah Patwary
The Unviersity of Texas at Arlington
,
Allison Sullivan
University of Texas at Arlington
16:00 - 17:40
Verification 1
FSE Journal-First Paper
/
FSE Research Papers
/
FSE Tool Demonstrations
/
FSE Ideas, Visions and Reflections
at
MB 2.430
16:00
10m
Talk
IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
FSE 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
FSE 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
FSE 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
20m
Talk
Satisfiability Solving with LLMs
FSE Research Papers
Leizhen Zhang
University of Louisiana at Lafayette
,
Shuhan Chen
East China Normal University
,
Sheng Chen
UL Lafayette
17:10
10m
Talk
EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
FSE 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:20
20m
Talk
Compiler Optimization-Based SMT Simplifications: An In-Depth Study
FSE 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
Requirements and Specification
FSE Research Papers
/
FSE Journal-First Paper
at
MB 2.430
10:30
20m
Talk
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
FSE 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
FSE 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
FSE 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
FSE Journal-First Paper
RONGQI PAN
University of Ottawa
,
Feifei Niu
University of Ottawa
,
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
FSE 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
From Specifications to Implementation in the Gen-AI Era: Lessons from a Project-based Software Engineering Course
FSE Research Papers
Yingying Wang
University of British Columbia
,
Masih Beigi Rizi
University of British Columbia
,
Fatemeh Khashei
University of British Columbia
,
Julia Rubin
The University of British Columbia
14:00 - 15:30
Software Test 1
FSE Research Papers
/
FSE Industry Papers
/
FSE Tool Demonstrations
at
MB 2.430
14:00
20m
Talk
IntentTester: Intent-Driven Multi-Agent Framework for Cross-Library Test Migration
FSE 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
FSE 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
FSE 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
FSE 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
Argus: A Guided and Traceable Mutation Testing Engine
FSE Tool Demonstrations
Zi Yang
University of California, Riverside
,
Zhaorui Yang
University of California, Riverside
,
Jiyuan Wang
Tulane University
,
Qian Zhang
University of California at Riverside
Thu 9 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:30
Root Cause Analysis
FSE Industry Papers
/
FSE Research Papers
/
FSE Journal-First Paper
at
MB 2.430
10:30
20m
Talk
Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
GUI Testing
FSE Research Papers
/
FSE Journal-First Paper
at
MB 2.430
14:00
20m
Talk
VLM-Fuzz: Vision Language Model Assisted Recursive Depth-First Search Exploration for Effective GUI Testing of Android Apps
FSE 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
FSE 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
FSE 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
20m
Talk
TUSR: A Test Unit–Based Framework for Repairing Obsolete GUI Test Scripts
FSE Research Papers
Shaoheng Cao
Nanjing University
,
Minxue Pan
Nanjing University
,
Xuandong Li
Nanjing University
16:00 - 17:00
Software Tests 2
FSE Journal-First Paper
/
FSE Ideas, Visions and Reflections
/
FSE Tool Demonstrations
/
FSE Research Papers
at
MB 2.430
16:00
10m
Talk
From GUI Tests to Conversational Interaction: A New Perspective on App-Specific Voice Assistants
FSE Ideas, Visions and Reflections
Xue Qin
Villanova University
,
Sumesh Surendran Letha
Villanova University
16:10
10m
Talk
Towards Reliable Testing for Machine Unlearning
FSE Ideas, Visions and Reflections
Anna Mazhar
Cornell University
,
Sainyam Galhotra
Cornell University
DOI
Pre-print
16:20
10m
Talk
Energy-Aware Test Prioritization for High-Performance Computing: A Multi-Objective Approach
FSE Ideas, Visions and Reflections
Ninad Anklesaria
Oregon State University
,
Manish Motwani
Oregon State University
16:30
10m
Talk
PYURIFY: Purifying Python Tests for Precise Fault Localization
FSE Tool Demonstrations
Marius Smytzek
CISPA Helmholtz Center for Information Security
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
16:40
20m
Talk
TestLoop: A Process Model Describing Human-in-the-Loop Software Test Suite Generation
FSE Journal-First Paper
Matthew C. Davis
Carnegie Mellon University
,
Sangheon Choi
Rose-Hulman Institute of Technology
,
Amy Wei
University of Michigan
,
Sam Estep
Carnegie Mellon University
,
Brad A. Myers
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
Link to publication
DOI
Sun 5 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
MB 2.430
FSE Tutorials
Tutorial 2
FSE Tutorials
Tutorial 2
Mon 6 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
MB 2.430
FSE Tutorials
Tutorial 4
FSE Tutorials
Tutorial 7
Tue 7 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
MB 2.430
FSE Research Papers + FSE Tool Demonstrations
Library and Product Line
FSE Research Papers + FSE Ideas, Visions and Reflections
Debugging
FSE Journal-First Paper + FSE Research Papers + FSE Tool Demonstrations + FSE Ideas, Visions and Reflections
Verification 1
Wed 8 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
MB 2.430
FSE Research Papers + FSE Journal-First Paper
Requirements and Specification
FSE Research Papers + FSE Industry Papers + FSE Tool Demonstrations
Software Test 1
Thu 9 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
MB 2.430
FSE Industry Papers + FSE Research Papers + FSE Journal-First Paper
Root Cause Analysis
FSE Research Papers + FSE Journal-First Paper
GUI Testing
FSE Journal-First Paper + FSE Ideas, Visions and Reflections + FSE Tool Demonstrations + FSE Research Papers
Software Tests 2
Tue 7 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
MB 2.430
FSE Research Papers
Understanding the Limitations of C/C++ Binary Third-Party Library Detec ...
11:00 - 11:20
FSE Research Papers
Pig: Leveraging Large Language Models for Python Library Migrations
11:20 - 11:40
FSE Research Papers
Bringing Managed Language Support to WebAssembly with External Library ...
11:40 - 12:00
FSE Tool Demonstrations
Package Dashboard: A Cross-Ecosystem Framework for Dual-Perspective Ana ...
12:00 - 12:10
FSE Research Papers
A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering ...
12:10 - 12:30
FSE Research Papers
Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
14:00 - 14:20
FSE Research Papers
Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to D ...
14:20 - 14:40
FSE Research Papers
A Grounded Theory of Debugging in Professional Software Engineering Pra ...
14:40 - 15:00
FSE Ideas, Visions and Reflections
Towards Output Directed Debugging of Finite Model Finders
15:00 - 15:10
FSE Ideas, Visions and Reflections
IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuris ...
16:00 - 16:10
FSE Research Papers
Active Learning of Symbolic Automata for Reactive Programs via Dynamic ...
16:10 - 16:30
FSE Research Papers
Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
16:30 - 16:50
FSE Research Papers
Satisfiability Solving with LLMs
16:50 - 17:10
FSE Tool Demonstrations
EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to ...
17:10 - 17:20
FSE Journal-First Paper
Compiler Optimization-Based SMT Simplifications: An In-Depth Study
17:20 - 17:40
Wed 8 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
MB 2.430
FSE Research Papers
Automated Repair of Requirements for Cyber-Physical Systems in Simulink ...
10:30 - 10:50
FSE Journal-First Paper
An empirical study on LLM-based classification of requirements-related ...
10:50 - 11:10
FSE Research Papers
Speculate: Generating REST API Specifications Using LLMs
11:10 - 11:30
FSE Journal-First Paper
Requirements Coverage-Guided Minimization for Natural Language Test Cases
11:30 - 11:50
FSE Research Papers
SpecWeaver: End-to-End HTTP API Specification Inference Across Multi-La ...
11:50 - 12:10
FSE Research Papers
From Specifications to Implementation in the Gen-AI Era: Lessons from a ...
12:10 - 12:30
FSE Research Papers
IntentTester: Intent-Driven Multi-Agent Framework for Cross-Library Tes ...
14:00 - 14:20
FSE Research Papers
Revealing Regressions: A Comparative Study of State-Capture Strategies ...
14:20 - 14:40
FSE Research Papers
TestTailor: Generating High-Coverage Tests via Path-Proximal Tests with ...
14:40 - 15:00
FSE Industry Papers
Dynamic Cogeneration of Bug Reproduction Test in Agentic Program Repair
15:00 - 15:20
FSE Tool Demonstrations
Argus: A Guided and Traceable Mutation Testing Engine
15:20 - 15:30
Thu 9 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
MB 2.430
FSE Research Papers
Rethinking the Evaluation of Microservice RCA with a Fault Propagation- ...
10:30 - 10:50
FSE Industry Papers
Bridging the Delay: Lag-Aware Spatio-Temporal Causal Inference for Micr ...
10:50 - 11:10
FSE Research Papers
TORAI: Multi-Source Root Cause Analysis for \textit{Blind Spots} in Mic ...
11:10 - 11:30
FSE Journal-First Paper
CARE: Context Aware Root Cause Identification Using Distributed Traces ...
11:30 - 11:50
FSE Research Papers
MetaRCA: A Generalizable Root Cause Analysis Framework for Cloud-Native ...
11:50 - 12:10
FSE Journal-First Paper
VLM-Fuzz: Vision Language Model Assisted Recursive Depth-First Search E ...
14:00 - 14:20
FSE Research Papers
From Suspicious Signals to Crashes: Guiding Bug-driven GUI Testing via ...
14:20 - 14:40
FSE Research Papers
WebTestPilot: Agentic End-to-End Web Testing against Natural Language S ...
14:40 - 15:00
FSE Research Papers
TUSR: A Test Unit–Based Framework for Repairing Obsolete GUI Test Scripts
15:00 - 15:20
FSE Ideas, Visions and Reflections
From GUI Tests to Conversational Interaction: A New Perspective on App- ...
16:00 - 16:10
FSE Ideas, Visions and Reflections
Towards Reliable Testing for Machine Unlearning
16:10 - 16:20
FSE Ideas, Visions and Reflections
Energy-Aware Test Prioritization for High-Performance Computing: A Mult ...
16:20 - 16:30
FSE Tool Demonstrations
PYURIFY: Purifying Python Tests for Precise Fault Localization
16:30 - 16:40
FSE Journal-First Paper
TestLoop: A Process Model Describing Human-in-the-Loop Software Test Su ...
16:40 - 17:00
x
Wed 27 May 21:17