FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
VenueClarion Hotel Trondheim
Room nameAndromeda
Floor0
Capacity100
Room InformationNo extra information available

Information for Participants
Info for room Andromeda:

Andromeda is located close to the restaurant and the bar, at the end of the corridor on the side of the bar.

From the registration desk, go towards the restaurant, turn left towards the bar, walk until the end of the corridor.

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:30
RE and DesignResearch Papers / Demonstrations / Journal First / Industry Papers at Andromeda
Chair(s): Ipek Ozkaya Carnegie Mellon University
10:30
10m
Talk
PF2UML:A Tool for Problem-Oriented Requirements Modeling and Transformation
Demonstrations
Hongbin Xiao Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Zhi Li Guangxi Normal University, Yilong Yang Beihang University, Fei Tang Huawei Technologies Co., Ltd, Dongming Jin Peking University, China
Media Attached
10:40
10m
Talk
DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool
Demonstrations
Ruixin Geng Beihang University, Jiahao Weng Beihang University, Ning Ge School of Software, Beihang University, Jingyao Li Beihang University, Chunming Hu Beihang University
10:50
20m
Talk
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
Research Papers
Xiaoli Lian Beihang University, China, Shuaisong Wang Beihang University, Hanyu Zou Beihang University, Fang Liu Beihang University, Jiajun Wu Beihang University, Li Zhang Beihang University
DOI
11:10
10m
Talk
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements
Demonstrations
Aurora Francesca Zanenga University of Bergamo, Bergamo, Italy, Nunzio Marco Bisceglia University of Bergamo, Bergamo, Italy, Benedetta Ippoliti University of Bergamo, Bergamo, Italy, Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo, Akshay Rajhans Mathworks, Claudio Menghi University of Bergamo; McMaster University
11:20
20m
Talk
Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software
Industry Papers
Longxing Yang Beijing Institute of Control Engineering, Yixing Luo Beijing Institute of Control Engineering, Hao Gao Beijing Institute of Control Engineering, Yingshuang Fan Beijing Institute of Control Engineering, Jingru Zhang Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Xiaogang Dong Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Zhi Jin Peking University, Mengfei Yang China Academy of Space Technology
11:40
20m
Talk
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
Journal First
Márton Elekes Budapest University of Technology and Economics, Vince Molnár Budapest University of Technology and Economics, Zoltán Micskei Budapest University of Technology and Economics
Link to publication DOI Pre-print
12:00
10m
Talk
Merlin-A: A tool to engineer adaptive modelling languages
Demonstrations
Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print Media Attached
12:10
20m
Talk
Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers
Research Papers
Md Rashedul Hasan University of Nebraska-Lincoln, Mohammad Rashedul Hasan University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln
DOI Pre-print File Attached
14:00 - 15:30
LoggingResearch Papers / Journal First at Andromeda
Chair(s): Domenico Bianculli University of Luxembourg
14:00
20m
Talk
No More Labelled Examples? An Unsupervised Log Parser with LLMs
Research Papers
Junjie Huang The Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Michael Lyu Chinese University of Hong Kong
DOI
14:20
20m
Talk
Exploring the Effectiveness of LLMs in Automated Logging Statement Generation: An Empirical Study
Journal First
Yichen LI The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Zhihan Jiang The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Yuxin Su Sun Yat-sen University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Michael Lyu Chinese University of Hong Kong
14:40
20m
Talk
Protecting Privacy in Software Logs: What Should be Anonymized?
Research Papers
Roozbeh Aghili Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh Polytechnique Montréal
DOI
16:00 - 18:00
RepairsResearch Papers / Journal First at Andromeda
Chair(s): Michael Pradel University of Stuttgart
16:00
20m
Talk
HornBro: Homotopy-like Method for Automated Quantum Program Repair
Research Papers
Siwei Tan Zhejiang University, Liqiang Lu Zhejiang University, Debin Xiang Zhejiang University, Tianyao Chu Zhejiang University, Congliang Lang Zhejiang University, Jintao Chen Zhejiang University, Xing Hu Zhejiang University, Jianwei Yin Zhejiang University
DOI
16:20
20m
Talk
RePurr: Automated Repair of Block-Based Learners' Programs
Research Papers
Sebastian Schweikl University of Passau, Gordon Fraser University of Passau
DOI
16:40
20m
Talk
Demystifying Memorization in LLM-based Program Repair via a General Hypothesis Testing Framework
Research Papers
Jiaolong Kong Singapore Management University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University
DOI
17:00
20m
Talk
IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models
Research Papers
Sayem Mohammad Imtiaz Iowa State University, Astha Singh Dept. of Computer Science, Iowa State University, Fraol Batole Tulane University, Hridesh Rajan Tulane University
DOI
17:20
20m
Talk
Repairs and Breaks Prediction for Deep Neural Networks
Journal First
Yuta Ishimoto Kyushu University, Masanari Kondo Kyushu University, Lei Ma The University of Tokyo & University of Alberta, Naoyasu Ubayashi Waseda University, Yasutaka Kamei Kyushu University
17:40
20m
Talk
Element-Based Automated DNN Repair with Fine-Tuned Masked Language Model
Research Papers
Xu Wang Beihang University; Zhongguancun Laboratory; Ministry of Education, Mingming Zhang Beihang University, Xiangxin Meng Beihang University, Jian Zhang Nanyang Technological University, Yang Liu Nanyang Technological University, Chunming Hu Beihang University
DOI

Tue 24 Jun

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

10:30 - 12:30
Architecture, Services, and CloudIndustry Papers / Demonstrations / Research Papers / Ideas, Visions and Reflections at Andromeda
Chair(s): Paris Avgeriou University of Groningen, The Netherlands
10:30
10m
Talk
Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design
Ideas, Visions and Reflections
Yiran Zhang , Ruiyin Li Wuhan University, China; University of Groningen, The Netherlands, Peng Liang Wuhan University, China, Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University
10:40
10m
Talk
Designing for Scalability: Building a Universal Serverless Messaging Architecture with Apache RocketMQ
Industry Papers
Juntao Ji Alibaba Cloud Computing Co. Ltd., Yubao Fu Alibaba Cloud Computing Co. Ltd., Rongtong Jin Alibaba Cloud Computing Co. Ltd., Qingshan Lin Alibaba Cloud Computing Co. Ltd.
10:50
20m
Talk
A Multimodal Intelligent Change Assessment Framework for Microservice Systems Based on Large Language Models
Industry Papers
Yongqian Sun Nankai University, zhengtinghua Nankai university, Xidao Wen BizSeer, Weihua Kuang Nankai university, Heng Liu CHINA TIANCHEN ENGINEERING CORPORATION LTD., Shenglin Zhang Nankai University, Chao Shen Nankai University, Bo Wu Tencent Technologies, Dan Pei Tsinghua University
11:10
20m
Talk
TracePicker: Optimization-based Trace Sampling for Microservice-based Systems
Research Papers
Shuaiyu Xie School of Computer Science, Wuhan University, China, Jian Wang Wuhan University, Maodong Li School of Computer Science, Wuhan University, China, Peiran Chen School of Computer Science, Wuhan University, China, Jifeng Xuan Wuhan University, Bing Li Wuhan University
DOI
11:30
10m
Talk
Analyzing Evolution of Microservice-based Systems
Demonstrations
Tomas Cerny University of Arizona, Gabriel Goulis University of Arizona, Samanta Perry University of Arizona, Malia Edmonds University of Arizona, Amr Elsayed The University of Arizona, Matteo Esposito University of Oulu, Alexander Bakhtin University of Oulu, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu
11:40
20m
Talk
SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation
Industry Papers
Yong Wang Beihang University, Ning Ge School of Software, Beihang University, Jingyao Li Beihang University, Loulin Wang Beihang University, Guangyu Zhou Huawei, Chengrui Deng Huawei, Li Zhang Beihang University, Chunming Hu Beihang University
12:00
10m
Talk
CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
Demonstrations
Sarah Sohana Rogers Communications Canada Inc., Toronto, Canada, William Pourmajidi Toronto Metropolitan University, Toronto, Canada, John Steinbacher IBM, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)
DOI Pre-print
12:10
20m
Talk
Te-PID: An Adaptive Erasure Coding Temperature Management System for Optimized Cloud Storage
Industry Papers
Pei Xiao Peking University, Lu Wang Microsoft Research, Fangkai Yang Microsoft Research, Guoqing Geng Microsoft, Haoran Li Microsoft, Jeff Zhu Microsoft, Yu Kang Microsoft Research, Yifan Li Microsoft, Terry Chen Microsoft, Yue Chen Microsoft, Saravan Rajmohan Microsoft 365, Qi Zhang Microsoft
14:00 - 15:30
14:00
10m
Talk
ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps
Industry Papers
Qichao Kong ByteDance, Zhengwei Lv ByteDance, Yiheng Xiong East China Normal University, Jingling Sun University of Electronic Science and Technology of China, Ting Su East China Normal University, Dingchun Wang ByteDance Ltd, Beijing, China, Letao Li ByteDance Ltd, Beijing, China, Xu Yang ByteDance, Gang Huo ByteDance
14:10
20m
Talk
Standing on the Shoulders of Giants: Bug-Aware Automated GUI Testing via Retrieval Augmentation
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 University of Chinese Academy of Sciences, Beijing, China, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
DOI
14:30
20m
Talk
A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings
Research Papers
Shaoheng Cao Nanjing University, Renyi Chen Samsung Electronics(China)R&D Centre, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Minxue Pan Nanjing University, Xuandong Li Nanjing University
DOI
14:50
20m
Talk
Non-Flaky and Nearly-Optimal Time-based Treatment of Asynchronous Wait Web Tests
Journal First
yu pei , Jeongju Sohn Kyungpook National University, Sarra Habchi Ubisoft Montréal, Mike Papadakis University of Luxembourg
15:10
20m
Talk
LLMDroid: Enhancing Automated Mobile App GUI Testing Coverage with Large Language Model Guidance
Research Papers
Chenxu Wang Huazhong University of Science and Technology, Tianming Liu Monash Univerisity, Yanjie Zhao Huazhong University of Science and Technology, Minghui Yang OPPO, Haoyu Wang Huazhong University of Science and Technology
DOI

Wed 25 Jun

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

11:00 - 12:30
Opening, Keynote, and Job TalksDoctoral Symposium at Andromeda
11:00
15m
Day opening
Opening Remarks
Doctoral Symposium
Andreas Zeller CISPA Helmholtz Center for Information Security, Federica Sarro University College London, Jie M. Zhang King's College London, Darko Marinov University of Illinois at Urbana-Champaign
11:15
45m
Keynote
Research and Impact in Academia and Industry
Doctoral Symposium
Mark Harman Meta Platforms, Inc. and UCL
12:00
15m
Talk
Job Talk #1: Search-based Software Testing Driven by Domain Knowledge
Doctoral Symposium
Federico Formica McMaster University
12:15
15m
Talk
Job Talk #2: Regression Fault Detection and Mitigation in the Evolution of Deep Learning Systems
Doctoral Symposium
Hanmo You Tianjin University
14:00 - 15:30
Lightning Talks and Poster SessionDoctoral Symposium at Andromeda
Chair(s): Jie M. Zhang King's College London
14:00
90m
Doctoral symposium paper
Towards Privacy-Preserving Code Generation: Understanding and Mitigating Memorization in Code Large Language Models
Doctoral Symposium
Melih Catal University of Zurich
14:00
90m
Doctoral symposium paper
Reversing Programs for Error Reachability Analysis
Doctoral Symposium
Adéla Štěpková Masaryk University
14:00
90m
Doctoral symposium paper
Automated Vulnerability-Focused Code Reviews
Doctoral Symposium
Leonardo Centellas Computer Science Department, Pontificia Universidad Catolica de Chile
14:00
90m
Doctoral symposium paper
On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective
Doctoral Symposium
Haonan Zhang University of Waterloo
14:00
90m
Doctoral symposium paper
Co-Intelligence in Software Engineering: Understanding and Optimizing GenAI Integration in Software Engineering for Skill Development in Time-Constrained Programming
Doctoral Symposium
Omkar Joshi Indian Institute of Technology Bombay
14:00
90m
Doctoral symposium paper
Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages
Doctoral Symposium
Tina Masoudi PhD student
14:00
90m
Doctoral symposium paper
Enhancing Large Language Model Integration in Integrated Development Environments
Doctoral Symposium
Daniele Cipollone Delft University of Technology, Netherlands
14:00
90m
Doctoral symposium paper
Towards More Interpretable Large Language Models for Code
Doctoral Symposium
14:00
90m
Doctoral symposium paper
Formal Liability Apportionment in Autonomous Systems
Doctoral Symposium
Kaveh Aryan King's College London
14:00
90m
Doctoral symposium paper
Fine-Grained Developer Reification
Doctoral Symposium
Stefano Campanella REVEAL @ Software Institute - USI, Lugano, Switzerland
14:00
90m
Doctoral symposium paper
End-to-End Testing Gamification: A Novel Approach to the Verification and Validation of Web and Mobile Applications
Doctoral Symposium
Lorenzo Laudadio Politecnico di Torino
14:00
90m
Doctoral symposium paper
Research Open-Source Software: supporting small communities with technical and social aspects
Doctoral Symposium
Lavinia Francesca Paganini Eindhoven University of Technology
14:00
90m
Doctoral symposium paper
Generating Code Tours Using Locally-Runnable LLMs
Doctoral Symposium
Martin Balfroid University of Namur
14:00
90m
Doctoral symposium paper
When Performance Failure Occurs in Low-Latency Storage Systems: Observation, Prediction, and Solutions
Doctoral Symposium
Linxiao Bai National University of Defense Technology
14:00
90m
Doctoral symposium paper
Mediating between Human Programmers and Integrated Development Environments using LLM-based Agents
Doctoral Symposium
Ziyou Li Delft University of Technology
14:00
90m
Doctoral symposium paper
Automating the conformity assessment of Cyber-Physical Systems software
Doctoral Symposium
Guillaume Nguyen University of Namur
14:00
90m
Doctoral symposium paper
Securing Language Models Against Vulnerability Encoding
Doctoral Symposium
Rui Melo University of Porto
16:00 - 18:00
Q&A and Break Out SessionsDoctoral Symposium at Andromeda
16:00
60m
Live Q&A
Ask Me Anything
Doctoral Symposium

17:00
60m
Meeting
Break Out Sessions
Doctoral Symposium

Thu 26 Jun

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

09:00 - 10:30
Opening and Keynote2030 Software Engineering at Andromeda
Chair(s): Abhik Roychoudhury National University of Singapore
09:00
15m
Talk
Opening Remarks
2030 Software Engineering

09:15
15m
Talk
Introduction and Presentation of TOSEM Outstanding Paper (TOP) Award
2030 Software Engineering

09:30
60m
Talk
Keynote by TOP award winner Haipeng Cai
2030 Software Engineering

File Attached
11:00 - 13:00
Lightning presentations by Authors2030 Software Engineering at Andromeda
Chair(s): Abhik Roychoudhury National University of Singapore
11:00
90m
Talk
Lightning presentations by Authors
2030 Software Engineering

13:00 - 14:00
TOSEM Editorial Board MeetingMeetings at Andromeda
13:00
60m
Meeting
TOSEM Editorial Board Meeting
Meetings

14:00 - 15:30
2024 Roadmap Revisited2030 Software Engineering at Andromeda
Chair(s): Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca and CIT Constructor Institute of Technology
14:00
90m
Talk
From Observation to Insight
2030 Software Engineering

16:00 - 18:00
Setting the Scene2030 Software Engineering at Andromeda
Chair(s): Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca and CIT Constructor Institute of Technology
16:00
2h
Talk
Shared Concerns and Emerging Commitments
2030 Software Engineering

Fri 27 Jun

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

09:00 - 10:30
Session 12030 Software Engineering at Andromeda
Chair(s): Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca and CIT Constructor Institute of Technology
09:00
90m
Talk
Talks on Future of Software Engineering
2030 Software Engineering

11:00 - 13:00
11:00
90m
Talk
Implications and Consequeces of Future
2030 Software Engineering

14:00 - 15:30
14:00
90m
Talk
Fishbowl discussions
2030 Software Engineering

16:00 - 18:00
16:00
90m
Talk
Summarization of workshop discussions by workshop chairs
2030 Software Engineering

Mon 23 Jun

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

Wed 25 Jun

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

Fri 27 Jun

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

Mon 23 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Andromeda

Tue 24 Jun

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

Wed 25 Jun

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Andromeda

Fri 27 Jun

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