Program - FSE 2025

Mon 23 - Fri 27 June 2025 Trondheim, Norway

Detailed Table Column Timeline Session Timeline Detailed Timeline

Get Calendar (iCal)

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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 programSpecify a time band

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

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

Fri 20 Jun

Atmosphere (Restaurant)

9:00

9:20

Keynote 1: Towards End-User Intention Driven IoT Application Programming

9:40

10:00

10:20

Coffee Break

10:40

11:00

Keynote 2: Coding with the Machine: Promises and Perils in AI-Driven Software Engineering

11:20

11:40

12:00

Towards understanding the security issues of Python programs

Hongcheng Fan, di liu, Jielun Wu, Yang Feng, Qingkai Shi, Baowen Xu

A Novel LLM Approach of Cybersecurity Threat Analysis and Response

TIAN HU, Shangyuan Zhuang, zhaorui Guo, Jiyan Sun, Yinlong Liu, Wei Ma, Hongchao Wang, zhaolingfeng, zhangxiaojie

12:20

Measuring and Explaining the Effects of Android App Transformations in Online Malware Detection

Guozhu Meng, Zhixiu Guo, Xiaodong Zhang, Haoyu Wang, Kai Chen, Yang Liu

12:40

Leveraging Visible Widget Sizes for Detecting Repackaged Android Apps

Jun Ma, Weixiang Huang, Chun Cao

13:00

13:20

13:40

14:00

Code Retrieval with Mixture of Experts Prototype Learning Based on Classification

Feng Ling, Guoheng Huang, Jingchao Wang, Xiaochen Yuan, Xuhang Chen, XueYong Zhang, Fanlong Zhang, Chi-Man Pun

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation

Yanzhen Zou, Xianlin Zhao, Xinglu Pan, Bing Xie

14:20

CodeCleaner: Mitigating Data Contamination for LLM Benchmarking

Jialun Cao, Songqiang Chen, Wuqi Zhang, Hau Ching Lo, Yeting Li, Shing-Chi Cheung

14:40

LASER：Script Execution by Autonomous Agents for On-demand Traffic Simulation

Hao Gao, Jingyue Wang, Wenyang Fang, Jingwei Xu, Yunpeng Huang, Taolue Chen, Xiaoxing Ma

15:00

Tech-ASan: Two-stage check for Address Sanitizer

Yixuan Cao, Yuhong Feng, Huafeng Li, Chongyi Huang, Fangcao Jian, Haoran Li, Xu Wang

15:20

Coffee Break

15:40

16:00

SRLRF: Fine-Grained Root Cause Analysis and Prediction for Compiler Optimization Defects

Han Luo, Yixuan Tang, Jingxuan Zhang, Xuanyan Zhu, Jiayi Li, Weiqin Zou, Jiaqi Liu

Revisit the Intuition of Mutation-Based Fault Localization in Real-world Programs

Chenliang Xing, Gong Chen, Qi Xin, Xiaoyuan Xie

16:20

Emerging Compiler Testing Based on Test Case Reuse

Kelin Zhu, Yu Wang, Linzhang Wang, Xuandong Li

16:40

UITrans: Seamless UI Translation from Android to HarmonyOS

Lina Gong, Chen Wang, Di Cui, Yujun Huang, Mingqiang Wei

Best Tool Demo Award

17:00

XR4PD: Augmented Reality for Visualising Problem Diagrams in Requirements Analysis

Yang Hua, Hongbin Xiao, Wenhao Wang, Zhi Li

Cluster-Based Multi-Objective Metamorphic Test Case Pair Selection for Deep Neural Networks

Jingling Wang, Shuwei Qiu, Peng Wang, Jiyuan Song, Huayao Wu, Xintao Niu, Changhai Nie

17:20

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

Sat 21 Jun

Atmosphere (Restaurant)

8:20

Keynote 3: AutoCodeRover: from research on agentic AI-based Programming to Spinoff Acquisition

Abhik Roychoudhury

8:40

9:00

9:20

Keynote 4: Active Inference for Distributed Intelligence in the Computing Continuum Image

Schahram Dustdar

9:40

10:00

10:20

Coffee Break

10:40

11:00

Take Kernel Stack Overhead Out: eBPF-Enhanced Network Acceleration for Distributed Training within Ethernet

Zhenyu Zhang, Pengfei Chen, Guangba Yu, Zilong He, Xiaoyun Li

Brevity is the Soul of Wit: Condensing Code Changes to Improve Commit Message Generation

Hongyu Kuang, Ning Zhang, Hui Gao, Xin Zhou, Wesley Assunção, Xiaoxing Ma, Dong Shao, Guoping Rong, He Zhang

Exploiting Booster Pass Chain for Compiler Phase Ordering

yihan chen, Huanhuan Chen, Yuan Yao, Ping Yu, Feng Xu, Xiaoxing Ma

DesDD: A Design-Enabled Framework with Dual-Layer Debugging for LLM-based Iterative API Orchestrating

Zhuo Cheng, Zhou Zou, Qing Huang, Zhenchang Xing, Wei Zhang, Shaochen Wang, Xueting Yi, Huan Jin, Zhiping Liu, Zhaojin Lu

11:20

DeFS: A Decentralized and High-Performance File System for Consortium Systems

Yitong Cheng, Shenglong Zhao, Yang Yu, Zhichao Hua

AUCAD: Automated Construction of Alignment Dataset from Log-Related Issues for Enhancing LLM-based Log Generation

Hao Zhang, Dongjun Yu, Lei Zhang, Guoping Rong, YongdaYu , Haifeng Shen, He Zhang, Dong Shao, Hongyu Kuang

11:40

Proteus: An Automatical High-Efficiency Framework for Generating Compact and Printable Shellcode on ARMv8

Jian Lin, Guoan Liu, Rui Chang, Ruimin Wang

Enhancement Report Approval Prediction: A Comparative Study of Large Language Models

Haosheng Zuo, Feifei Niu, Chuanyi Li

12:00

Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection

Fengjuan Gao, Mumu Zhang, Zixiao Zhao, Yu Wang, Xuandong Li

MetaCoder: Generating Code from Multiple Perspectives

chen xin, Zhijie Jiang, Yong Guo, Zhouyang Jia, Si Zheng, Yuanliang Zhang, Shanshan Li

RABBIT: Managing Hierarchical Memory with Intelligent Tiering Aware Deduplication

Zilu Yao, Yinjin Fu, Nong Xiao

API-Repo: API-centric Repository-level Code Completion

Zhihao Li, Chuanyi Li, Changan Niu, Ying Yan, Jidong Ge, Bin Luo

12:20

DPCapsule: A Decentralized Private Computing System With Self-Controlled Data

Yitong Cheng, Yang Yu, Zhichao Hua

AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for Code-Generation Based on CoT Length

Junhang Cheng, Fang Liu, Chengru Wu, Li Zhang

12:40

MicroGuard:Non-Intrusive Dynamic Analysis for Inter-Service Access Control of Microservices

Haoming Luo, Wanqi Yang, Pengfei Chen

Lightweight Probabilistic Coverage Metrics for Efficient Testing of Deep Neural Networks

Yining Yin, Yang Feng, Shihao Weng, Xinyu Gao, Jia Liu, Zhihong Zhao

13:00

13:20

13:40

14:00

Devmp: A Virtual Instruction Extraction Method for Commercial Code Virtualization Obfuscators

Shenqianqian Zhang, Weiyu Dong, Jian Lin

VDLS: A Vulnerability Detection Approach Based on Execution Path Selection

Xuanyan Zhu, Jingxuan Zhang, Yixuan Tang, Weiqin Zou, Jiayi Li, Han Luo, Jiaqi Liu

Line-level Semantic Structure Learning for Code Vulnerability Detection

Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin

Exploring Typo Squatting Threats in the Hugging Face Ecosystem

Ningyuan Li, Yanjie Zhao, Shenao Wang, Zehao Wu, Haoyu Wang

14:20

SLVHound: Static Detection of Session Lingering Vulnerabilities in Modern Java Web Applications

Haining Meng, Jie Lu, Yongheng Huang, Lian Li

ACM SIGSOFT Distinguished Paper Award

Unraveling the Characterization and Propagation of Security Vulnerabilities in TensorFlow-based Deep Learning Software Supply Chain

Yiren Zhou, Lina Gong, Tiantian Ma

14:40

Def-VAE: Identifying Adversarial Inputs with Robust Latent Representations

Chengye Li, Changshun Wu, Rongjie Yan

Seeing is (Not) Believing: The Mirage Card Attack Targeting Online Social Networks

Wangchenlu Huang, Shenao Wang, Yanjie Zhao, Tianxiang Wang, Yuhao Gao, Guosheng Xu, Haoyu Wang

15:00

Fuzzing for Stateful Protocol Programs Based on Constraints between States and Message Types

Kunpeng Jian, Yanyan Zou, Menghao Li, Wei Huo

ETrace : Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis

Chenyang Peng, Haijun Wang, Yin Wu, Hao Wu, Ming Fan, Yitao Zhao, Ting Liu

A Natural Language Guided Adaptive Model-based Testing Tool for Autonomous Driving

Man Zhang, Shi Yize, Tao Yue

PriceSleuth: Detecting DeFi Price Manipulation Attacks in Smart Contracts Using LLM and Static Analysis

Hao Wu, Haijun Wang, Shangwang Li, Yin Wu, Ming Fan, Yitao Zhao, Ting Liu

15:20

Software Reuse in the Generative AI Era: From Cargo Cult Towards Systematic Practices

Tommi Mikkonen, Antero Taivalsaari

Best New Idea Paper Award

Coffee Break

15:40

16:00

Beyond Isolated Changes: A Context-aware and Dependency-enhanced Code Change Detection Method

Binghe Wang, Wuxia Jin, Zijun Wang, Mengjie Sun, Haijun Wang

EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things System

Bingkun Sun, Jialin Ren, Juntao Luo, Liwei Shen, Yongqiang Lu, Qicai Chen, Zhen Dong, Xin Peng

Orion: A Multi-Agent Framework for Optimizing RAG Systems through Specialized Agent Collaboration

xianxing fang, Liangru Xie, Weibin Yang, Tianyi Zhang, Zhang Ruitao, Hao Wang, Di Wu, Yushan Pan

16:20

GPT Store Mining and Analysis

Dongxun Su, Yanjie Zhao, Xinyi Hou, Shenao Wang, Haoyu Wang

Privacy-Preserving Authentication Scheme for V2G in social IoT Based on Certificateless Aggregate Signatures

Zhuoqun Xia, Xin Wang

16:40

Mining Discriminative Issue Resolution Temporal Sequential Patterns in Open Source Software Repositories

YaxinWang , Liang Wang, Hao Hu, Xianping Tao

To Split or to Merge? Exploring Multi-modal Data Flexibly for Failure Classification in Microservices

Xiuhong Tan, Tongqing Zhou, Yuan Yuan, Shiming He, Yuqi Li, Jian Zhang

17:00

Generating SysML Behavior Models via Large Language Models: an Empirical Study

Yuan Wang, Ning Ge, Jiangxi Liu, Zhilong Cao, Zheping Chen, Chunming Hu

Dynamic Microservice Resource Optimization Management Based on MAPE Loop

Lu Wang, Xu Fan, Yaxiao Li, Quanwei Du, Jialuo She, Qingshan Li

FIRE: Smart Contract Bytecode Function Identification via Graph-Refined Hybrid Feature Encoding

Yu Sun, Lingfeng Bao , Xiaohu Yang

Documenting Microservice Integration with MSAdoc

Georg-Daniel Schwarz, Dirk Riehle

17:20

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

Sun 22 Jun

Atmosphere (Restaurant)

9:20

Invited Talk 1: Automated Testing and Safety Analysis of Deep Neural Networks

9:40

10:00

10:20

Coffee Break

10:40

11:00

Invited Talk 2: Testing Cyber-Physical Systems with AI Foundation Models

11:20

11:40

Invited Talk 3: Reinventing Testing for Big Data and Heterogeneous Computing

12:00

12:20

12:40

13:00

13:20

13:40

14:00

Invited Talk 4: Combatting Software Sprawl with LLMs

14:20

14:40

Invited Talk 5: Empowering Cloud Intelligence (AIOps) with LLMs: Advances, Learnings, and Beyond

15:00

15:20

Coffee Break

15:40

16:00

Invited Talk 6: Testing Code Analyzer using Code Generator

16:20

16:40

Invited Talk 7: Efficient and Green Code LLMs: Happier Software Engineers, Happier Planet

17:00

17:20

17:40

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

Mon 23 Jun

Atmosphere (Restaurant)

Offsite: Archbishop's Palace

Offsite: Nidaros Cathedral

Pirsenteret 150

8:20

Welcome to FSE 2025

8:40

9:00

Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: An Industrial Perspective and Open Research Challenge

Mark Harman, Peter O'Hearn, Shubho Sengupta

9:20

9:40

10:00

+96h30min +72h30min +48h30min +24hBreak

10:20

PF2UML:A Tool for Problem-Oriented Requirements Modeling and Transformation

Hongbin Xiao, Zhi Li, Yilong Yang, Fei Tang, Dongming Jin

An empirical study of business process models and model clones on GitHub

Mahdi Saeedi Nikoo, Sangeeth Kochanthara, Önder Babur, Mark van den Brand

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language

Vikram Nitin, Anne Mulhern, Sanjay Arora, Baishakhi Ray

On-Demand Scenario Generation for Testing Automated Driving Systems

Songyang Yan, Xiaodong Zhang, Kunkun Hao, Haojie Xin, Yonggang Luo, Jucheng Yang, Ming Fan, Chao Yang, Jun Sun, Zijiang Yang

VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis

Liqing Cao, Haofeng Li, Chenghang Shi, Jie Lu, Haining Meng, Lian Li, Jingling Xue

CoverUp: Effective High Coverage Test Generation for Python

Juan Altmayer Pizzorno, Emery D. Berger

Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis

Lyuye Zhang, Chengwei Liu, Wu Jiahui, Shiyang Zhang, CHENGYUE LIU, Zhengzi Xu, Sen Chen, Yang Liu

Advancing Software Product Management Education: Insights from an Industry Survey

Hannah Estes, Katie Hollowell, John Cheek, Shiv Patel, Hanna Reese, Kathryn Stolee

Accuracy Can Lie: On the Impact of Surrogate Model in Configuration Tuning

Pengzhou Chen, Jingzhi Gong, Tao Chen

10:40

DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool

Ruixin Geng, Jiahao Weng, Ning Ge, Jingyao Li, Chunming Hu

Quantifying the benefits of code hints for refactoring deprecated Java APIs

Cristina David, Pascal Kesseli, Daniel Kroening, Hanliang Zhang

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications

Xiaoli Lian, Shuaisong Wang, Hanyu Zou, Fang Liu, Jiajun Wu, Li Zhang

The Struggles of LLMs in Cross-lingual Code Clone Detection

Micheline Bénédicte MOUMOULA, Abdoul Kader Kaboré, Jacques Klein, Tegawendé F. Bissyandé

SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software

Boxiang Wang, Chao Li, Rui Chen, Sheng Wang, Chunpeng Jia, Mengfei Yang

Multi-Modal Traffic Scenario Generation for Autonomous Driving System Testing

Zhi Tu, Liangkun Niu, Wei Fan, Tianyi Zhang

Mystique: Automated Vulnerability Patch Porting with Semantic and Syntactic-Enhanced LLM

Susheng Wu, Ruisi Wang, Bihuan Chen, Zhuotong Zhou, Yiheng Huang, JunPeng Zhao, Xin Peng

How do Software Engineering Candidates Prepare for Technical Interviews?

Brian Bell, Teresa Thomas, Sang Won Lee, Chris Brown

Understanding Debugging as Episodes: A Case Study on Performance Bugs in Configurable Software Systems

Max Weber, Alina Mailach, Sven Apel, Janet Siegmund, Raimund Dachselt, Norbert Siegmund

11:00

dl²: Detecting Communication Deadlocks in Deep Learning Jobs

Yanjie Gao, Jiyu Luo, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang

Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation

Soneya Binta Hossain, Raygan Taylor, Matthew B Dwyer

Mapping APIs in Dynamic-typed Programs by Leveraging Transfer Learning

Zhenfei Huang, Junjie Chen, Jiajun Jiang, Yihua Liang, Hanmo You, Fengjie Li

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements

Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi

Clone Detection for Smart Contracts: How Far Are We?

Zuobin Wang , Zhiyuan Wan, Yujing Chen, Yun Zhang, David Lo, Difan Xie, Xiaohu Yang

CCTest: Critical Configuration Testing for Autonomous Driving Systems

Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang

Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries

Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie

Navigating Academic Careers in Software Engineering: An Empirical Study of Faculty and Postdoctoral Roles

Towards Understanding Performance Bugs in Popular Data Science Libraries

Haowen Yang, Zhengda Li, Zhiqing Zhong, Xiaoying Tang, Pinjia He

11:20

Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software

Longxing Yang, Yixing Luo, Hao Gao, Yingshuang Fan, Jingru Zhang, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang

Detecting Metadata-Related Bugs in Enterprise Applications

Md Mahir Asef Kabir, Xiaoyin Wang, Na Meng

HazSim: An Urban Driving Simulator for Testing Perception Systems of ADSes Against Hazards

Xiaodong Zhang, Jie Bao, Yulong Shen, Qin Xia, Zijiang Yang

Less is More: On the Importance of Data Quality for Unit Test Generation

Junwei Zhang, Xing Hu, Shan Gao, Xin Xia, David Lo, Shanping Li

Dirty-Waters: Detecting Software Supply Chain Smells

Raphina Liu, Sofia Bobadilla, Benoit Baudry, Martin Monperrus

Measuring Model Alignment for Code Clone Detection Using Causal Interpretation

Shamsa Abid, Xuemeng Cai, Lingxiao Jiang

Code Change Intention, Development Artifact and History Vulnerability: Putting Them Together for Vulnerability Fix Detection by LLM

Xu Yang, Wenhan Zhu, Michael Pacheco, Jiayuan Zhou, Shaowei Wang, Xing Hu, Kui Liu

Pursuit of Automotive Software Variant Reduction for Engineering Simplicity

Teamwork Quality in Agile Capstone Courses: Insights from 790 Software Engineering Students

Camilla Kielland Lund, Idunn Stabell, Viktoria Stray, Yngve Lindsjørn

When Should I Run My Application Benchmark?: Studying Cloud Performance Variability for the Case of Stream Processing Applications

Sören Henning, Adriano Vogel, Esteban Pérez Wohlfeil, Otmar Ertl, Rick Rabiser

11:40

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines

Márton Elekes, Vince Molnár, Zoltán Micskei

ROSCallBaX: Statically Detecting Inconsistencies In Callback Function Setup of Robotic Systems

Sayali Kate, Yifei Gao, Shiwei Feng, Xiangyu Zhang

A Comprehensive Study of Bug-Fix Patterns in Autonomous Driving Systems

Yuntianyi Chen, Yuqi Huai, Yirui He, Shilong Li, Changnam Hong, Alfred Chen, Joshua Garcia

Mutation-Guided LLM-based Test Generation at Meta

Mark Harman, Jillian Ritchey, Inna Harper, Shubho Sengupta, Ke Mao, Abhishek Gulati, Christopher Foster, Hervé Robert

Software Product Line Engineering via Software Transplantation

Leandro Oliveira de Souza, Eduardo Almeida , Paulo Anselmo da Mota Silveira Neto, Earl T. Barr, Justyna Petke

An Empirical Study of Code Clones from Commercial AI Code Generators

Weibin Wu, Haoxuan Hu, Zhaoji Fan, Yitong Qiao, Yizhan Huang, Yichen LI, Zibin Zheng, Michael Lyu

Augmenting Software Bills of Materials with Software Vulnerability Description

Davide Fucci, Massimiliano Di Penta, Simone Romano, Giuseppe Scanniello

Preparing Autistic Students for the AI Workforce

JiWoong (Joon) Jang, Ren Butler, Rory McDaniel, Aidan San, D. Matthew Boyer, Somayeh Asadi, Richard Kubina, Jr, Taniya Mishra, Andrew Begel

LitmusKt: Concurrency Stress Testing for Kotlin

Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev, Anton Podkopaev

12:00

Merlin-A: A tool to engineer adaptive modelling languages

Esther Guerra, Juan de Lara

Enhancing Web Accessibility: Automated Detection of Issues with Generative AI

Ziyao He, Syed Fatiul Huq, Sam Malek

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator

Masoud Jamshidiyan Tehrani, Jinhan Kim, Paolo Tonella

Teaching AI the ‘Why’ and ‘How’ of Software Vulnerability Fixes

Amiao Gao, Zenong Zhang, Simin Wang, LiGuo Huang, Shiyi Wei, Vincent Ng

LSPAI: An IDE Plugin for LLM-Powered Multi-Language Unit Test Generation with Language Server Protocol

Gwihwan Go, Chijin Zhou, Quan Zhang, Yu Jiang, Zhao Wei

Beyond Software Families: Community-Driven Variability

Roman Bögli, Alexander Boll, Alexander Schultheiß, Timo Kehrer

Breaking the Loop: AWARE is the New MAPE-K

Brell SANWOUO, Clément Quinton, Paul Temple

Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers

Md Rashedul Hasan, Mohammad Rashedul Hasan, Hamid Bagheri

VexIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity

S. VenkataKeerthy, Soumya Banerjee, Sayan Dey, Yashas Andaluri, Raghul PS, Subrahmanyam Kalyanasundaram, Fernando Magno Quintão Pereira, Ramakrishna Upadrasta

AutoTracer: A Low-Overhead Tracing Framework for Autonomous Driving System

Bo Jiang, Fancheng Shu, Yuyang Cui, Xiangjie Wang, Peng Tang, Lei Wang, Weiping Zhang, Yong Wang, Guobin Wu

Can Generative AI Produce Test Cases? An Experience from the Automotive Domain

Stephen Wynn-Williams, Ryan Tyrrell, Vera Pantelic, Mark Lawford, Claudio Menghi, Phaneendra Nalla, Hassan Artail

The Promise and Pitfalls of WebAssembly: Perspectives from the Industry

Ningyu He, Shangtong Cao, Haoyu Wang, Yao Guo, Xiapu Luo

Enhancing Learning and Mitigating AI-Assisted Misconduct: A Case of Using Video Assignments in a High-Enrollment Software Engineering Course

COFFE: A Code Efficiency Benchmark for Code Generation

Yun Peng, Jun Wan, Yichen LI, Xiaoxue Ren

12:20

Emerging Results in Using Explainable AI to Improve Software Vulnerability Prediction

Fahad Al Debeyan, Tracy Hall, Lech Madeyski

UML Crisis! An Educational Perspective

Zheng Li, Aidan McGowan, Yan Liu, Wahab Hamou-Lhadj

FSE Steering Committee Meeting

LGBTQ Lunch

12:40

13:00

13:20

13:40

14:00

No More Labelled Examples? An Unsupervised Log Parser with LLMs

Junjie Huang, Zhihan Jiang, Zhuangbin Chen, Michael Lyu

10 years later: revisiting how developers search for code

Kathryn Stolee, Tobias Welp, Caitlin Sadowski, Sebastian Elbaum

Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge: Feasibility, Challenges, and Road Ahead

Yanqi Su, Zhenchang Xing, Chong Wang, Chunyang Chen, Xiwei (Sherry) Xu, Qinghua Lu, Liming Zhu

Dynamic Taint Tracking for Modern Java Virtual Machines

Katherine Hough, Jonathan Bell

Liberating libraries through automated fuzz driver generation: Striking a Balance Without Consumer Code

Flavio Toffalini, Nicolas Badoux, Zurab Tsinadze, Mathias Payer

Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization

Duc S. H. Nguyen, Bach G. Truong, Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio

Dissecting Real-World Cross-Language Bugs

Haoran Yang, Haipeng Cai

An Interdisciplinary approach to holistic engineering course development: Framework and Practice

Jin Zhang, Jun Li, Yihong Fan, Li Hao, Naiqi Yang

Automating API Documentation with LLMs: A BERTopic Approach

Amirhossein Naghshzan

A Knowledge Enhanced Large Language Model for Bug Localization

Yue Li, Bohan Liu, Ting Zhang, Zhiqi Wang, David Lo, Lanxin Yang, Jun Lyu, He Zhang

14:20

Exploring the Effectiveness of LLMs in Automated Logging Statement Generation: An Empirical Study

Yichen LI, Yintong Huo, Zhihan Jiang, Renyi Zhong, Pinjia He, Yuxin Su, Lionel Briand, Michael Lyu

Approaching Code Search for Python as a Translation Retrieval Problem with Dual Encoders

Monoshiz Mahbub Khan, Zhe Yu

Automated Test Case Repair Using Language Models

Ahmadreza Saboor Yaraghi, Darren Holden, Nafiseh Kahani, Lionel Briand

HapTest: The Dynamic Analysis Framework for OpenHarmony

Farong Liu, Mingyi Zhou, Yakun Zhang, Ting Su, Bo Sun, Jacques Klein, Xiang Gao, Li Li

Presentation Proposal for: Finding Information Leaks with Information Flow Fuzzing

Bernd Gruner, Clemens-Alexander Brust, Andreas Zeller

Towards Understanding Fine-Grained Programming Mistakes and Fixing Patterns in Data Science

Weihao Chen, Jia Lin Cheoh, Manthan Keim, Sabine Brunswicker, Tianyi Zhang

Exploring the Untapped: Student Perceptions and Participation in OSS

Italo Santos, Katia Felizardo, Bianca Trinkenreich, Daniel M. German, Igor Steinmacher, Marco Gerosa

AutoReview: An LLM-based Multi-Agent System for Security Issue-Oriented Code Review

A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models

Changshu Liu, Reyhaneh Jabbarvand

Ever-Improving Test Suite by Leveraging Large Language Models

14:40

Protecting Privacy in Software Logs: What Should be Anonymized?

Roozbeh Aghili, Heng Li, Foutse Khomh

Zero-Shot Cross-Domain Code Search without Fine-Tuning

Keyu Liang, Zhongxin Liu, Chao Liu, Zhiyuan Wan, David Lo, Xiaohu Yang

TestGPT-Server: Automatically Testing Microservices with Large Language Models at ByteDance

Jue Wang, Shuxiang Chen, Yu Liu, Yuan Deng, Lei Zhang, Yuanchang Fu, Bo Liu

An Empirical Study of Suppressed Static Analysis Warnings

Huimin Hu, Yingying Wang, Julia Rubin, Michael Pradel

MendelFuzz: The Return of the Deterministic Stage

Han Zheng, Flavio Toffalini, Marcel Böhme, Mathias Payer

TickIt: Leveraging Large Language Models for Automated Ticket Escalation

Fengrui Liu, Xiao He, Tieying Zhang, Jianjun Chen, Yi Li, Lihua Yi, Haipeng Zhang, Gang Wu, Rui Shi

Error Delayed is Not Error Handled: Understanding and Fixing Propagated Error-Handling Bugs

Haoran Liu, Shanshan Li, Zhouyang Jia, Yuanliang Zhang, Linxiao Bai, Si Zheng, Xiaoguang Mao, Liao Xiangke

DevCoach: Supporting Students Learning the Software Development Life Cycle with a Generative AI powered Multi-Agent System

Tianjia Wang, Matthew Trimble, Chris Brown

Test Script Repair of Deep Learning Library Testing

Xing Fu, Jiawei Liu, Chunrong Fang, Zhenyu Chen

15:00

Measuring What Matters: An Aggregate Metric for Assessing Enterprise Code Summaries

Ashita Saxena, Palanivel Kodeswaran, Sayandeep Sen, Srikanth Tamilselvam

LTM: Scalable and Black-Box Similarity-Based Test Suite Minimization Based on Language Models

RONGQI PAN, Taher A. Ghaleb, Lionel Briand

A New Approach to Evaluating Nullability Inference Tools

Nima Karimipour, Erfan Arvan, Martin Kellogg, Manu Sridharan

PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing

Wanli Chen, Yuanliang Chen, Fuchen Ma, Ruikang Peng, Qi Xu, Yu Jiang, Qiang Fu, Heyuan Shi

Natural Language Outlines for Code: Literate Programming in the LLM Era

Kensen Shi, Deniz Altinbuken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton

“Silent Is Not Actually Silent”: An Investigation of Toxicity on Bug Report Discussion

Mia Mohammad Imran, Jaydeb Sarker

Factors Influencing Gender Representation in IT Faculty Programmes: Insights with a Focus on Software Engineering in a Nordic Context

Cristina Martinez Montes, Jonna Johansson, Emrik Dunvald

MiSum: Multi-Modality Heterogeneous Code Graph Learning for Multi-Intent Binary Code Summarization

Kangchen Zhu, Zhiliang Tian, Shangwen Wang, Weiguo Chen, Zixuan Dong, mingyue leng, Xiaoguang Mao

Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster

Andrea Arcuri, Philip Garrett, Juan Pablo Galeotti, Man Zhang

Behind the Hot Fix: Demystifying Hot Fixing Industrial Practices at Zühlke and Beyond

Carol Hanna, David Elliman, Wolfgang Emmerich, Federica Sarro, Justyna Petke

Predicting Software Changes from Desired Behavior Changes

15:20

Empirical Study and Vision for a Holistic Serious Game Platform for Software Engineering Education

Niklas Meissner, Sandro Speth, Steffen Becker, Uwe Breitenbücher

+72h +48h +96h +24hBreak

15:40

16:00

HornBro: Homotopy-like Method for Automated Quantum Program Repair

Siwei Tan, Liqiang Lu, Debin Xiang, Tianyao Chu, Congliang Lang, Jintao Chen, Xing Hu, Jianwei Yin

DynDebloater: Dynamically Debloating Unwanted Features of Android Apps without APK Modification

Zicheng Zhang, Jiakun Liu, Ferdian Thung, Xing Hu, Wei Minn, Yan Naing Tun, Lwin Khin Shar, David Lo, Debin Gao

On Refining the SZZ Algorithm with Bug Discussion Data

Pooja Rani, Fernando Petrulio, Alberto Bacchelli

Search-based DNN Testing and Retraining with GAN-enhanced Simulations

Mohammed Attaoui, Fabrizio Pastore, Lionel Briand

How Do Programming Students Use Generative AI?

Christian Rahe, Walid Maalej

Learning to Edit Interactive Machine Learning Notebooks

Bihui Jin, Jiayue Wang, Pengyu Nie

Building the community Panel

Laurie Williams, Ying Wang, Torgeir Dingsøyr, Sonja Hyrynsalmi

HapRepair: Learn to Repair OpenHarmony Apps

Zhihao Lin, Mingyi Zhou, Wei Ma, chichen , Yun Yang, Jun Wang, Chunming Hu, Li Li

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions

Shaila Sharmin, Anwar Hossain Zahid, Subhankar Bhattacharjee, Chiamaka Igwilo, Miryung Kim, Wei Le

16:20

RePurr: Automated Repair of Block-Based Learners' Programs

Sebastian Schweikl, Gordon Fraser

SemBIC: Semantic-aware Identification of Bug-inducing Commits

Xiao Chen, Hengcheng Zhu, Jialun Cao, Ming Wen, Shing-Chi Cheung

TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks

Amin Abbasishahkoo, Mahboubeh Dadkhah, Lionel Briand, Dayi Lin

Towards Mitigating API Hallucination in Code Generated by LLMs with Hierarchical Dependency Aware

Yujia Chen, Mingyu Chen, Cuiyun Gao, Zhihan Jiang, Zhongqi Li, Yuchi Ma

Are iOS Apps Immune to Abusive Advertising Practices?

Tianming Liu, Jiapeng Deng, Yanjie Zhao, Xiao Chen, Xiaoning Du, Li Li, Haoyu Wang

Mitigating Regression Faults Induced by Feature Evolution in Deep Learning Systems

Hanmo You, Zan Wang, Xuyang Chen, Junjie Chen, Jun Sun, Shuang Liu, Zishuo Dong

16:40

Demystifying Memorization in LLM-based Program Repair via a General Hypothesis Testing Framework

Jiaolong Kong, Xiaofei Xie, Shangqing Liu

Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel

Yunbo Lyu, Hong Jin Kang, Ratnadira Widyasari, Julia Lawall, David Lo

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation

Zhijie Wang, Zhehua Zhou, Norman Song, Yuheng Huang, Zhan Shu, Lei Ma

CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding

Xuan He, Dong Li, Hao Wen, Yueheng Zhu, Chao Liu, Meng Yan, Hongyu Zhang

Toward LLM-Driven GDPR Compliance Checking for Android Apps

Marco Alecci, Nicolas Sannier, Marcello Ceci, Sallam Abualhaija, Jordan Samhi, Domenico Bianculli, Tegawendé F. Bissyandé, Jacques Klein

DeclarUI: Bridging Design and Development with Automated Declarative UI Code Generation

Ting Zhou, Yanjie Zhao, Xinyi Hou, Xiaoyu Sun, Kai Chen, Haoyu Wang

ClusterXplain: a Clustering-based Tool for DNN components Debugging

Mohammed Attaoui, Fabrizio Pastore

17:00

IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models

Sayem Mohammad Imtiaz, Astha Singh, Fraol Batole, Hridesh Rajan

MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis

Shenao Wang, Yuekang Li, Kailong Wang, Yi Liu, Hui Li, Yang Liu, Haoyu Wang

HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States

Roham Koohestani, Maliheh Izadi

DRWASI: LLM-assisted Differential Testing for WebAssembly System Interface Implementations

Yixuan Zhang, Ningyu He, Jianting Gao, Shangtong Cao, Kaibo Liu, Haoyu Wang, Yun Ma, Gang Huang, Xuanzhe Liu

Capturing Semantic Flow of ML-based Systems

Shin Yoo, Robert Feldt, Somin Kim, Naryeong Kim

LLMs for Defect Prediction in Evolving Datasets: Emerging Results and Future Directions

Umamaheswara Sharma B, Farhan Chonari, Gokul K Anilkumar, Saikiran Konchada

RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry

Chaozheng Wang, Zezhou Yang, Shuzheng Gao, Cuiyun Gao, Ting Peng, Hailiang Huang, Yuetang Deng, Michael Lyu

Has My Code Been Stolen for Model Training? A Naturalness Based Approach to Code Contamination Detection

Haris Ali Khan, Yanjie Jiang, Qasim Umer, Yuxia Zhang, Waseem Akram, Hui Liu

17:20

Repairs and Breaks Prediction for Deep Neural Networks

Yuta Ishimoto, Masanari Kondo, Lei Ma, Naoyasu Ubayashi, Yasutaka Kamei

Temporal-Incremental Learning for Android Malware Detection

Tiezhu Sun, Nadia Daoudi, Weiguo Pian, Kisub Kim, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein

ROSE LCOM Tools

Kenneth Lamar, Peter Pirkelbauer, Zachary Painter, Damian Dechev

MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases

Congying Xu, Valerio Terragni, Hengcheng Zhu, Jiarong Wu, Shing-Chi Cheung

Automated Code Editing with Search-Generate-Modify

Changshu Liu, Pelin Cetin, Yogesh Patodia, Baishakhi Ray, Saikat Chakraborty, Yangruibo Ding

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation

Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi, Muhammad Salman Abid, Rangeet Pan, Saurabh Sinha, Reyhaneh Jabbarvand

17:40

Element-Based Automated DNN Repair with Fine-Tuned Masked Language Model

Xu Wang, Mingming Zhang, Xiangxin Meng, Jian Zhang, Yang Liu, Chunming Hu

Mitigating Emergent Malware Label Noise in DNN-Based Android Malware Detection

haodong li, Xiao Cheng, Guohan Zhang, Guosheng Xu, Guoai Xu, Haoyu Wang

UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions

Sujin Jang, Yeonhee Ryou, Heewon Lee, Kihong Heo

Can Hessian-Based Insights Support Fault Diagnosis in Attention-based Models?

Sigma Jahan, Masud Rahman

18:00

18:20

18:40

19:00

Organ Concert at Nidaros Cathedral

19:20

19:40

Reception at Archbishop's Palace

20:00

20:20

20:40

21:00

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

Tue 24 Jun

Atmosphere (Restaurant)

Pirsenteret 150

8:20

How Practitioners Perceive the Relevance of Software Engineering Research

David Lo, Thomas Zimmermann

8:40

9:00

Can the Rising Tide of Software Supply Chain Attacks Raise All Software Engineering Boats?

Laurie Williams

9:20

9:40

10:00

Overlapping Events:

Logprobs Know Uncertainty: Fighting LLM Hallucinations

Symbolic Execution Based Automatic Performance Optimization for MPI Programs

Autonomous agents in software development for information retrieval using LLM models

Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.

Enhancing Deep Learning Transpilation with LLMs: Automation and Semantic Consistency

Pn4PLC: Verification of Software Upgrade for PLC Code

SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing Developer Task Assignment

LLMAppHub: A Large Collection of LLM-based Applications for the Research Community

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis

10:20

Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design

Yiran Zhang, Ruiyin Li, Peng Liang, Weisong Sun, Yang Liu

From Overload to Insight: Bridging Code Search and Code Review with LLMs

Nikitha Rao, Bogdan Vasilescu, Reid Holmes

Come for Syntax, Stay for Speed, Write Secure Code: An Empirical Study of Security Weaknesses in Julia Programs

Yue Zhang, Justin Murphy, Akond Rahman

TraceMOP: An Explicit-Trace Runtime Verification Tool for Java

Kevin Guan, Owolabi Legunsen

Enhancing Code LLM Training with Programmer Attention

Yifan Zhang, Chen Huang, Zachary Karas, Thuy Dung Nguyen, Kevin Leach, Yu Huang

An Empirical Study of the Non-determinism of ChatGPT in Code Generation

Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang

Statement-level Adversarial Attack on Vulnerability Detection Models via Out-Of-Distribution Features

Xiaohu Du, Ming Wen, Haoyu Wang, Zichao Wei, Hai Jin

Analyzing the Communication Patterns of Different Teammate Types in a Software Engineering Course Project

Yanye Luther, Lindsey Nielsen, Logan Cadman, Marcia Moraes, Sudipto Ghosh, Bianca Trinkenreich

SmartShift: A Secure and Efficient Approach to Smart Contract Migration

Tahrim Hossain, Faisal Haque Bappy, Tarannum Shaila Zaman, Raiful Hasan, Tariqul Islam

10:40

Designing for Scalability: Building a Universal Serverless Messaging Architecture with Apache RocketMQ

Juntao Ji, Yubao Fu, Rongtong Jin, Qingshan Lin

Explaining Explanations: An Empirical Study of Explanations in Code Reviews

Ratnadira Widyasari, Ting Zhang, Abir Bouraffa, Walid Maalej, David Lo

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination

Rafael Menezes, Norbert Tihanyi, Ridhi Jain , Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro

Risk Assessment Framework for Code LLMs via Leveraging Internal States

Yuheng Huang, Lei Ma, Keizaburo Nishikino, Takumi Akazaki

LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts

Shoupeng Ren, Lipeng He, Tianyu Tu, Di Wu, Jian Liu, Kui Ren, Chun Chen

A Multimodal Intelligent Change Assessment Framework for Microservice Systems Based on Large Language Models

Yongqian Sun, zhengtinghua , Xidao Wen, Weihua Kuang, Heng Liu, Shenglin Zhang, Chao Shen, Bo Wu, Dan Pei

AIM: Automated Input Set Minimization for Metamorphic Security Testing

Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel Briand

GIVUP: Automated Generation and Verification of Textual Process Descriptions

Quentin Nivon, Gwen Salaün, Frederic Lang

Don’t Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems

Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li, David Lo

Large Language Models for In-File Vulnerability Localization can be “Lost in the End”

Francesco Sovrano, Adam Bauer, Alberto Bacchelli

Enhancing Motivation in Software Engineering Education through Gamified Agile Project-based Learning

Niklas Meissner, Paul Bredl, Sandro Speth, Steffen Becker

11:00

Support, Not Automation: Towards AI-supported Code Review for Code Quality and Beyond

Lo Heander, Emma Söderberg, Christofer Rydenfält

NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS

Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic

An Empirical Study of Issues in Large Language Model Training Systems

Yanjie Gao, Ruiming Lu, Haoxiang Lin, Yueguo Chen

SmartShot: Hunt Hidden Vulnerabilities in Smart Contracts using Mutable Snapshots

Ruichao Liang, Jing Chen, Ruochen Cao, Kun He, Ruiying Du, Shuhua Li, Zheng Lin, Cong Wu

TracePicker: Optimization-based Trace Sampling for Microservice-based Systems

Shuaiyu Xie, Jian Wang, Maodong Li, Peiran Chen, Jifeng Xuan, Bing Li

BitsAI-CR: Automated Code Review via LLM in Practice

Tao Sun, Jian Xu, Yuanpeng Li, Zhao Yan, Ge Zhang, Lintao Xie, Lu Geng, Zheng Wang, Yueyan Chen, Qin Lin, Wenbo Duan, Kaixin Sui, Yuanshuo Zhu

Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation

Yuan Li, Peisen Yao, Kan Yu, Chengpeng Wang, Yaoyang Ye, Song Li, Meng Luo, Yepang Liu, Kui Ren

Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems

Trey Woodlief, Felipe Toledo, Matthew B Dwyer, Sebastian Elbaum

Divide-and-Conquer: Generating UI Code from Screenshots

Yuxuan Wan, Chaozheng Wang, Yi Dong, Wenxuan Wang, Shuqing Li, Yintong Huo, Michael Lyu

One-for-All Does Not Work! Enhancing Vulnerability Detection by Mixture-of-Experts (MoE)

Xu Yang, Shaowei Wang, Jiayuan Zhou, Wenhan Zhu

Analyzing the Role of Emotions on Performance in Hybrid Capstone Projects

Wardah Naeem Awan, Iflaah Salman, Maria Paasivaara, Peter Gloor

11:20

Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models

Yuheng Huang, Norman Song, Zhijie Wang, Shengming Zhao, Huaming Chen, Felix Juefei-Xu, Lei Ma

Automated and Accurate Token Transfer Identification and Its Applications in Cryptocurrency Security

Shuwei Song, Ting Chen, Ao Qiao, Xiapu Luo, Leqing Wang, Zheyuan He, Ting Wang, Xiaodong Lin, Peng He, Wensheng Zhang, Xiaosong Zhang

Analyzing Evolution of Microservice-based Systems

Tomas Cerny, Gabriel Goulis, Samanta Perry, Malia Edmonds, Amr Elsayed, Matteo Esposito, Alexander Bakhtin, Valentina Lenarduzzi, Davide Taibi

Visualising Developer Interactions in Code Reviews

Daniel Bee, DongGyun Han

Efficient and Robust Security-Patch Localization for Disclosed OSS Vulnerabilities with Fine-Tuned LLMs in an Industrial Setting

Dezhi Ran, Lin Li, Liuchuan Zhu, Yuan Cao, Landelong Zhao, Xin Tan, Guangtai Liang, Qianxiang Wang, Tao Xie

QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints

Xu Yang, Zhenbang Chen, Wei Dong, Ji Wang

LLM-based Method Name Suggestion with Automatically Generated Context-Rich Prompts

Waseem Akram, Yanjie Jiang, Yuxia Zhang, Haris Ali Khan, Hui Liu

Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities

Bruno Kreyssig, Alexandre Bartel

Decoding Student Rating Behaviors: A Comparative Study of Frequent Self and Peer Assessments in Team Projects

Yu Lu, André van der Hoek

11:40

SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation

Yong Wang, Ning Ge, Jingyao Li, Loulin Wang, Guangyu Zhou, Chengrui Deng, Li Zhang, Chunming Hu

CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building

Zhengmin Yu, Yuan Zhang, Ming Wen, Yinan Nie, Zhang Wenhui, Min Yang

EvidenceBot: A Privacy-Preserving, Customizable RAG-Based Tool for Enhancing Large Language Model Interactions

Nafiz Imtiaz Khan, Vladimir Filkov

Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution

Yinxi Liu, Wei Meng, Yinqian Zhang

It’s Acting Odd! Exploring Equivocal Behaviors of Goodware

Gregorio Dalia, Andrea Di Sorbo, Corrado A. Visaggio, Gerardo Canfora

Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications

Mirko Köhler, George Zakhour, Pascal Weisenburger, Guido Salvaneschi

OpsEval: A Comprehensive Benchmark Suite for Evaluating Large Language Models’ Capability in IT Operations Domain

Yuhe Liu, Changhua Pei, Longlong Xu, Bohan Chen, Mingze Sun, Zhirui Zhang, Yongqian Sun, Shenglin Zhang, Kun Wang, Haiming Zhang, Jianhui Li, Gaogang Xie, Xidao Wen, Xiaohui Nie, Minghua Ma, Dan Pei

Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models

Yanlin Wang, Tianyue Jiang, Mingwei Liu, Jiachi Chen, Mingzhi Mao, Xilin Liu, Yuchi Ma, Zibin Zheng

BinPool: A Dataset of Vulnerabilities for Binary Security Analysis

Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu, Nicolaas Weideman, Aaron Portnoy, Mukund Raghothaman, Christophe Hauser

Identifying Project Management Skills in Industry-Driven Capstone Projects

Eleni Chatzidaki, Sofia Papavlasopoulou, Letizia Jaccheri, Michail Giannakos

12:00

CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems

Sarah Sohana, William Pourmajidi, John Steinbacher, Andriy Miranskyy

SmartNote: An LLM-Powered, Personalised Release Note Generator That Just Works

Farbod Daneshyan, Runzhi He, Jianyu Wu, Minghui Zhou

Today's cat is tomorrow's dog: accounting for time-based changes in the labels of ML vulnerability detection approaches

Ranindya Paramitha, Yuan Feng, Fabio Massacci

Smart Contract Fuzzing Towards Profitable Vulnerabilities

Ziqiao Kong, Cen Zhang, Maoyi Xie, Ming Hu, Yue Xue, Ye Liu, Haijun Wang, Yang Liu

Te-PID: An Adaptive Erasure Coding Temperature Management System for Optimized Cloud Storage

Pei Xiao, Lu Wang, Fangkai Yang, Guoqing Geng, Haoran Li, Jeff Zhu, Yu Kang, Yifan Li, Terry Chen, Yue Chen, Saravan Rajmohan, Qi Zhang

On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations

Yuteng Sun, Joyanta Debnath, Wenzheng Hong, Omar Chowdhury, Sze Yiu Chau

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution

Lars Gröninger, Beatriz Souza, Michael Pradel

Hallucination Detection in Large Language Models with Metamorphic Relations

Borui Yang, Md Afif Al Mamun, Jie M. Zhang, Gias Uddin

Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues

Yue Liu, Le-Cong Thanh, Ratnadira Widyasari, Kla Tantithamthavorn, Li Li, Xuan-Bach D. Le, David Lo

What do professional software developers need to know to succeed in an age of Artificial Intelligence?

Matthew Kam, Cody Miller, Miaoxin Wang, Abey Tidwell, Irene Lee, Joyce Malyn Smith, Beatriz Perret, Vikram Tiwari, Joshua Kenitzer, Andrew Macvean, Erin Barrar

12:20

KAVe: A Tool to Detect XSS and SQLi Vulnerabilities using a Multi-Agent System over a Multi-Layer Knowledge Graph

Rafael Ramires, Ana Respício, Ibéria Medeiros, Mike Papadakis

TSE Editorial Board Meeting

12:40

13:00

13:20

13:40

14:00

ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps

Qichao Kong, Zhengwei Lv, Yiheng Xiong, Jingling Sun, Ting Su, Dingchun Wang, Letao Li, Xu Yang, Gang Huo

Non-Knowledge as a New Lens on Software Engineering

Jacob Krüger, Xenia Marlene Zerweck, Sol Martinez Demarco, Alena Bleicher, Thomas Leich

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing

Ruijie Meng, Thuan Pham, Marcel Böhme, Abhik Roychoudhury

Core Developer Turnover in the Rust Package Ecosystem: Prevalence, Impact, and Awareness

Meng Fan, Yuxia Zhang, Klaas-Jan Stol, Hui Liu

LlamaRestTest: Effective REST API Testing with Small Language Models

Myeongsoo Kim, Saurabh Sinha, Alessandro Orso

Migrating Code At Scale With LLMs At Google

Celal Ziftci, Stoyan Nikolov, Anna Sjovall, Bo Kim, Daniele Codecasa, Max Kim

IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers

Yu Xiao, Xutong Ma, zhilin li, Jun Yan

Layered Learning: Teaching CI/CD and Software Testing through Storytelling

Bogdan Iudean, Andreea Vescan

Standing on the Shoulders of Giants: Bug-Aware Automated GUI Testing via Retrieval Augmentation

Mengzhuo Chen, Zhe Liu, Chunyang Chen, Junjie Wang, Boyu Wu, Jun Hu, Qing Wang

To Co-locate or Not to Co-locate? On the Impact of Hybrid Work to Software Design Process

Tommi Mikkonen, Mahum Adil, Ilenia Fronza, Gennaro Iaccarino, Petri Ihantola

Blended Analysis for Predictive Execution

Yi Li, Hridya Dhulipala, Aashish Yadavally, Xiaokai Rong, Shaohua Wang, Tien N. Nguyen

14:20

“Ok Pal, we have to code that now”: Interaction Patterns of Programming Beginners with a Conversational Chatbot

Alina Mailach, Dominik Gorgosch, Norbert Siegmund, Janet Siegmund

My Fuzzers Won’t Build: An Empirical Study of Fuzzing Build Failures

Olivier Nourry, Yutaro Kashiwa, Weiyi Shang, Honglin Shu, Yasutaka Kamei

A Comprehensive Study of Governance Issues in Decentralized Finance Applications

Wei Ma, Chenguang Zhu, Ye Liu, Xiaofei Xie, Yi Li

Testing Updated Apps by Adapting Learned Models

Chanh Duc Ngo, Fabrizio Pastore, Lionel Briand

Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning

Yoav Alon, Cristina David

Sojourner under Sabotage: A Serious Testing and Debugging Game

Philipp Straubinger, Tim Greller, Gordon Fraser

A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings

Shaoheng Cao, Renyi Chen, Wenhua Yang, Minxue Pan, Xuandong Li

Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis

Xiaolei Ren, Mengfei Ren, Jeff Yu Lei, Jiang Ming

14:40

Revolutionizing Newcomers' Onboarding Process in OSS Communities: The Future AI Mentor

Xin Tan, Xiao Long, Yinghao Zhu, Lin Shi, Xiaoli Lian, Li Zhang

Directed Testing in MLIR: Unleashing Its Potential by Overcoming the Limitations of Random Fuzzing

Weiyuan Tong, Zixu Wang, Zhanyong Tang, Jianbin Fang, Yuqun Zhang, Guixin Ye

An Empirical Study on Release-Wise Refactoring Patterns

Shayan Noei, Heng Li, Ying Zou

Automated Testing of COBOL to Java Transformation

Sandeep Hans, Atul Kumar, Toshiaki Yasue, Kohichi Ono, Saravanan Krishnan, Devika Sondhi, Fumiko Satoh, Gerald Mitchell, Sachin Kumar, Diptikalyan Saha

Smaller but Better: Self-Paced Knowledge Distillation for Lightweight yet Effective LCMs

Yujia Chen, Yang Ye, Zhongqi Li, Yuchi Ma, Cuiyun Gao

Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education

Hannah Potter, Ana Paiva, Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, René Just

Non-Flaky and Nearly-Optimal Time-based Treatment of Asynchronous Wait Web Tests

yu pei, Jeongju Sohn, Sarra Habchi, Mike Papadakis

DyLin: A Dynamic Linter for Python

Aryaz Eghbali, Felix Burk, Michael Pradel

15:00

OurCode: Experiences Transitioning University Research into a Developer Tools Startup

Consuelo Lopez, Sahar Mehrpour, Austin Henley, Thomas LaToza

GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows

Jorge Barredo, Justyna Petke, David Clark, Daniel Blackwell, Maialen Eceiza, Jose Luis Flores, Mikel Iturbe

Towards enhancing the reproducibility of deep learning bugs: an empirical study

Mehil Shah, Masud Rahman, Foutse Khomh

TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle

Matthew C. Davis, Amy Wei, Brad A. Myers, Joshua Sunshine

Enabling Scalable Proactive Workspaces With Environment-Wide Context

Nick Bradley, Thomas Fritz, Reid Holmes

A Comparative Study on ChatGPT and Checklist as Support Tools for Unit Testing Education

Zihan Fang, Jiliang Li, Anda Liang, Gina Bai, Yu Huang

LLMDroid: Enhancing Automated Mobile App GUI Testing Coverage with Large Language Model Guidance

Chenxu Wang, Tianming Liu, Yanjie Zhao, Minghui Yang, Haoyu Wang

Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community

Jiazhao Yu, Yanlun Tu, Zhanlei Zhang, TIEHUA ZHANG, Cheng Xu, Weigang Wu, Hong Jin Kang, Xi Zheng

Bridging Operator Semantic Inconsistencies: A Source-level Cross-framework Model Conversion Approach

Xingpei Li, Yan Lei, Zhouyang Jia, Yuanliang Zhang, Haoran Liu, Liqian Chen, Wei Dong, Shanshan Li

Do you have 5 min? Improving Call Graph Analysis with Runtime Information

Jordan Samhi, Marc Miltenberger, Marco Alecci, Steven Arzt, Tegawendé F. Bissyandé, Jacques Klein

15:20

Polymer: Development Workflows as Software

Dhasarathy Parthasarathy, Yinan Yu, Earl T. Barr

Efficient Test Generation for Dynamic Behaviors Leveraging Token-Level Input Commonalities

Yuxin Qiu, Qian Zhang

Creating a Student-Friendly PaaS Platform: Experiences with Tsuru in Software Engineering Education

Robert Chatley, Jason Bailey, Ivan Procaccini, Zaki Amin, Estibaliz Fraca

Overlapping Events:

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis

Logprobs Know Uncertainty: Fighting LLM Hallucinations

Symbolic Execution Based Automatic Performance Optimization for MPI Programs

SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing Developer Task Assignment

Pn4PLC: Verification of Software Upgrade for PLC Code

LLMAppHub: A Large Collection of LLM-based Applications for the Research Community

Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.

Enhancing Deep Learning Transpilation with LLMs: Automation and Semantic Consistency

Autonomous agents in software development for information retrieval using LLM models

15:40

16:00

MANILA: A Low-Code Application to Benchmark Machine Learning Models and Fairness-Enhancing Methods

Giordano d'Aloisio

AgentFM: Role-Aware Failure Management for Distributed Databases with LLM-Driven Multi-Agents

Lingzhe Zhang, Yunpeng Zhai, Tong Jia, Xiaosong Huang, Chiming Duan, Ying Li

LicenseGPT: A Fine-tuned Foundation Model for Publicly Available Dataset License Compliance

JingwenTan , Gopi Krishnan Rajbahadur, Zi Li, xiangfu song, jianshan lin, Dan Li, Zibin Zheng, Ahmed E. Hassan

Introducing Repository Stability

Giuseppe Destefanis, Silvia Bartolucci, Daniel Graziotin, Rumyana Neykova, Marco Ortu

Cross-System Categorization of Abnormal Traces in Microservice-Based Systems via Meta-Learning

Yuqing Wang, Mika Mäntylä, Serge Demeyer, Mutlu Beyazıt, Joanna Kisaakye, Jesse Nyyssölä

An Empirical Study of the Error Characteristics in an Online Judge System

Shota Shimizu, Erina Makihara, Norihiro Yoshida

Fairness Testing of Machine Translation Systems

Zeyu Sun, Zhenpeng Chen, Jie M. Zhang, Dan Hao

ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement

Tanakorn Leesatapornwongsa, Fazle Faisal, Suman Nath

Scientific Open-Source Software Is Less Likely To Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software

Addi Malviya-Thakur, Reed Milewicz, Mahmoud Jahanshahi, Lavinia Francesca Paganini, Bogdan Vasilescu, Audris Mockus

16:20

LLM-Augmented Ticket Aggregation for Low-cost Mobile OS Defect Resolution

Yongqian Sun, Bowen Hao, Xiaotian Wang, Chenyu Zhao, Yongxin Zhao, Binpeng Shi, Shenglin Zhang, Qiao Ge, Wenhu Li, Hua Wei, Dan Pei

CLSLog: Collaborating Large and Small Models for Log-based Anomaly Detection

Pei Xiao, Tong Jia, Chiming Duan, Minghua He, Weijie Hong, Xixuan Yang, Yihan Wu, Ying Li, Gang Huang

Applying Large Language Models to Enhance the Assessment of Java Programming Assignments

Skyler Grandel, Douglas C. Schmidt, Kevin Leach

Bias behind the Wheel: Fairness Testing of Autonomous Driving Systems

Xinyue Li, Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Ying Zhang, Xuanzhe Liu

Improving Graph Learning-Based Fault Localization with Tailored Semi-Supervised Learning

Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li

Who Will Stop Contributing to OSS Projects? Predicting Company Turnover Based on Initial Behavior

Mian Qin, Yuxia Zhang, Klaas-Jan Stol, Hui Liu

From Few-Label to Zero-Label: An Approach for Cross-System Log-Based Anomaly Detection with Meta-Learning

Xinlong Zhao, Tong Jia, Minghua He, Yihan Wu, Ying Li, Gang Huang

16:40

On the Workflows and Smells of Leaderboard Operations (LBOps): An Exploratory Study of Foundation Model Leaderboards

Zhimin Zhao, Abdul Ali Bangash, Filipe Cogo, Bram Adams, Ahmed E. Hassan

CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift

Jiongchi Yu, Xiaofei Xie, Qiang Hu, Bowen Zhang, Ziming Zhao, Yun Lin, Lei Ma, Ruitao Feng, Frank Liauw

Direct Automated Feedback Delivery for Student Submissions based on LLMs

Maximilian Sölch, Felix T.J. Dietrich, Stephan Krusche

FAMLEM, the FAst ModuLar Energy Meter at Code Level

Max Weber, Johannes Dorn, Sven Apel, Norbert Siegmund

Towards Understanding Docker Build Faults in Practice: Symptoms, Root Causes, and Fix Patterns

Yiwen Wu, Yang Zhang, Tao Wang, Bo Ding, Huaimin Wang

An empirical study of token-based micro commits

Masanari Kondo, Daniel M. German, Yasutaka Kamei, Naoyasu Ubayashi, Osamu Mizuno

17:00

NLP Libraries, Energy Consumption and Runtime - An Empirical Study

Rajrupa Chattaraj, Sridhar Chimalakonda

CodingGenie: A Proactive LLM-Powered Programming Assistant

Sebastian Zhao, Alan Zhu, Hussein Mozannar, David Sontag, Ameet Talwalkar, Valerie Chen

Detecting and Handling WoT Violations by Learning Physical Interactions from Device Logs

Bingkun Sun, Shiqi Sun, Jialin Ren, Mingming Hu, Kun Hu, Liwei Shen, Xin Peng

Understanding Comparative Comprehension Barriers for Students during Code Review through Simplification

Nick Case, John-Paul Ore, Kathryn Stolee

One Sentence Can Kill the Bug: Auto-replay Mobile App Crashes from One-sentence Overviews

Yuchao Huang, Junjie Wang, Zhe Liu, Mingyang Li, Song Wang, Chunyang Chen, Yuanzhe Hu, Qing Wang

Collaboration is all you need: LLM Assisted Safe Code Translation

Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi

TS-Detector : Detecting Feature Toggle Usage Patterns

Md Tajmilur Rahman, Mengzhe Fei, Tushar Sharma, Chanchal K. Roy

17:20

An adaptive language-agnostic pruning method for greener language models for code

Mootez Saad, José Antonio Hernández López, Boqi Chen, Daniel Varro, Tushar Sharma

Exploring Variable Potential for LLM-based Log Parsing Efficiency and Reduced Costs

Jinrui Sun, Tong Jia, Minghua He, Yihan Wu, Ying Li, Gang Huang

Impact of Request Formats on Effort Estimation: Are LLMs Different than Humans?

Gül Calikli, Mohammed Alhamed

L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis

Zhihan Jiang, Junjie Huang, Guangba Yu, Zhuangbin Chen, Yichen LI, Renyi Zhong, Cong Feng, Yongqiang Yang, Zengyin Yang, Michael Lyu

"Person is a person, a tool is a tool" - ChatGPT’s Role in Student Help-Seeking Behavior and Peer Support

Sonja Hyrynsalmi, Micheal Tuape, Antti Knutas

Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems

Meriel von Stein, Yili Bai, Trey Woodlief, Sebastian Elbaum

The Impact of Multi-Peer Feedback Summary Organization on Review and Implementation of Feedback

Somayeh Bayat Esfandani, Trond Aalberg

17:40

Technical Debt Town Hall

18:00

18:20

18:40

19:00

19:20

19:40

20:00

20:20

20:40

21:00

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

Wed 25 Jun

Atmosphere (Restaurant)

Pirsenteret 150

8:40

ISSTA Opening

9:00

Expectations, outcomes, and challenges of modern code review

Alberto Bacchelli, Christian Bird

9:20

Leveraging Latent-space Generative Models for Testing

Matthew B Dwyer

9:40

10:00

10:20

10:40

11:00

Opening Remarks

Andreas Zeller, Federica Sarro, Jie M. Zhang, Darko Marinov

On Inter-dataset Code Duplication and Data Leakage in Large Language Models

José Antonio Hernández López, Boqi Chen, Mootez Saad, Tushar Sharma, Daniel Varro

De-duplicating Silent Compiler Bugs via Deep Semantic Representation

Junjie Chen, Xingyu Fan, Chen Yang, Shuang Liu, Jun Sun

MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem

Francesco Pagano, Mariano Ceccato, Alessio Merlo, Paolo Tonella

Beyond PEFT: Layer-Wise Optimization for More Effective and Efficient Large Code Model Tuning

Chaozheng Wang, jiafeng , Shuzheng Gao, Cuiyun Gao, Li Zongjie, Ting Peng, Hailiang Huang, Yuetang Deng, Michael Lyu

pytest-ranking: A Regression Test Prioritization Tool for Python

Runxiang Cheng, Kaiyao Ke, Darko Marinov

Opening & Introductions

Cristian Cadar, Miryung Kim

ChatDBG: Augmenting Debugging with Large Language Models

Kyla H. Levin, Nicolas van Kempen, Emery D. Berger, Stephen N. Freund

Refactoring Detection in C++ Programs with RefactoringMiner++

Benjamin Ritz, Aleksandar Karakaš, Denis Helic

The Effects of Computational Resources on Flaky Tests

Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell

On The Challenges of Growing a Research Lab and a Toddler Simultaneously

Reyhaneh Jabbarvand

Research and Impact in Academia and Industry

11:20

LLM App Squatting and Cloning

Yinglin Xie, Xinyi Hou, Yanjie Zhao, Kai Chen, Haoyu Wang

DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models

Xing Su, Hanzhong Liang, Hao Wu, Ben Niu, Fengyuan Xu, Sheng Zhong

Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights

Rahul Krishna, Rangeet Pan, Saurabh Sinha, Srikanth Tamilselvam, Raju Pavuluri, Maja Vukovic

Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers

Lam Nguyen Tung, Steven Cho, Xiaoning Du, Neelofar Neelofar, Valerio Terragni, Stefano Ruberto, Aldeida Aleti

Towards Adaptive Software Agents for Debugging

Yacine Majdoub, Eya Ben Charrada, Haifa Touati

Prioritizing Speech Test Cases

Zhou Yang, Jieke Shi, Muhammad Hilmi Asyroﬁ, Bowen Xu, Xin Zhou, DongGyun Han, David Lo

Empirically Evaluating the Impact of Object-Centric Breakpoints on the Debugging of Object-Oriented Programs

Valentin Bourcier, Pooja Rani, Maximilian Ignacio Willembrinck Santander, Alberto Bacchelli, Steven Costiou

Building Your Research Vision

Abhik Roychoudhury

11:40

Predictive Prompt Analysis

Jae Yong Lee, Sungmin Kang, Shin Yoo

Compiler Autotuning through Multiple Phase Learning

Mingxuan Zhu, Dan Hao, Junjie Chen

Towards Diverse Program Transformations for Program Simplification

Haibo Wang, Zezhong Xing, Chengnian Sun, Zheng Wang, Shin Hwei Tan

A Causal Learning Framework for Enhancing Robustness of Source Code Models

Junyao Ye, Zhen Li, Xi Tang, Deqing Zou, Shouhuai Xu, Qiang Weizhong, Hai Jin

From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps

Yuetian Mao, Junjie He, Chunyang Chen

Automated Unit Test Refactoring

Yi Gao, Xing Hu, Xiaohu Yang, Xin Xia

An Empirical Study of Bugs in Data Visualization Libraries

Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun

12:00

Job Talk #1: Search-based Software Testing Driven by Domain Knowledge

Federico Formica

PDCAT: Preference-Driven Compiler Auto-Tuning

Mingxuan Zhu, Zeyu Sun, Dan Hao

CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction

Hridya Dhulipala, Aashish Yadavally, Smit Soneshbhai Patel, Tien N. Nguyen

Eliminating Backdoors in Neural Code Models for Secure Code Understanding

Weisong Sun, Yuchen Chen, Chunrong Fang, Yebo Feng, Yuan Xiao, An Guo, Quanjun Zhang, Zhenyu Chen, Baowen Xu, Yang Liu

Panel Discussion

Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts

Jenny T. Liang, Melissa Lin, Nikitha Rao, Brad A. Myers

Understanding and Characterizing Mock Assertions in Unit Tests

Hengcheng Zhu, Valerio Terragni, Lili Wei, Shing-Chi Cheung, Jiarong Wu, Yepang Liu

DuoReduce: Bug Isolation for Multi-Layer Extensible Compilation

Jiyuan Wang, Yuxin Qiu, Ben Limpanukorn, Hong Jin Kang, Qian Zhang, Miryung Kim

Job Talk #2: Regression Fault Detection and Mitigation in the Evolution of Deep Learning Systems

12:20

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations

Jingwen Wu, Jiajing Zheng, Zhenyu Yang, Zhongxing Yu

Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation

Haoxiang Lin, Yang Wang, Yanjie Gao, Hongyu Zhang, Ming Wu, Mao Yang

FSE 2026 Organizing Committee meeting

FSE 2026 Program Committee Meeting

JSS Board Meeting

12:40

13:00

13:20

13:40

Research Productivity and Time Management

14:00

Overlapping Events:

Towards Privacy-Preserving Code Generation: Understanding and Mitigating Memorization in Code Large Language Models

Reversing Programs for Error Reachability Analysis

Automated Vulnerability-Focused Code Reviews

On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective

Co-Intelligence in Software Engineering: Understanding and Optimizing GenAI Integration in Software Engineering for Skill Development in Time-Constrained Programming

Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages

Enhancing Large Language Model Integration in Integrated Development Environments

Towards More Interpretable Large Language Models for Code

Formal Liability Apportionment in Autonomous Systems

Fine-Grained Developer Reification

End-to-End Testing Gamification: A Novel Approach to the Verification and Validation of Web and Mobile Applications

Research Open-Source Software: supporting small communities with technical and social aspects

Generating Code Tours Using Locally-Runnable LLMs

When Performance Failure Occurs in Low-Latency Storage Systems: Observation, Prediction, and Solutions

Mediating between Human Programmers and Integrated Development Environments using LLM-based Agents

Automating the conformity assessment of Cyber-Physical Systems software

Securing Language Models Against Vulnerability Encoding

A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought

Andrei Cristian Ionescu, Sergey Titov, Maliheh Izadi

An Empirical Analysis of Issue Templates Usage in Large-Scale Projects on GitHub

Emre Sülün, Metehan Saçakcı, Eray Tüzün

Detecting and Reducing the Factual Hallucinations of Large Language Models with Metamorphic Testing

Weibin Wu, Yuhang Cao, Ning Yi, Rongyi Ou, Zibin Zheng

Large Language Models for Software Engineering: A Systematic Literature Review

Xinyi Hou, Yanjie Zhao, Yue Liu, Zhou Yang, Kailong Wang, Li Li, Xiapu Luo, David Lo, John Grundy, Haoyu Wang

HeaderSplit: An Automated Tool for Splitting Header Files in C Projects

Yue Wang, Jiaxuan Sun, Tongwei Deng, Wenhui Chang, Yanzhen Zou, Bing Xie

Automatically fixing dependency breaking changes

Lukas Fruntke, Jens Krinke

Alibaba LingmaAgent: Improving Automated Issue Resolution via Comprehensive Repository Exploration

Yingwei Ma, Qingping Yang, Rongyu Cao, Binhua Li, Fei Huang, Yongbin Li

Recasting Type Hints from WebAssembly Contracts

Kunsong Zhao, Zihao Li, Weimin Chen, Xiapu Luo, Ting Chen, Guozhu Meng, Yajin Zhou

Mentoring and Supervising Students

14:20

The Landscape of Toxicity: An Empirical Investigation of Toxicity on GitHub

Jaydeb Sarker, Asif Kamal Turzo, Amiangshu Bosu

A Tool for Generating Exceptional Behavior Tests With Large Language Models

Linghan Zhong, Samuel Yuan, Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric

Calibration of Large Language Models on Code Summarization

Yuvraj Virk, Prem Devanbu, Toufique Ahmed

AutoPyDep: A Recommendation System for Python Dependency Management Utilizing Graph-Based Analytics

Dibyendu Brinto Bose, Travis Chan, Matthew Trimble, Chris Brown

Demystifying LLM-based Software Engineering Agents

Chunqiu Steven Xia, Yinlin Deng, Soren Dunn, Lingming Zhang

Using Large Language Models to Support the Workflow of Differential Testing

Arun Krishna Vajjala, Ajay Krishna Vajjala, Carmen Badea, Christian Bird, Jade D'Souza, Robert DeLine, Mikhail Demyanyuk, Jason Entenmann, Nicole Forsgren, Aliaksandr Hramadski, Haris Mohammad, Sandeepan Sanyal, Oleg Surmachev, Thomas Zimmermann

Medusa: A Framework for Collaborative Development of Foundation Models with Automated Parameter Ownership Assignment

Dezhi Ran, Yuan Cao, Yuzhe Guo, Yuetong Li, Mengzhou Wu, Simin Chen, Wei Yang, Tao Xie

Pinning Is Futile: You Need More Than Local Dependency Versioning to Defend Against Supply Chain Attacks

Hao He, Bogdan Vasilescu, Christian Kästner

14:40

Expressing and Checking Statistical Assumptions

Alexi Turcotte, Zheyuan Wu

Code Red! On the Harmfulness of Applying Off-the-shelf Large Language Models to Programming Tasks

Ali Al-Kaswan, Sebastian Deatc, Begüm Koç, Arie van Deursen, Maliheh Izadi

Breakout Groups and Open Plenary

AEGIS: An Agent-based Framework for Bug Reproduction from Issue Descriptions

Xinchen Wang, Pengfei Gao, Xiangxin Meng, Chao Peng, Ruida Hu, Yun Lin, Cuiyun Gao

Adaptive Random Testing with Qgrams: the Illusion Comes True

Matteo Biagiola, Robert Feldt, Paolo Tonella

jAST: Analyzing and Modifying Java ASTs with Python

Marius Smytzek, Martin Eberlein, Lars Grunske, Andreas Zeller

Towards Better Comprehension of Breaking Changes in the NPM Ecosystem

Dezhen Kong, Jiakun Liu, Lingfeng Bao , David Lo

15:00

Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle

Xiaokun Luan, David Sanan, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun

PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing

Yuwei Zhang, Zhi Jin, xingying , Ge Li, Fang Liu, Jiaxin Zhu, Wensheng Dou, Jun Wei

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis

Fengjie Li, Jiajun Jiang, Jiajun Sun, Hongyu Zhang

Enhancing Game AI Behaviors with Large Language Models and Agentic AI

Ciprian Paduraru, Miruna Gabriela Paduraru, Alin Stefanescu

Dynamic Application Security Testing for Kubernetes Deployment: An Experience Report from Industry

Shazibul Islam Shamim, Hanyang Hu, Akond Rahman

On the Characteristics and Impacts of Protestware Libraries

Tanner Finken, Jesse Chen, Sazzadur Rahaman

15:20

Missing Threats: Dealing with the Treatment-sensitive Factorial Structure Bias in Empirical Software Engineering

Sabato Nocera, Giuseppe Scanniello

JSSpecVis: A JavaScript Language Specification Visualization Tool

Minseok Choe, Kyungho Song, Hyunjoon Kim, Jihyeok Park

15:40

16:00

Ask Me Anything

SIGSOFT Townhall Session

16:20

16:40

17:00

Break Out Sessions

Conference Closing, SRC Award, and FSE'26 Kick-off

17:20

17:40

18:00

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

Thu 26 Jun

Atmosphere (Restaurant)

9:00

Opening Remarks

Correctness Matters: Automatic Program Transformation in the Age of Generative AI

Claire Le Goues

Introduction and Presentation of TOSEM Outstanding Paper (TOP) Award

9:20

Keynote by TOP award winner Haipeng Cai

Introduction

Jan Bosch, Antonio Martini

9:40

The Best of Two Worlds: How to combine industrial impact and academic excellence

Helena Holmström Olsson

10:00

10:20

10:40

11:00

Lightning presentations by Authors

Insights from a industry-academia collaboration on large-scale technical debt management

Keynote 1 (Dr. Jacques Klein)

11:20

Experiences from AI-related research collaboration with industry

Phu Nguyen, Merve Astekin

11:40

Minimizing technical debt - real industry experiences and lessons learned

Håvard Stranden

12:00

LO2: Microservice API Anomaly Dataset of Logs and Metrics

Alexander Bakhtin, Jesse Nyyssölä, Yuqing Wang, Noman Ahmad, Ke Ping, Matteo Esposito, Mika Mäntylä, Davide Taibi

12:20

LogLSHD: Fast Log Parsing with Locality-Sensitive Hashing and Dynamic Time Warping

Shu-Wei Huang, Xingfang Wu, Heng Li

Leveraging LLMs for User Stories in AI Systems: UStAI Dataset

Asma Yamani, Malak Baslyman, Moataz Ahmed

12:40

13:00

TOSEM Editorial Board Meeting

13:20

Collaborating for Real‑World Impact: Experience in Software Analytics Research

13:40

Collaboration between universities, research institutes and industry – lessons learned from an EU project

Bharath Halandur Nagaraja, Frank Westad, Torbjørn Pedersen

14:00

From Observation to Insight

Keynote 2 (Dr. Haipeng Cai)

Overlapping Events:

Q&A generic for all presenters

Fish bowl discussion: Papers are not enough. How to get to real impact?

14:20

14:40

15:00

A Qualitative Investigation into LLM-Generated Multilingual Code Comments and Automatic Evaluation Metrics

Jonathan Katzy, Yongcheng Huang, Gopal-Raj Panchu, Maksym Ziemlewski, Paris Loizides, Sander Vermeulen, Arie van Deursen, Maliheh Izadi

Near-Duplicate Build Failure Detection from Continuous Integration Logs

Mingchen Li, Mika Mäntylä, Jesse Nyyssölä, Matti Luukkainen

15:20

15:40

16:00

Shared Concerns and Emerging Commitments

Leveraging LLM Enhanced Commit Messages to Improve Machine Learning Based Test Case Prioritization

Yara Q Mahmoud, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, Qasim Tauseef

Designing and Optimizing Alignment Datasets for IoT Security: A Synergistic Approach with Static Analysis Insights

Ahmad Al-Zuraiqi, Desmond Greer

16:20

Efficient Adaptation of Large Language Models for Smart Contract Vulnerability Detection

Fadul Sikder, Jeff Yu Lei, Yuede Ji

16:40

A Combined Approach to Performance Regression Testing Resource Usage Reduction

Milad Abdullah, David Georg Reichelt, Vojtech Horky, Lubomír Bulej, Tomas Bures, Petr Tuma

17:00

Security Bug Report Prediction Within and Across Projects: A Comparative Study of BERT and Random Forest

Farnaz Soltaniani, Mohammad Ghafari, Mohammed Sayagh

Towards Build Optimization Using Digital Twins

Henri Aïdasso, Francis Bordeleau, Ali Tizghadam

17:20

17:40

18:00

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

Fri 27 Jun

Atmosphere (Restaurant)

9:00

Talks on Future of Software Engineering

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems.

9:20

9:40

10:00

10:20

10:40

11:00

Implications and Consequeces of Future

11:20

11:40

12:00

12:20

12:40

13:00

13:20

13:40

14:00

Fishbowl discussions

MultiMind: A Plug-in for the Implementation of Development Tasks Aided by AI Assistants

Benedetta Donato, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli, Marco Somaschini

LLPut: Investigating Large Language Models for Bug Report-Based Input Generation

Alif Al Hasan, Subarna Saha, Mia Mohammad Imran, Tarannum Shaila Zaman

14:20

Human-AI Collaboration in Software Development: A Mixed-Methods Study of Developers’ Use of GitHub Copilot and ChatGPT

Viktoria Stray, Astri Barbala, Viggo Tellefsen Wivestad

Towards LLM-Based Automatic Playtest

Yan Zhao, Chiawei Tang

ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings

Adam Tornhill, Markus Borg, Nadim Hagatulah, Emma Söderberg

14:40

Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs

Juan Carlos Recio Abad, Rubén Saborido, Francisco Chicano

AI in Software Engineering: Perceived Roles and Their Impact on Adoption

Ilya Zakharov, Ekaterina Koshchenko, Agnia Sergeyuk

15:00

Decoding CI/CD Practices in Open-Source Projects with LLM Insights

Łukasz Chomątek, Jakub Papuga, Przemyslaw Nowak, Aneta Poniszewska-Maranda

RE-oriented Model Development with LLM Support and Deduction-based Verification

Radoslaw Klimek

How Well Do ChatGPT Models Maintain Software?

Md Mahir Asef Kabir, Sk Adnan Hassan

15:20

Chao Peng, Junjie Chen

15:40

16:00

Summarization of workshop discussions by workshop chairs

From Prompts to Properties: Rethinking LLM Code Generation with Property-Based Testing

Dibyendu Brinto Bose

Research: A Tool and Workflow for Benchmarking LLM-Based Code Improvements

Zeineb Rejiba, Raphael Eidenbenz, Johnny Borkhoche

16:20

The Impact of Hyperparameters on Large Language Model Inference Performance: An Evaluation of vLLM and HuggingFace Pipelines

Matias Martinez

16:40

Smart Building Operations and Virtual Assistants Using LLM

Reachsak Ly, Alireza Shojaei, Xinghua Gao

17:00

From Words to Wisdom: LLMs Summarizing Instructional Content

Łukasz Chomątek, Wojciech Słabosz, Aneta Poniszewska-Maranda

17:20