FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
VenueClarion Hotel Trondheim
Room nameAurora B
Floor0
Capacity98
Room InformationNo extra information available

Information for Participants
Info for room Aurora B:

Aurora B is the second room in the Aurora wing.

When facing the main Cosmos Hall, access to the Aurora wing is on the right, close to the side entrance of the hotel.

Program

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

Mon 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:20
Bug DetectionResearch Papers / Industry Papers / Demonstrations / Journal First at Aurora B
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
10:30
20m
Talk
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
Journal First
Vikram Nitin Columbia University, Anne Mulhern Red Hat Inc, Sanjay Arora Red Hat Inc, Baishakhi Ray Columbia University
10:50
10m
Talk
SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software
Demonstrations
Boxiang Wang Beijing Sunwise Information Technology Ltd, Chao Li Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Sheng Wang Beijing Sunwise Information Technology Ltd, Chunpeng Jia Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology
11:00
20m
Talk
dl²: Detecting Communication Deadlocks in Deep Learning Jobs
Industry Papers
Yanjie Gao Microsoft Research, Jiyu Luo University of Science and Technology of China, Haoxiang Lin Microsoft Research, Hongyu Zhang Chongqing University, Ming Wu Zero Gravity Labs, Mao Yang Microsoft Research
DOI Pre-print
11:20
20m
Talk
Detecting Metadata-Related Bugs in Enterprise Applications
Research Papers
Md Mahir Asef Kabir Virginia Tech, Xiaoyin Wang University of Texas at San Antonio, Na Meng Virginia Tech
DOI
11:40
20m
Talk
ROSCallBaX: Statically Detecting Inconsistencies In Callback Function Setup of Robotic Systems
Research Papers
Sayali Kate Purdue University, Yifei Gao Purdue University, Shiwei Feng Purdue University, Xiangyu Zhang Purdue University
DOI
12:00
20m
Talk
Enhancing Web Accessibility: Automated Detection of Issues with Generative AI
Research Papers
Ziyao He University of California, Irvine, Syed Fatiul Huq University of California, Irvine, Sam Malek University of California at Irvine
DOI
14:00 - 15:20
Testing 1Journal First / Industry Papers / Research Papers at Aurora B
Chair(s): Jialun Cao Hong Kong University of Science and Technology
14:00
20m
Talk
Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge: Feasibility, Challenges, and Road Ahead
Research Papers
Yanqi Su Australian National University, Zhenchang Xing CSIRO's Data61, Chong Wang Nanyang Technological University, Chunyang Chen TU Munich, Xiwei (Sherry) Xu Data61, CSIRO, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61
DOI
14:20
20m
Talk
Automated Test Case Repair Using Language Models
Journal First
Ahmadreza Saboor Yaraghi University of Ottawa, Darren Holden Carleton University, Nafiseh Kahani Carleton University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:40
20m
Talk
TestGPT-Server: Automatically Testing Microservices with Large Language Models at ByteDance
Industry Papers
Jue Wang ByteDance, Shuxiang Chen ByteDance, Yu Liu ByteDance, Yuan Deng ByteDance, Lei Zhang ByteDance, Yuanchang Fu ByteDance, Bo Liu ByteDance
15:00
20m
Talk
LTM: Scalable and Black-Box Similarity-Based Test Suite Minimization Based on Language Models
Journal First
RONGQI PAN University of Ottawa, Taher A Ghaleb Trent University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
16:00 - 18:00
16:00
20m
Talk
On Refining the SZZ Algorithm with Bug Discussion Data
Journal First
Pooja Rani University of Zurich, Fernando Petrulio University of Zurich, Alberto Bacchelli University of Zurich
16:20
20m
Talk
SemBIC: Semantic-aware Identification of Bug-inducing Commits
Research Papers
Xiao Chen The Hong Kong University of Science and Technology, Hengcheng Zhu The Hong Kong University of Science and Technology, Jialun Cao Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology
DOI
16:40
20m
Talk
Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel
Journal First
Yunbo Lyu Singapore Management University, Hong Jin Kang University of Sydney, Ratnadira Widyasari Singapore Management University, Singapore, Julia Lawall Inria, David Lo Singapore Management University
17:00
10m
Talk
HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States
Ideas, Visions and Reflections
Roham Koohestani Delft University of Technology, Maliheh Izadi Delft University of Technology
17:10
10m
Talk
LLMs for Defect Prediction in Evolving Datasets: Emerging Results and Future Directions
Ideas, Visions and Reflections
Umamaheswara Sharma B National Institute of Technology, Calicut, Farhan Chonari National Institute of Technology Calicut, Gokul K Anilkumar National Institute of Technology Calicut, Saikiran Konchada National Institute of Technology Calicut
17:20
20m
Talk
ROSE LCOM Tools
Industry Papers
Kenneth Lamar University of Central Florida, Peter Pirkelbauer Lawrence Livermore National Laboratory, Zachary Painter University of Central Florida, Damian Dechev University of Central Florida

Tue 24 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30
SecurityJournal First / Research Papers / Industry Papers at Aurora B
Chair(s): Zhenchang Xing CSIRO’s Data61; Australian National University
10:30
20m
Talk
Come for Syntax, Stay for Speed, Write Secure Code: An Empirical Study of Security Weaknesses in Julia Programs
Journal First
Yue Zhang Auburn University, Justin Murphy Tennessee Tech University, Akond Rahman Auburn University
10:50
20m
Talk
AIM: Automated Input Set Minimization for Metamorphic Security Testing
Journal First
Nazanin Bayati Chaleshtari University of Ottawa, Yoann Marquer University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
11:10
20m
Talk
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation
Research Papers
Yuan Li Zhejiang University, Peisen Yao Zhejiang University, Kan Yu Ant Group, Chengpeng Wang Hong Kong University of Science and Technology, Yaoyang Ye Zhejiang University, Song Li The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Meng Luo The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Yepang Liu Southern University of Science and Technology, Kui Ren Zhejiang University
DOI
11:30
20m
Talk
Efficient and Robust Security-Patch Localization for Disclosed OSS Vulnerabilities with Fine-Tuned LLMs in an Industrial Setting
Industry Papers
Dezhi Ran Peking University, Lin Li Huawei Cloud Computing Technologies Co., Ltd., Liuchuan Zhu Huawei Cloud Computing Technologies Co., Ltd., Yuan Cao Peking University, Landelong Zhao Peking University, Xin Tan Beihang University, Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
11:50
20m
Talk
It’s Acting Odd! Exploring Equivocal Behaviors of Goodware
Research Papers
Gregorio Dalia University of Sannio, Andrea Di Sorbo University of Sannio, Corrado A. Visaggio University of Sannio, Italy, Gerardo Canfora University of Sannio
DOI
12:10
20m
Talk
On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations
Research Papers
Yuteng Sun The Chinese University of Hong Kong, Joyanta Debnath Stony Brook University, Wenzheng Hong Independent, Omar Chowdhury Stony Brook University, Sze Yiu Chau The Chinese University of Hong Kong
DOI
14:00 - 15:30
14:00
20m
Talk
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
Journal First
Ruijie Meng National University of Singapore, Singapore, Thuan Pham University of Melbourne, Marcel Böhme MPI for Security and Privacy, Abhik Roychoudhury National University of Singapore
14:20
20m
Talk
My Fuzzers Won’t Build: An Empirical Study of Fuzzing Build Failures
Journal First
Olivier Nourry The University of Osaka, Yutaro Kashiwa Nara Institute of Science and Technology, Weiyi Shang University of Waterloo, Honglin Shu Kyushu University, Yasutaka Kamei Kyushu University
14:40
20m
Talk
Directed Testing in MLIR: Unleashing Its Potential by Overcoming the Limitations of Random Fuzzing
Research Papers
Weiyuan Tong Northwest University, Zixu Wang Northwest University, Zhanyong Tang Northwest University, Jianbin Fang National University of Defense Technology, Yuqun Zhang Southern University of Science and Technology, Guixin Ye Northwest University
DOI
15:00
10m
Talk
GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows
Ideas, Visions and Reflections
Jorge Barredo IKERLAN, Mondragon Unibertsitatea, Justyna Petke University College London, David Clark University College London, Daniel Blackwell University College London, Maialen Eceiza IKERLAN, Jose Luis Flores University of the Basque Country UPV/EHU, Mikel Iturbe Mondragon Unibertsitatea
15:10
20m
Talk
Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community
Industry Papers
Jiazhao Yu Sun Yat-sen University, Yanlun Tu Ant Group, Zhanlei Zhang Macquaire University, TIEHUA ZHANG Tongji University, Cheng Xu Ant Group, Weigang Wu Sun Yat-sen University, Hong Jin Kang University of Sydney, Xi Zheng Macquarie University
16:00 - 17:40
Failure and FaultDemonstrations / Research Papers / Ideas, Visions and Reflections / Journal First at Aurora B
Chair(s): Lars Grunske Humboldt-Universität zu Berlin
16:00
10m
Talk
AgentFM: Role-Aware Failure Management for Distributed Databases with LLM-Driven Multi-Agents
Ideas, Visions and Reflections
Lingzhe Zhang Peking University, China, Yunpeng Zhai Alibaba Group, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Xiaosong Huang Peking University, Chiming Duan Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
16:10
20m
Talk
ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement
Research Papers
Tanakorn Leesatapornwongsa Microsoft Research, Fazle Faisal Microsoft Research, Suman Nath Microsoft Research
DOI
16:30
20m
Talk
Improving Graph Learning-Based Fault Localization with Tailored Semi-Supervised Learning
Research Papers
Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li , Minxue Pan Nanjing University, Xuandong Li Nanjing University
DOI
16:50
20m
Talk
Towards Understanding Docker Build Faults in Practice: Symptoms, Root Causes, and Fix Patterns
Research Papers
Yiwen Wu National University of Defense Technology, Yang Zhang National University of Defense Technology, China, Tao Wang National University of Defense Technology, Bo Ding National University of Defense Technology, Huaimin Wang
DOI
17:10
20m
Talk
One Sentence Can Kill the Bug: Auto-replay Mobile App Crashes from One-sentence Overviews
Journal First
Yuchao Huang , Junjie Wang Institute of Software at Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Mingyang Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Wang York University, Chunyang Chen TU Munich, Yuanzhe Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
17:30
10m
Talk
Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems
Demonstrations
Meriel von Stein University of Virginia, Yili Bai University of Virginia, Trey Woodlief University of Virginia, United States, Sebastian Elbaum University of Virginia

Thu 26 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 18:00
Artifact Evaluations for Stronger Research ResultsTutorials at Aurora B

Over the past decades, reports of reproducibility crises have surfaced in various scientific communities. Independent confirmations of published research results failed, casting doubt about the validity of these results. Even before the magnitude of the problem has become apparent in many domains, the software-engineering community introduced artifact evaluations, for the first time at ESEC/FSE 2011, in which research artifacts that support published results were voluntarily submitted for peer review. Since then, artifact evaluations have become immensely popular and are today being offered to authors at most software-engineering venues, where large artifact-evaluation committees handle large numbers of artifact submissions.

To make sure that this enormous effort from our community to (a) create and (b) assess research artifacts is well-spent, knowledge and insights from successful and unsuccessful artifact-evaluation practices as well as publishing implications need to be conserved and shared with prospective participants, i.e., authors, reviewers, and organizers. Based on insights from empirical studies about artifact evaluations in the software-engineering community, from running artifact evaluations at different conferences, and from publishing experience at Conference Publishing Consulting, this tutorial presents an overview what artifact evaluations are and how they are conducted, along with known pitfalls and established best practices to overcome them. The presented insights will be accompanied by a hands-on training session on artifact evaluation using published research artifacts. The tutorial targets prospective artifact-evaluation organizers and reviewers as well as researchers wishing to improve the utility of the research artifacts they create.

Speakers:

Participant Requirements: Working laptop with Internet access

Material:

Duration: 180 minutes

Time plan:

  • 14:00 - 15:30 Presentation
  • 15:30 - 16:00 Coffee break
  • 16:00 - 18:00 Hands-on session

Thu 26 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Aurora B

Mon 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Aurora B

Tue 24 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Aurora B