Program - ICSE 2025

Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada

Detailed Table Column Timeline Session Timeline Detailed Timeline

Get Calendar (iCal)

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

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

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

Sat 26 Apr

Ottawa Sign for Illumination Celebration 6 York St

20:20

Photo-op Sat

20:40

21:00

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

Sun 27 Apr

209 Poster Area

2nd Floor Rideau Canal Atrium

Canada Hall 3 Poster Area

Canada Hall 3 plus Foyer

Ottawa Sign for Illumination Celebration 6 York St

8:00

Registration Sunday

8:20

8:40

9:00

Towards an Interpretable Science of Deep Learning for Engineering Quality Software: A Causal Inference View

Denys Poshyvanyk

Welcome and Introductions

Aymeric Blot, Vesna Nowack, Oliver Krauss, Penn Rainford

Assuring AI in Autonomous Driving: Challenges and Emerging Approaches

Krzysztof Czarnecki

AI-assisted Development — Next-Generation Software Reuse?

Welcome by the Chairs

Michael W. Godfrey

Introduction from The Chairs

Xin Xia, David Lo, Cuiyun Gao, Denys Poshyvanyk

Day 1 Opening

Rashina Hoda, Ronnie de Souza Santos, Bianca Trinkenreich

Introduction

Luciano Baresi, Jacques Klein, Li Li, Linghui Luo, Jordan Samhi

Welcome from the organizers

Sallam Abualhaija, Daniel Amyot, Chetan Arora, Alessio Ferrari, Paola Spoletini, Davide Fucci

When the Design is Right

Rob van Ommering

Keynote: LLMs (for code) are often wrong. What to do?

A History of RE as Seen by a Still-Active Alter Kaker Who Was in It From Before the Beginning

Put on Your Tester Hat: Improving programs for Automated Program Generation

Theories of Program Comprehension in the Age of LLMs

Mali Izadi, Sebastiano Panichella

9:20

An Interoperable Ontology-based Information Model for Better Integration of Building Physics and IoT Data Analytics Models

Jose Manuel Broto, Jordi Cipriano, Gerard Mor, Oriol Gavalda, Shahin Masoumi-Verki, Ursula Eicker

Is Prompt Engineering?

Unpacking Organizational Change in AI Transformations of Software Engineering

Theocharis Tavantzis, Robert Feldt

Keynote: Mobile Application Testing with Large Language Models: Landscape and Vision

Breaking the Silence: the Threats of Using LLMs in Software Engineering

June Sallou, Annibale Panichella

9:40

Human and Machine: How Software Engineers Perceive and Engage with AI-Assisted Code Reviews Compared to Their Peers

Adam Alami, Neil Ernst

A Conceptual Model for Trustworthiness in Intelligent IoT Systems

Romina Spalazzese, Martina De Sanctis, Andreas Jacobsson, Fahed Alkhabbas, Paul Davidsson

10:00

Will You Trust Me More Than ChatGPT? Evaluating LLM-Generated Code Feedback for Mock Technical Interviews

Swanand Vaishampayan, Chris Brown

Beyond Automation: Building Bots That Actually Help

Combining Language and App UI Analysis for the Automated Assessment of Bug Reproduction Steps

Junayed Mahmud, Antu Saha, Oscar Chaparro, Kevin Moran, Andrian Marcus

Activity (part 1)

Recommending Pre-Trained Models for IoT Devices

Parth Vinod Patil, Wenxin Jiang, Huiyun Peng, Daniel Lugo, Kelechi G. Kalu, Josh LeBlanc, Lawrence Smith, Hyeonwoo Heo, Nathanael Aou, James C. Davis

Characterizing Bugs in Login Processes of Android Applications: An Empirical Study

Zixu Zhou, Rufeng Chen, Junfeng Chen, Yepang Liu, Lili Wei

Human-Machine Teaming and Team Effectiveness in AI tools for Software Engineering

Irum Rauf, Helen Sharp, Tamara Lopez, Michel Wermelinger

10:20

Session's Discussion: "App Comprehension"

Overlapping Events:

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

Adam Tornhill, Markus Borg

Experiences with Technical Debt and its Root Causes in a Merged Industrial Company

Magnus Drewsen Jørgensen, Nina Wiborg Mølgaard, Morten Jokumsen, Jens Bæk Jørgensen, Henrik Bærbak Christensen

Overlapping Events:

Enhancing Healthcare with Digital Twins: A Comparative Approach Using AI and AI-Enhanced Digital Twins

Hamid Mcheick, Pamela Achouh

Table Talk, Exploring Low Code for IoT Applications

David Thomas, Will Samadi

Sunday Morning Break

10:40

11:00

Aligning Data Debt with AI-Integrated Software Project Lifecycle Processes: A Standard-Based Mapping Approach

Nilay Yorgancılar Akgül, Tugba Taskaya Temizel, Özden Özcan Top, Pelin Dayan Akman

What is new when talking about sustainable software architectures?

Elisa Yumi Nakagawa, Rick Kazman

Large Language Model based Code Completion is an Effective Genetic Improvement Mutation

Jingyuan Wang, Carol Hanna, Justyna Petke

CPS Falsification using Autoencoded Input Models

Youssef Zahar, Sanjai Rayadurgam

A Framework for Reusable Infrastructure as Code Templates in Cloud-Native Environments

Haoran Wei, Nazim Madhavji, John Steinbacher

CalmDroid: Core-Set Based Active Learning for Multi-Label Android Malware Detection

Minhong Dong, Liyuan Liu, Mengting Zhang, Sen Chen, Wenying He, Ze Wang, Yude Bai

A Preliminary Study of Fixed Flaky Tests in Rust Projects on GitHub

Tom Schroeder, Minh Phan, Yang Chen

Keynote: Trust No Bot? Forging Confidence in AI for Software Engineering

Thomas Zimmermann

Rule-Based Assessment of Reinforcement Learning Practices Using Large Language Models

Evangelos Ntentos, Stephen John Warnett, Uwe Zdun

Distinguished paper Award Candidate

Towards a Taxonomy for Autonomy in Large-Scale Agile Software Development

Casper Lassenius, Torgeir Dingsøyr

Talk 1: Precisely Extracting Complex Variable Values from Android Apps

Marc Miltenberger

Untangling Shared Phenomena for Improving Analysis of Normative Requirements

Junwei Quan, Lina Marsso, Dalal Alrajeh, Marsha Chechik

A Bot Identification Model and Tool Based on GitHub Activity Sequences

Natarajan Chidambaram, Alexandre Decan , Tom Mens

Analyzing Toxicity in Open Source Software Communications Using Psycholinguistics and Moral Foundations Theory

Ramtin Ehsani, Shadi Rezapour, Preetha Chatterjee

Modernizing Application Development for IoT

Towards Task-Harmonious Vulnerability Assessment based on LLM

Zaixing Zhang, Chang Jianming, Tianyuan Hu, Lulu Wang, Bixin Li

Exploring Retrospective Meeting Practices and the Use of Data in Agile Teams

Alessandra Maciel Paz Milani, Margaret-Anne Storey, Vivek Katial, Lauren Peate

Designing and implementing LLM guardrails components in production environments

Mateus Devino, Evaline Ju, Paulo Marques Caldeira Junior

11:20

Documenting and Communicating Design Decisions

Steven D. Fraser, Dennis Mancl

Slicing-Based Approach for Detecting and Patching Vulnerable Code Clones

Hakam W. Alomari, Christopher Vendome, Himal Gyawali

Beyond Test Flakiness: A Manifesto for a Holistic Approach to Test Suite Health

Phil McMinn, Muhammad Firhard Roslan, Gregory Kapfhammer

The Role of the Retrospective Meetings in Detecting, Refactoring and Monitoring Community Smells

Carlos Dantas, Tiago Massoni, Camila Sarmento, Rayana Rocha, Danielly Gualberto

The Secret Life of Bots in Pull Requests: An Empirical Study based on Apache Projects

Chenhao Wei, Lu Xiao, Yutong Zhao, Ting Liao

SkillScope: A Tool to Predict Fine-Grained Skills Needed to Solve Issues on GitHub

Benjamin C. Carter, Jonathan Rives Contreras, Carlos A. Llanes, Pawan Acharya, Jack Utzerath, Adonijah O. Farner, Hunter Jenkins, Dylan Johnson, Jacob Penney, Igor Steinmacher, Marco Gerosa, Fabio Marcos De Abreu Santos

Themes of Building LLM-based Applications for Production: A Practitioner's View

Alina Mailach, Sebastian Simon, Johannes Dorn, Norbert Siegmund

Automating Technical Debt Management: Insights from Practitioner Discussions in Stack Exchange

João Paulo Biazotto, Daniel Feitosa, Paris Avgeriou, Elisa Yumi Nakagawa

Enhancing Software Runtime with Reinforcement Learning-Driven Mutation Operator Selection in Genetic Improvement

Damien Bose, Carol Hanna, Justyna Petke

Modeling Language for Scenario Development of Autonomous Driving Systems

Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida

Large Language Model assisted Transformation of Software Variants into a Software Product Line

Johannes Stümpfle, Devansh Atray, Nasser Jazdi, Michael Weyrich

Revisiting Security Practices for GitHub Actions Workflows

SEESAW: An Educational App for Smart Kiosks

Nearchos Paspallis, Nicos Kasenides, Natalie Evans

A Taxonomy of Real-World Defeaters in Safety Assurance Cases

Usman Gohar, Michael Hunter, Myra Cohen, Robyn Lutz

Integrating User Experience Design and Agile Software Development Processes

Fayaz Suleman, David Wilson

Leveraging multi-task learning to improve the detection of SATD and vulnerability

Hybrid Work in Agile Software Development: Recurring Meetings

Emily Laue Christensen, Maria Paasivaara, Iflaah Salman

Observing bots in the wild: A quantitative analysis of a large open source ecosystem

Natarajan Chidambaram, Tom Mens

Synthesizing Access Control Policies using Large Language Models

Adarsh Vatsa, Pratyush Patel, William Eiers

11:40

Leveraging Context Information for Self-Admitted Technical Debt Detection

Miki Yonekura, Yutaro Kashiwa, Bin Lin, Kenji Fujiwara, Hajimu Iida

InsightAI: Root Cause Analysis in Large Hierarchical Log Files with Private Data Using Large Language Models

Maryam Ekhlasi, Anurag Prakash, Michel Dagenais, Maxime Lamothe

Empirically Evaluating Flaky Tests for Autonomous Driving Systems in Simulated Environments

Olek Osikowicz, Phil McMinn, Donghwan Shin

LLMs in Mobile Apps: Practices, Challenges, and Opportunities

Kimberly Hau, Safwat Hassan, Shurui Zhou

Personalized Code Readability Assessment: Are We There Yet?

Antonio Vitale, Emanuela Guglielmi, Rocco Oliveto, Simone Scalabrino

A Cluster-based Approach for Emotion Recognition in Software Development

Daniela Grassi, Filippo Lanubile, Alberta Motca-Schnabel, Nicole Novielli

Semantic API Alignment: Linking High-level User Goals to APIs

Robert Feldt, Riccardo Coppola

Assessing Compliance of Software System Designs to Laws, Regulations, and their Underlying Values

Agnieszka Marczak-Czajka, Katherine R. Dearstyne, Jane Cleland-Huang

Developing Multi-Agent LLM Applications through Continuous Human-LLM Co-Programming

Hui Song, Arda Goknil, Xiaojun Jiang, Espen Melum, Hyunwhan Joe, Caterina Gazzotti, Valerio Frascolla, Adela Nedisan Videsjorden, Phu Nguyen

GZoltarAction: A Fault Localization Bot for GitHub Repositories

Hugo Paiva, José Campos, Rui Abreu

12:00

Experiences with Technical Debt and its Root Causes in a Merged Industrial Company

Magnus Drewsen Jørgensen, Nina Wiborg Mølgaard, Morten Jokumsen, Jens Bæk Jørgensen, Henrik Bærbak Christensen

Empirical Comparison of Runtime Improvement Approaches: Genetic Improvement, Parameter Tuning, and Their Combination

Thanatad Songpetchmongkol, Aymeric Blot, Justyna Petke

Robustness Verification of Video Classification Neural Networks

Samuel Sasaki, Preston K. Robinette, Diego Manzanas Lopez, Taylor T Johnson

Exploiting Vision-Language Models in GUI Reuse

Victoria Niu, Walaa Alshammari, Naga Mamata Iluru, Padmaja Vaishnavi Teeleti, Nan Niu, Tanmay Bhowmik, Jianzhang Zhang

Automated Refactoring of Non-Idiomatic Python Code: A Differentiated Replication with LLMs

Panel Discussion

AccessiblePreview: Facilitating the Implementation and Visualization of Accessibility in Mobile Applications Developed with SwiftUI

Samuel Brasileiro dos Santos Neto, Kiev Gama

Activity (part 2)

Sonar: Detecting Logic Bugs in DBMS through Generating Semantic-aware Non-Optimizing Query

Shiyang Ye, Chao Ni, Jue Wang, Qianqian Pang, Xinrui Li, xiaodanxu

Mini Panel 1

Towards Emotionally Intelligent Software Engineers: Understanding Students' Self Perceptions After a Cooperative Learning Experience

Allysson Allex Araújo, Marcos Kalinowski, Matheus Paixao, Daniel Graziotin

Evaluating Large Language Models in Exercises of UML Use Case Diagrams Modeling

Giacomo Garaccione, Pablo Federico Vega Carrazan, Riccardo Coppola, Luca Ardito

Should We Use Rust Platform in Our IoT Applications? A Multivocal Review

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

Adam Tornhill, Markus Borg

Opportunities and Challenges of Software Engineering Bots: A Forward-Looking Analysis

A Study on Applying Large Language Models to Issue Classification

Breaking Barriers in Mobile Accessibility: A Study of LLM-Generated Native Android Interfaces

Daniel Mesquita Feijó Rabelo, Ribamar Souza, Isaac Santos, Paulo Henrique, Kiev Gama, Windson Viana

12:20

Lighting Talk: Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance?

Shaiful Chowdhury, Hisham Kidwai, Muhammad Asaduzzaman

Session's Discussion: "Vulnerabilities, Technical Debt, Defects"

Automating Benchmark Generation for LLMs in Software Engineering: Challenges and Opportunities

Nimrod Busany, Hananel Hadad, Gil Rosenblum, Zofia Maszlanka, Rohit Shelke, Okhaide Akhigbe, Daniel Amyot

Sunday Lunch

12:40

13:00

13:20

13:40

14:00

The TechDebt Game - Enabling Discussions about Technical Debt

Marion Wiese, Angelina Heinrichs, Nino Rusieshvilli, Rodrigo Rebouças de Almeida, Klara Borowa

Software Design at the Intersection of AI, Academia, and Industry

Automated Software Performance Improvement with Magpie

The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs

Chengsong Tan, Alastair F. Donaldson, Jonathan Julian Huerta y Munive, John Wickerson

MONO2REST: Identification and exposition of micro-services: a reusable RESTification approach

Matthéo Lecrivain, Hanifa Barry, Dalila Tamzalit, Houari Sahraoui

JavaWiz: A Trace-Based Graphical Debugger for Software Development Education

Markus Weninger, Simon Grünbacher, Herbert Prähofer

Evaluating NonDex for Modern Java Ecosystem

Kaiyao Ke, Darko Marinov

RepoHyper: Search-Expand-Refine on Semantic Graphs for Repository-Level Code Completion

Huy Nhat Phan, Hoang Nhat Phan, Tien N. Nguyen, Nghi D. Q. Bui

How Do Model Export Formats Impact the Development of ML-Enabled Systems? A Case Study on Model Integration

Shreyas Kumar Parida, Ilias Gerostathopoulos, Justus Bogner

Distinguished paper Award Candidate

Prof Alexander Serebrenik - SDDI: Between AI and Comply

Alexander Serebrenik

Talk 2: On the Generation of Meaningful Test Cases for Mobile Apps

Leonardo Mariani

Building REsilience: Antifragility through Multidisciplinarity in Requirements Engineering

Panel Discussion

Opening & Code Comment Classification Competition

Giuseppe Colavito, Pooja Rani, Ali Al-Kaswan, Nataliia Stulova

A Pattern-Driven Middleware Architecture for IoT Data

Zongo Meyo, Gabriel C. Ullmann, Rushin Dipak Makwana, Oriol Gavalda

Pinpointing the Learning Obstacles of an Interactive Theorem Prover

Sára Juhošová, Andy Zaidman, Jesper Cockx

SoTaNa: An Open-Source Software Engineering Instruction-Tuned Model

Ensheng Shi, Yanlin Wang, Fengji Zhang, Bei Chen, Hongyu Zhang, Yanli Wang, Daya Guo, Lun Du, Shi Han, Dongmei Zhang, Hongbin Sun

Code Comment Classification with Data Augmentation and Transformer-Based Models

Mushfiqur Rahman, Mohammed Latif Siddiq

RAGProbe: Breaking RAG Pipelines with Evaluation Scenarios

Shangeetha Sivasothy, Scott Barnett, Stefanus Kurniawan, Zafaryab Rasool, Rajesh Vasa

Distinguished paper Award Candidate

14:20

AI-based automated grading of source code of introductory programming assignments

Jayant Havare, Varsha Apte, Kaushikraj Maharajan, Nithin Chandra Gupta Samudrala, Ganesh Ramakrishnan, Srikanth Tamilselvam, Sainath Vavilapalli

On the Perception and Adoption of Flakiness Scores

Joanna Kisaakye, Mutlu Beyazıt, Serge Demeyer

ResearchBot: Bridging the Gap between Academic Research and Practical Programming Communities

Sahar Farzanehpour, Swetha Rajeev, Huayu Liang, Ritvik Prabhu, Chris Brown

GRAPHiC: Utilizing Graph Structures and Class Weights in Code Comment Classification with Pretrained BERT Models

Pir Sami Ullah Shah, Shahela Saif, Muhammad Haris Athar, Muhammad Riyaan Tariq, Abdur Rehman Afzal

Automated Codebase Reconciliation using Large Language Models

Aneri Gandhi, Sanjukta De, Marsha Chechik, Vinay Pandit, Max Kiehn, Matthieu Chan Chee, Yonas Bedasso

Advances in Requirements Engineering for IoT and CPS: A Survey on Model-Driven Research and Practices

Mirza Rehenuma Tabassum, Sadaf Mustafiz

Perspective-Taking as a Strategy to Manage Technical Debt

Kezia Devathasan, Mike Rowling

A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B

Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Ait Ameur, Marc Frappier

Semantic Dependency in Microservice Architecture

Amr Elsayed, Kari E Cordes, Austin Medina, Tomas Cerny

An Analysis of Students' Program Comprehension Processes in a Large Code Base

Anshul Shah, Thanh Tong, Elena Tomson, Steven Shi, William G. Griswold, Gerald Soosairaj

On-Device or Remote? On the Energy Efficiency of Fetching LLM-Generated Content

Vince Nguyen, Hieu Huynh, Vidya Dhopate, Anusha Annengala, Hiba Bouhlal, Gian Luca Scoccia, Matias Martinez, Vincenzo Stoico, Ivano Malavolta

Can you mimic me? Exploring the Use of Android Record & Replay Tools in Debugging

Zihe Song, S M Hasan Mansur, Ravishka Rathnasuriya, Yumna Fatima, Wei Yang, Kevin Moran, Wing Lam

Evaluating the Performance and Efficiency of Sentence-BERT for Code Comment Classification

Fabian C. Peña, Steffen Herbold

AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code

Lola Solovyeva, Sophie Weidmann, Fernando Castor

14:40

A Quantitative Approach to Measuring Technical Debt: The Technical Debt Index (TDI)

OVERLORD: A C++ overloading inspector

Optimizing Deep Learning Models to Address Class Imbalance in Code Comment Classification

Moritz Mock, Thomas Borsani, Giuseppe Di Fatta, Barbara Russo

Optimizing Code Runtime Performance through Context-Aware Retrieval-Augmented Generation

Reduction of Test Re-runs by Prioritizing Potential Order Dependent Flaky Tests

Hasnain Iqbal, Zerina Begum, Kazi Sakib

LoCoML: A Framework for Real-World ML Inference Pipelines

Kritin Maddireddy, Santhosh Kotekal Methukula, Chandrasekar S, Karthik Vaidhyanathan

Evaluating Taint Specification Generators for Identifying Taint Sources in Relation to Data Safety Section

Hiroki Inayoshi, Shoichi Saito, Akito Monden

Supporting Brainstorming Activities with Bots in Software Engineering Education

Juan Carlos Farah, Jérémy La Scala, Sandy Ingram, Denis Gillet

Automating Dead Code Cleanup: Challenges Beyond the Code

Investigating Execution-Aware Language Models for Code Optimization

Federico Di Menna, Luca Traini, Gabriele Bavota, Vittorio Cortellessa

SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation

CodeComClassify: Automating Code Comments Classification using BERT-based Language Models

Khubaib Amjad Alam, Wajid Ali, Nadeem Abbas, Muhammad Haroon, Summan Aziz, Meer Hashaam Khan, Zahoor Ahmad

Towards a Portable Implementation of a Visual Block Language for IoT Applications

Kwanghoon Choi, Sujee Noh , Kyungjae Kim , Seungchan Park , Hyeon-Ah Moon , Byeong-Mo Chang

SE Arena: An Interactive Platform for Evaluating Foundation Models in Software Engineering

Towards Continuous Experiment-driven MLOps

Keerthiga Rajenthiram, Milad Abdullah, Ilias Gerostathopoulos, Petr Hnětynka, Tomas Bures, Gerard Pons, Besim Bilalli, Anna Queralt

15:00

Addressing Technical Debt through Collaboration

Steven D. Fraser

Probabilistic Model Checking of Disaster Resource Distribution Strategies

Kenneth Johnson, Meena Kumari

Unveiling the Impact of Sampling on Feature Selection for Performance Prediction in Configurable Systems

João Marcello Bessa Rodrigues, Millena Cavalcanti, Mathieu Acher, Markus Endler, Juliana Alves Pereira

Understanding Data Access in Microservices Applications Using Interactive Treemaps

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback

Yun Peng, Akhilesh Deepak Gotmare, Michael Lyu, Caiming Xiong, Silvio Savarese, Doyen Sahoo

The Developer Experience of LGBTQIA+ People in Agile Teams: a Multivocal Literature Review

Edvaldo R. Wassouf-Jr, Debora Paiva, Kiev Gama, Awdren Fontão

On-Device Mobile Application Testing

Inte Vleminckx, Elif Parlak, Onur Kilincceker, Serge Demeyer

Activity (part 3)

Competition Closing

Giuseppe Colavito, Pooja Rani, Ali Al-Kaswan, Nataliia Stulova

Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program Versions

Mini Panel 2

Towards a Framework for Multi-Bot Collaboration

Alberto Mimbrero, José Antonio Parejo Maestre, Pablo Fernandez, Miguel Romero-Arjona, Sergio Segura

War Stories in TechDebt

Reed Milewicz, Fatemeh Hendijani Fard

Effectively Modeling UI Transition Graphs for Android Apps via Reinforcement Learning

Wunan Guo, Zhen Dong, Liwei Shen, Daihong Zhou, Bin Hu, Chen Zhang, Hai Xue

HyRACC: A Hybrid Retrieval-Augmented Framework for More Efficient Code Completion

Chuanyi Li, Jiwei Shang, Yi Feng, Bin Luo

Workshop closing

Mali Izadi, Sebastiano Panichella

A Three-Stage Genetic Algorithm for Compiler Flag and Library Version Selection to Minimize Execution Time

Chi Ho Chan, Spyro Nita

Affirmative Hackathon for Software Developers with Disabilities: An Industry Initiative

Thayssa Rocha, Nicole Davila, Rafaella Vaccari, Nicoly Menezes, Marcelle Mota, Edward Monteiro, Cleidson de Souza, Gustavo Pinto

Talk 3: Conquering iOS PREQ Hurdles

Verifying Security and Safety for Heterogeneous IoT Applications: MDE Approach

Lobna Abuserrieh , Manar Alalfi

15:20

Session's Discussion: "Education, Debugging, Dynamic Analysis"

OptCodeTrans: Boost LLMs on Low-Resource Programming Language Translation

Overlapping Events:

Table Talk, Exploring Low Code for IoT Applications

David Thomas, Will Samadi

Enhancing Healthcare with Digital Twins: A Comparative Approach Using AI and AI-Enhanced Digital Twins

Hamid Mcheick, Pamela Achouh

Sunday Afternoon Break

15:40

16:00

Birds of a Feather: Methods for Teaching Software Design - Collecting Goals and Practices

The gem5 C++ glibc Heap Fitness Landscape

William Langdon, Bobby Bruce

Specifying Distributed Hash Tables with Allen Temporal Logic

Nuno Policarpo, José Fragoso Santos, Alcino Cunha, João Leitão, Pedro Ákos Costa

DockInsight: A Knowledge-Augmented Dependency Extraction Approach for Dockerfile

Zhiling Zhu, Tieming Chen, Yunjin Zhong, Qijie Song

Optimizing Datasets for Code Summarization: Is Code-Comment Coherence Enough?

Antonio Vitale, Antonio Mastropaolo, Rocco Oliveto, Massimiliano Di Penta, Simone Scalabrino

Dataset/Tool Demonstrations

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements

Moein Abtahi, Akramul Azim

Optimizing Data Analytics Workflows through User-driven Experimentation: Progress and Updates

Irresponsibility Killed the Cat: Software Accountability Concerns

Aria Zegers, Natalie Preciado, Jan Duchnowski, Fernanda Madeiral, Emitzá Guzmán

EDATA: Energy Debugging And Testing for Android

Erik Blokland, Luís Cruz, Arie van Deursen

Exploring Large Language Models for Requirements on String Values

Aren Babikian, Boqi Chen, Gunter Mussbacher

Towards a Newcomers Dataset to Assess Conversational Agent�s Efficacy in Mentoring Newcomers

Misan Etchie, Hunter Beach, Katia Romero Felizardo, Igor Steinmacher

Dependable Software-Optimized Energy Management for IoT-Enabled Smart Buildings

Aycha Abid, Amine Barrak, Issouf Bakayoko, Fehmi Jaafar, David Rankourt

CoCo Challenges in ML Engineering Teams: How to Collaboratively Build ML-Enabled Systems

CMDeSum: A Cross-Modal Deliberation Network for Code Summarization

Zhifang Liao, Xiaoyu Liu, Peng Lan, Song Yu, Pei Liu

Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models

Marc Bruni, Fabio Gabrielli, Mohammad Ghafari, Martin Kropp

Towards a Privacy-by-Design Framework for ML-Enabled Systems

Towards an Adoption Framework to Foster Trust in AI-Assisted Software Engineering

In Defence of Collaboration Ecosystems: Addressing Critical Collaboration Elements, Cognitive Biases, and the Role of Technology

Larry Abdullai, Kseniia Perova, Jari Porras, Sanaul Haque, Ekaterina Albats, Stefanie Kunkel

AndroWatts: Unpacking the Power Consumption of Mobile Device’s Components

Edouard Guegain, Remy Raes, Noé Chachignot, Clément Quinton, Romain Rouvoy

16:20

CLCoSum: Curriculum Learning-based Code Summarization for Code Language Models

Hongkui He, Jiexin Wang, Liuwen Cao, Yi Cai

A Holistic Framework for Evolving AI-based Systems

Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots

Christoph Treude, Chris Poskitt

Vulnerability-Triggering Test Case Generation from Third-Party Libraries

Yi Gao, Xing Hu, Zirui Chen, Tongtong Xu, Xiaohu Yang

Assessing and Enhancing the Robustness of LLM-based Multi-Agent Systems Through Chaos Engineering.

Hybrid Runtime for Cloud-Native Deployment in High-Performance IoT Edge

Basma El Gaabouri, Chris Adeniyi-Jones, Hugo Ferreira, Eric Van Hensbergen

LLM-Assisted Crossover in Genetic Improvement of Software

Dimitrios Stamatios Bouras, Justyna Petke, Sergey Mechtaev

Temporal Logics Meet Real-World Software Requirements: A Reality Check

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

Porting an LLM based Application from ChatGPT to an On-Premise Environment

Teemu Paloniemi, Manu Setälä, Tommi Mikkonen

DLCoG: A Novel Framework for Dual-Level Code Comment Generation based on Semantic Segmentation and In-Context Learning

Zhang Zhiyang, Haiyang Yang, Qingyang Yan, Hao Yan, Wei-Huan Min, Zhao Wei, Li Kuang, Yingjie Xia

Designing ML-Enabled Software Systems with ML Model Composition: A Green AI Perspective

Creative Problem-Solving: A Study with Blind and Low Vision Software Professionals

Karina Kohl, Yoonha Cha, Victoria Jackson, Rafael Prikladnicki, Andre van der Hoek, Stacy Branham

Toward Understanding and Detecting Battery Saver Issues in Android Apps

Wander Siemers, Luís Cruz, Mattia Fazzini

On the Automated Generation of UI for Template-based Requirements Specification

Ikram Darif, Ghizlane El Boussaidi, Segla Kpodjedo

Microservices Performance Testing with Causality-enhanced Large Language Models

A Metrics-Oriented Architectural Model to Characterize Complexity on Machine Learning-Enabled Systems

16:40

Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations

Pablo Valenzuela-Toledo, Chuyue Wu, Sandro Hernández, Alexander Boll, Roman Machacek, Sebastiano Panichella, Timo Kehrer

MaRV: A Manually Validated Refactoring Dataset

Henrique Gomes Nunes, Tushar Sharma, Eduardo Figueiredo

Identification and Optimization of Redundant Code Using Large Language Models

Towards debiasing code review support

Tobias Jetzen, Xavier Devroey, Nicolas Matton, Benoît Vanderose

Predicting the Root Cause of Flaky Tests Based on Test Smells

Jing Wang, Weixi Zhang, Weixi Zhang, Ruilian Zhao, Ying Shang

Systematic Testing of Security-Related Defects in LLM-Based Applications

Unlocking Mental Health: Exploring College Students' Well-being through Smartphone Behaviors

Wei Xuan, Meghna Roy Chowdhury, Yi Ding, Yixue Zhao

Bridging HCI and AI Research for the Evaluation of Conversational SE Assistants

Jonan Richards, Mairieli Wessel

Large Language Models are Qualified Benchmark Builders: Rebuilding Pre-Training Datasets for Advancing Code Intelligence Tasks

Kang Yang, Xinjun Mao, Shangwen Wang, Yanlin Wang, Tanghaoran Zhang, Yihao Qin, Bo Lin, Zhang Zhang, Yao Lu, Kamal Al-Sabahi

PyResBugs: A Dataset of Residual Python Bugs for Natural Language-Driven Fault Injection

Model-Based Verification for AI-Enabled Cyber-Physical Systems through Guided Falsification of Temporal Logic Properties

The Good, the Bad, and the (Un)Usable: A Rapid Literature Review on Privacy as Code

Nicolás E. Díaz Ferreyra, Sirine Khelifi, Nalin Arachchilage, Riccardo Scandariato

The Heap: A Contamination-Free Multilingual Code Dataset for Evaluating Large Language Models

Open SC meeting

17:00

Aymeric Blot, Oliver Krauss

Detecting Redundant Preconditions

Nicola Thoben, Heike Wehrheim

Extracting Formal Specifications from Documents Using LLMs for Test Automation

Hui Li, Zhen Dong, Siao Wang, Hui Zhang, Liwei Shen, Xin Peng, Dongdong She

ELDetector: An Automated Approach Detecting Endless-loop in Mini Programs

Nan Hu, Ming Fan, Jingyi Lei, Jiaying He, Zhe Hou

Inequity in Software Engineering: Looks that Matter

Mary Sánchez-Gordón, Rahul Mohanani, Ricardo Colomo-Palacios

Open Discussion

Wrap up and closing

Sallam Abualhaija, Daniel Amyot, Chetan Arora, Alessio Ferrari, Paola Spoletini, Davide Fucci

Reducing Alert Fatigue via AI-Assisted Negotiation: A Case for Dependabot

Raula Gaikovina Kula

Using Large Language Models to Generate Concise and Understandable Test Case Summaries

Testing Android Third Party Libraries with LLMs to Detect Incompatible APIs

Tarek Mahmud, Bin Duan, Meiru Che, Anne Ngu, Guowei Yang

Lost in Transition: The Struggle of Women Returning to Software Engineering Research after Career Breaks

Shalini Chakraborty, Sebastian Baltes

Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots

Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise Dennis

Towards Generating the Rationale for Code Changes

17:20

Day 1 Closing

Session's Discussion: "Summarisation, Natural Language Generation"

Day 1 Closing

Awards and Closing

17:40

18:00

18:20

18:40

19:00

19:20

19:40

20:00

20:20

Photo Op Sun

20:40

21:00

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

Mon 28 Apr

209 Poster Area

2nd Floor Rideau Canal Atrium

Canada Hall 3 Poster Area

Canada Hall 3 plus Foyer

Ottawa Sign for Illumination Celebration 6 York St

Prohibition House Restaurant for CSEE&T Welcome Reception

Waverley Restauant

8:00

Registration Monday

8:20

8:40

9:00

Leveraging Research to Inform Structural Technical Debt Management

Ciera Jaspan, Collin Green

Keynote by Mariano Ceccato

Mariano Ceccato

Welcome to RoSE 2025

Design as a Creative Act

Adversarial Perturbations and Self-Defenses for Large Language Models on Coding Task

Corina S. Pasareanu

SEAMS 2025 Opening

Siobhán Clarke, Shiva Nejati, Thomas Vogel

Rajlich Career Award

The Engaged Learner: From Experience to Learning and Impact

Keynote: Large language models for agentic software engineering

Beyond Machine Learning and Foundation Models: A Research Roadmap for Multi-Paradigm AI Engineering

Marcos Kalinowski

Day 2 Opening - Welcome and Awards

Personalized Fuzzing

Official Opening

MIP Award: "I know what you did last summer: an investigation of how developers spend their time"

Roberto Minelli, Andrea Mocci, Michele Lanza

ROS Introspect: Understanding ROS Packages in Python

9:20

Software Adaptation is Easy, Social Adaptation is Hard

Bashar Nuseibeh

Prof Margaret-Ann Storey - AI and the Future of Software Development: Learning from Industry, Research, and Human-Centered Theories

Margaret-Anne Storey

Mining BOMs for Improving Supply Chain Efficiency & Resilience

Mining BOMs for Improving Supply Chain Efficiency & Resilience

9:40

10:00

AgileCoder: Dynamic Collaborative Agents for Software Development based on Agile Methodology

Minh Nguyen Huynh, Thang Phan Chau, Phong X. Nguyen, Nghi D. Q. Bui

All You Need is an AI Platform: A Proposal for a Complete Reference Architecture

Model-Based Systems Engineering Toolchains for Software Development of Robotic Autonomous Systems

Calvin Cheung, Andrew Pfiel

Overlapping Events:

Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems

Finding Trojan Triggers in Code LLMs: An Occlusion-based Human-in-the-loop Approach

Enhancing Pull Request Reviews: Leveraging Large Language Models to Detect Inconsistencies Between Issues and Pull Requests

Ali Tunahan Işık, Hatice Kübra Çağlar, Eray Tüzün

Overlapping Events:

Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems

Random Perturbation Attacks on LLMs for Code Generation

Safeguarding LLM-Applications: Specify or Train?

10:20

Task decomposition and RAG as Design Patterns for LLM-based Systems

Monday Morning Break

10:40

11:00

Most Influential Paper: Detecting and Quantifying Different Types of Self-Admitted Technical Debt

Everton Maldonado, Emad Shihab

Keynote by Marcel Böhme

Micro Frontend Architecture for Robotic Systems: A Systematic Approach with Design Rationale

Uanderson Silva, Matheus Andrade, José Cruz, Andresa Almeida da Silva, Augusto Sampaio, Kiev Gama

Insights from the Frontline: GenAI Utilization Among Software Engineering Students

Rudrajit Choudhuri, Ambareesh Ramakrishnan, Amreeta Chatterjee, Bianca Trinkenreich, Igor Steinmacher, Marco Gerosa, Anita Sarma

Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems

LLM-based Generation of Weakest Preconditions and Precise Array Invariants

Daragh King, Vasileios Koutavas, Laura Kovács

Symbolic State Seeding Improves Coverage Of Reinforcement Learning

Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wąsowski

Terminal Lucidity: Envisioning the Future of the Terminal

Michael MacInnis, Olga Baysal, Michele Lanza

Assessing Work-Based Learning in the Senior Years of a Software Engineering Graduate Apprenticeship Program

Syed Waqar Nabi, Oana Andrei, Matthew Barr, Quintin Cutts, Joseph Maguire, Alistair Morrison, Jack Parkinson, Derek Somerville, Tim Storer

Extracting Fix Ingredients using Language Models

Julian Prenner, Romain Robbes

ImageBiTe: A Framework for Evaluating Representational Harms in Text-to-Image Models

Sergio Morales, Robert Clarisó, Jordi Cabot

Exit the Code: A Model for Understanding Career Abandonment Intention Among Software Developers

Tiago Massoni, Ricardo Duarte, Ruan Oliveira

Acceptance Test Generation with Large Language Models: An Industrial Case Study

Margarida Ferreira, Luís Viegas, João Pascoal Faria, Bruno Lima

Optimizing Data Analytics Workflows through User-driven Experimentation: Progress and Updates

Keerthiga Rajenthiram

Learning from Mistakes: Understanding Ad-hoc Logs through Analyzing Accidental Commits

Yi-Hung Chou, Yiyang Min, April Wang, James Jones

Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply Chain Attack

Piotr Przymus, Thomas Durieux

Exploring Code Comprehension in Scientific Programming: Preliminary Insights from Research Scientists

CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning

Cuong Chi Le, Hoang Nhat Phan, Huy Nhat Phan, Tien N. Nguyen, Nghi D. Q. Bui

On the calibration of Just-in-time Defect Prediction

Xhulja Shahini, Jone Bartel, Klaus Pohl

Software Composition Analysis and Supply Chain Security in Apache Projects: an Empirical Study

Sabato Nocera, Sira Vegas, Giuseppe Scanniello, Natalia Juristo

Method Names in Jupyter Notebooks: An Exploratory Study

Carol Wong, Gunnar Larsen, Rocky Huang, Bonita Sharif, Anthony Peruma

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications

Chandrasekar S, Vyakhya Gupta, Prakhar Jain, Karthik Vaidhyanathan

Blockchain Developer Experience: A Multivocal Literature Review

Pamella Soares, Allysson Allex Araújo, Giuseppe Destefanis, Rumyana Neykova, Raphael Saraiva, Jerffeson Teixeira de Souza

11:20

Towards Implementing and Evaluating AI-Assisted Pull Requests in Software Engineering Education

Esteban Parra Rodriguez, Sophia Willingham

Building MVPs: An Experience Report of a Software Engineering Capstone Course

Melissa Sahl, Mohammad Samarah

Beyond the Classroom: Bridging the Gap Between Academia and Industry with a Hands-on Learning Approach

Mingyang Xu, Ryan Liu, Mark Stoodley, Ladan Tahvildari

CoCo Challenges in ML Engineering Teams: How to Collaboratively Build ML-Enabled Systems

Aidin Azamnouri

An Empirical Study on Leveraging Images in Automated Bug Report Reproduction

Dingbang Wang, Zhaoxu Zhang, Sidong Feng, William G.J. Halfond, Tingting Yu

Good practice versus reality: a landscape analysis of Research Software metadata adoption in European Open Science Clusters

Anas El Hounsri, Daniel Garijo

Robust Probabilistic Model Checking with Continuous Reward Domains

Xiaotong Ji, Hanchun Wang, Antonio Filieri, Ilenia Epifani

FULLBest Student Paper Award

SCALAR: A Part-of-speech Tagger for Identifiers

Addressing Specific and Complex Scenarios in Semantic Parsing

Yu Wang, Ming Fan, Ting Liu

From Hazard Identification to Control Design: Proactive and AI-Supported Safety Engineering for ML-powered Systems

Yining Hong, Christopher Timperley, Christian Kästner

Exploring Fairness Debt Through Evidence from Studies on Algorithmic Discrimination

Fardin Aryan, Lucas Valença, Ronnie de Souza Santos

Towards Adaptable and Uncertainty-aware Behavior Trees

Mehran Rostamnia, Gianluca Filippone, Ricardo Caldas, Patrizio Pelliccione

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models

Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg

How do Papers Make into Machine Learning Frameworks: A Preliminary Study on TensorFlow

Federica Pepe, Claudia Farkas, Maleknaz Nayebi, Giulio Antoniol, Massimiliano Di Penta

How Programmers Interact with Multimodal Software Documentation

Deeksha M. Arya, Jin L.C. Guo, Martin P. Robillard

AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model

Severin Primbs, Benedikt Fein, Gordon Fraser

It’s About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software

Shrey Tiwari, Serena Chen, Alexander Joukov, Peter Vandervelde, Ao Li, Rohan Padhye

Technical Track Distinguished Paper Award

Towards Security Commit Message Standardization

Sofia Reis, Rui Abreu, Corina Pasareanu

Accessing LLMs for Front-end Software Architecture Knowledge

Luiz Franciscatto Guerra, Neil Ernst

Skill over Scale: The Case for Medium, Domain-Specific Models for SE

Manisha Mukherjee, Vincent J. Hellendoorn

Bringing Machine Learning Models Beyond the Experimental Stage with Explainable AI

Niels With Mikkelsen, Lasse Pedersen, Mansoor Hussain, Victor Foged, Ekkart Kindler

11:40

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg, Maximiliano Cristiá

Overlapping Events:

Toward Neurosymbolic Program Comprehension

Combining Static Analysis Techniques for Program Comprehension Using Slicito

The Development of Reflective Practice on a Work-Based Software Engineering Program: A Longitudinal Study

Matthew Barr, Syed Waqar Nabi, Oana Andrei

Towards a Privacy-by-Design Framework for ML-Enabled Systems

Enhancing Just-In-Time Defect Prediction Models with Developer-Centric Features

Emanuela Guglielmi, Andrea D'Aguanno, Rocco Oliveto, Simone Scalabrino

From Industrial Practices to Academia: Uncovering the Gap in Vulnerability Research and Practice

Zhuang Liu, Xing Hu, Jiayuan Zhou, Xin Xia

How Do Developers Use Code Suggestions in Pull Request Reviews?

Abir Bouraffa, Yen Dieu Pham, Walid Maalej

A Comprehensive Analysis of Cybersecurity Challenges in Self-Adaptive Avionics: A Plug&Fly Avionics Platform Case Study

Aisha Zahid Junejo, Mario Werthwein, Bjoern Annighoefer

Mining Code Change Patterns in Ada Projects

Robin van Straeten, Bin Lin

Resource-Efficient & Effective Code Summarization

Saima Afrin, Joseph Call, Khai Nguyen, Oscar Chaparro, Antonio Mastropaolo

Is Generated Images Suitable for Weakness Detection?

Haruki Yokoyama, Fuyuki Ishikawa

Revisiting Defects4J for Fault Localization in Diverse Development Scenarios

Md Nakhla Rafi, An Ran Chen, Tse-Hsun (Peter) Chen, Shaohua Wang

Patch Me If You Can—Securing the Linux Kernel

Adaptive Abstraction with AI for Managing Software Antipatterns Throughout the Software Lifecycle

Roberto Andrade, Jenny Torres, Pamela Flores, Erick Cabezas, Jorge Segovia

OSS License Identification at Scale: A Comprehensive Dataset Using World of Code

12:00

Requirements Technical Debt Through the Lens of Environment Assumptions

Mounifah Alenazi

DeepUIFuzz: A Guided Fuzzing Strategy for Testing UI Component Detection Models

Proma Chowdhury, Kazi Sakib

Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic Applications

Marco Stadler, Stefan Biffl, Michael Vierhauser, Johannes Sametinger

Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment

Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin

Telling Software Evolution Stories With Sonification

Robotics Software Engineering Education: An Experience Report

Meenakshi Manjunath, Jeshwitha Jesus Raja, Rainer Herrler, Marian Daun

How Developers Interact with AI: A Taxonomy of Human-AI Collaboration in Software Engineering

Challenges in AI Projects for Machinery and Plant Engineering

Richard Nordsiek, Jan-Philipp Steghöfer, Manish Bhandari

Doctoral and Early Career Symposium (DECS) Session

Yvonne Dittrich, Irum Rauf

Simulink Mutation Testing using CodeBERT

Jingfan Zhang, Delaram Ghobari, Mehrdad Sabetzadeh, Shiva Nejati

Towards an Adoption Framework to Foster Trust in AI-Assisted Software Engineering

Marvin Muñoz Barón

Mining Bug Repositories for Multi-Fault Programs

SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset

ResMetric: Analyzing Resilience to Enable Research on Antifragility

Ferdinand Koenig, Marc Carwehl, Calum Imrie

Attributed Multiplex Learning for Analogical Third-Party Library Recommendation and Retrieval

Baihui Sang, Liang Wang, Jierui Zhang, Xianping Tao

"So what if I used GenAI?” - Legal Implications of Using GenAI in Software Engineering Research

HaPy-Bug - Human Annotated Python Bug Resolution Dataset

ICVul: A Well-labeled C/C++ Vulnerability Dataset with Comprehensive Metadata and VCCs

A Structured Approach to Accessibility in Software Development Lifecycle

Md Hasan Saju, Sanaa Alwidian, Partha Mazumder, Akramul Azim

Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo (Wise), Lin Tan

SPRINT: An Assistant for Issue Report Management

A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools

On Evaluating Fuzzers with Context-Sensitive Fuzzed Inputs: A Case Study on PKCS#1-v1.5

S Mahmudul Hasan, Polina Kozyreva, Endadul Hoque

LLM2FedLLM - A Tool for Simulating Federated LLMs for Software Engineering Tasks

Identifying and Replicating Code Patterns Driving Performance Regressions in Software Systems

Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code

12:20

Discussion Session 2

Session's Discussion: "Empirical Findings, Future Visions, Recommendations"

Towards Generating App Feature Descriptions Automatically with LLMs: the Setapp Case Study

MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs)

SEAMS steering committee meeting

Monday Lunch

MSR Diversity Lunch

12:40

CSEE&T Steering Committee Meeting

13:00

Overlapping Events:

Energy-Efficiency in WordPress Development: A Teaching Approach Using Code Proxies

Can We Leverage Replication Studies to Instil Ethical Practices in Future Software Engineers?

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

Lessons from a Summer School Integrating AI and Software Development

Mirror, Mirror on the Wall, Who Is the Smartest of Them All: A Student-Facing Dashboard for Conceptual Modeling Education

Automatic Assessment of Structural Induction Proofs for Undergraduate Computer Science Courses

A Software Engineering Capstone Infrastructure that Encourages Spreading Work Over Time and Team

An Experiential Introduction to Software Design: Design Thinking Meets Event-Driven Programming

Level Up Peer Review in Education: Investigating genAI-driven Gamification system and its influence on Peer Feedback Effectiveness

Overlapping Events:

SPRINT: An Assistant for Issue Report Management

Combining Large Language Models with Static Analyzers for Code Review Generation

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?

Technical Track Distinguished Paper Award

Dependency Update Adoption Patterns in the Maven Software Ecosystem

Popularity and Innovation in Maven Central

Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?

SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset

TerraDS: A Dataset for Terraform HCL Programs

Mining a Decade of Contributor Dynamics in Ethereum: A Longitudinal Study

CoMRAT: Commit Message Rationale Analysis Tool

A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools

A Dataset of Contributor Activities in the NumFocus Open-Source Community

Data/Tool Track Distinguished Dataset Award

Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

Technical Track Distinguished Paper Award

HaPy-Bug - Human Annotated Python Bug Resolution Dataset

Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot

Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven

Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation Potential

Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem

MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs)

Investigating the Understandability of Review Comments on Code Change Requests

13:20

13:40

14:00

Lighting Talk: Leveraging Context Information for Self-Admitted Technical Debt Detection

Miki Yonekura, Yutaro Kashiwa, Bin Lin, Kenji Fujiwara, Hajimu Iida

Differential Performance Fuzzing of Configuration Options

Haesue Baik, Chenyang Yang, Vasudev Vikram, Pooyan Jamshidi, Rohan Padhye, Christian Kästner

RoSE Interactive Session A

Software Engineering Education for Technical Engineering Degrees and Its Specific Needs

Curating Model Problems for Software Designing

Mary Shaw, Marian Petre

Refining Alloy-Based Mutation Operators to Reflect Common Mistakes

Ana Jovanovic, Mohammad Nurullah Patwary, Allison Sullivan

Dynamic Resource Allocation for Deadline-Constrained Neural Network Training

Luciano Baresi, Marco Garlini, Giovanni Quattrocchi

Code Ranking with Structure Awareness Contrastive Learning

Hailin Huang, Liuwen Cao, Jiexin Wang, Tianchen Yu, Yi Cai

Structured Analysis of Software Testing Education in Higher Education in Germany

Christine Jokisch, Katharina Schramm, Sebastian Hobert, Lars Wilhelmi, Matthias Schumann

Industry Keynote: One shall not live on LLM alone

Towards a Domain-Specific Modeling Language for Streamlined Change Management in AI Systems Development

Razan Abualsaud

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic

Clinton Cao, Annibale Panichella, Sicco Verwer

A Holistic Framework for Evolving AI-based Systems

Combining Large Language Models with Static Analyzers for Code Review Generation

Imen Jaoua, Oussama Ben Sghaier, Houari Sahraoui

Analyzing Dependency Clusters and Security Risks in the Maven Central Repository

Great power brings great responsibility: Personalizing Conversational AI for Diverse Problem-Solvers

Italo Santos, Katia Felizardo, Igor Steinmacher, Marco Gerosa

Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?

Discussion: Reframing Technical Debt - Insights from the Dagstuhl Perspectives Workshop

Neil Ernst, Zadia Codabux

Algorithmic Inversion: A Learnable Algorithm Representation for Code Generation

zhongyi shi, fuzhang wu, weibin zeng, yan kong, sicheng shen, Yanjun Wu

An AI-driven Requirements Engineering Framework Tailored for Evaluating AI-Based Software

Hamed Barzamini, Fatemeh Nazaritiji, Annalise Brockmann, Hasan Ferdowsi, Mona Rahimi

Harnessing Large Language Models for Curated Code Reviews

Oussama Ben Sghaier, Martin Weyssow, Houari Sahraoui

Overlapping Events:

Decoding Dependency Risks: A Quantitative Study of Vulnerabilities in the Maven Ecosystem

Faster Releases, Fewer Risks: A Study on Maven Artifact Vulnerabilities and Lifecycle Management

Challenge Track Best Mining Challenge Paper

Multi-Phase Taint Analysis for JSON Inference in Search-Based Fuzzing

Susruthan Seran , Onur Duman, Andrea Arcuri

Advancing Sustainable Communities in Scientific OSS: A Replication Study with Astropy

Jiayi Sun, Aarya Patil, Youhai Li, Jin L.C. Guo, Shurui Zhou

Insights into Dependency Maintenance Trends in the Maven Ecosystem

14:20

Software Engineering Courses through the Lens of an Education Intelligence Tool

Manuel Stöger, Johann Grabner, Mario Bernhart, Thomas Grechenig

Studying How Configurations Impact Code Generation in LLMs: the Case of ChatGPT

Benedetta Donato, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

Gaps in Software Testing Education: A Survey of Academic Courses in Sweden

Ayodele Barrett, Eduard Paul Enoiu, Wasif Afzal

Assessing and Enhancing the Robustness of LLM-based Multi-Agent Systems Through Chaos Engineering.

Joshua Segun Owotogbe

SMATCH-M-LLM: Semantic Similarity in Metamodel Matching With Large Language Models

Nafisa Ahmed, Hin Chi Kwok, Mohammad Hamdaqa, Wesley K.G. Assunção

Insights into Vulnerability Trends in Maven Artifacts: Recurrence, Popularity, and User Behavior

Integrating Performance Prediction, Anomaly Prediction and Root-Cause Localization for Self-Healing Software Systems

Hamza Hussain, Ghadeer Abuoda, Marin Litoiu

MLScent: A tool for Anti-pattern detection in ML projects

Karthik Shivashankar, Antonio Martini

Understanding Software Vulnerabilities in the Maven Ecosystem: Patterns, Timelines, and Risks

Tutorial by Seongmin Lee

Verifying Multiple TLA+ Configurations with Blast

Paul Somson, Alcino Cunha

Quality In, Quality Out: Investigating Training Data's Role in AI Code Generation

Cristina Improta, Rosalia Tufano, Pietro Liguori, Domenico Cotroneo, Gabriele Bavota

More Than Code: Technical and Emotional Dynamics in Solidity's Development

Matteo Vaccargiu, Rumyana Neykova, Nicole Novielli, Marco Ortu, Giuseppe Destefanis

Automated Test Generation for Integration Testing

Elson Kurian, Luca Guglielmo, Pietro Braione, Giovanni Denaro

How Effective are LLMs for Data Science Coding? A Controlled Experiment

Nathalia Nascimento, Everton Guimaraes, Sai Sanjna Chintakunta, Santhosh AB

Technical Track Distinguished Paper Award

Overlapping Events:

Dependency Update Adoption Patterns in the Maven Software Ecosystem

Analyzing Vulnerability Overestimation in Software Projects

Dependency Dilemmas: A Comparative Study of Independent and Dependent Artifacts in Maven Ecosystem

14:40

Software Engineering Educational Experience in Building an Intelligent Tutoring System

Zhiyu Fan, Yannic Noller, Ashish Dandekar, Abhik Roychoudhury

Advancing Large Language Models in Code Generation: USACO Benchmark and Bug Mitigation Insights

Jacob Trentini, Victor Liu, Yiming Peng, Ziliang Zong

Automatic Unit Test Generation for Programming Assignments Using Large Language Models

ZHENG Kaisheng, Yuanyang Shen, Yida Tao

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)

Boyue Caroline Hu, Divya Gopinath, Ravi Mangal, Nina Narodytska, Corina S. Păsăreanu, Susmit Jha

Distinguished paper Award Candidate

Designing ML-Enabled Software Systems with ML Model Composition: A Green AI Perspective

Rumbidzai Chitakunye

Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot

Daniele Bifolco, Pietro Cassieri, Giuseppe Scanniello, Massimiliano Di Penta, Fiorella Zampetti

Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem

Industry Keynote: AI in Software Engineering at Google

The Multifaceted Nature of Mentoring in OSS: Strategies, Qualities, and Ideal Outcomes

Zixuan Feng, Igor Steinmacher, Marco Gerosa, Tyler Menezes, Alexander Serebrenik, Reed Milewicz, Anita Sarma

Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j

WasteLess: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless Applications

Emilio Incerto, Roberto Pizziol, Gabriele Russo Russo, Mirco Tribastone

Enhancing Code Generation for Low-Resource Languages: No Silver Bullet

Alessandro Giagnorio, Alberto Martin-Lopez, Gabriele Bavota

Too Noisy To Learn: Enhancing Data Quality for Code Review Comment Generation

Chunhua Liu, Hong Yi Lin, Patanamon Thongtanunam

Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j Library

Investigating Issues that Lead to Code Technical Debt in Machine Learning Systems

Rodrigo Ximenes, Antonio Pedro Santos Alves, Tatiana Escovedo, Rodrigo Spinola, Marcos Kalinowski

Overlapping Events:

On the Evolution of Unused Dependencies in Java Project Releases: An Empirical Study

Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven

15:00

Learner Preferences in Software Engineering Education: A Comparative Study of Similarities and Differences Between University Students and Industry Professionals

Marian Daun, Jennifer Brings, Viktoria Stenkova, Viktoria Stenkova

Typestates Specification and Verification in Frama-C

Sébastien Patte, Virgile Prevosto

COFT: Making Large Language Models Better zero-shot Learners for Code Generation

Weijia Li, Yongjie Qian, Ke Gao, Haixin Chen, Xinyu Wang, Yuchen Tong, Ling Li, Yanjun Wu, Chen Zhao

Test Early: An Approach to Introduce Younger Students to Unit Testing with Graphical Comparison in Scratch

Herart Dominggus Nurue, Jeff Gray

The Introduction of README and CONTRIBUTING Files in Open Source Software Development

Matthew Gaughan, Kaylea Champion, Sohyeon Hwang, Aaron Shaw

Automated Test Generation from Program Documentation Encoded in Code Comments

Giovanni Denaro, Luca Guglielmo

A Metrics-Oriented Architectural Model to Characterize Complexity on Machine Learning-Enabled Systems

Renato Cordeiro Ferreira

Should Code Models Learn Pedagogically? A Preliminary Evaluation of Curriculum Learning for Real-World Software Engineering Tasks

Popularity and Innovation in Maven Central

RepoChat: An LLM-Powered Chatbot for GitHub Repository Question-Answering

Software Bills of Materials in Maven Central

On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT

Gaia Colombo, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

Addressing Quality Challenges in Deep Learning: The Role of MLOps and Domain Knowledge

Santiago del Rey, Adrià Medina, Xavier Franch, Silverio Martínez-Fernández

How do Copilot Suggestions Impact Developers' Frustration and Productivity?

The Ripple Effect of Vulnerabilities in Maven Central: Prevalence, Propagation, and Mitigation Challenges

Discussion Session 3

Exploring the Lifecycle and Maintenance Practices of Pre-Trained Models in Open-Source Software Repositories

Overlapping Events:

Tracing Vulnerabilities in Maven: A Study of CVE lifecycles and Dependency Networks

Understanding Abandonment and Slowdown Dynamics in the Maven Ecosystem

Challenge Track Best Student Presentation Award

15:20

Awards & Closing & TechDebt 2026

Session's Discussion: "Code Generation"

Characterizing Packages for Vulnerability Prediction

Understanding the Popularity of Packages in Maven Ecosystem

Monday Afternoon Break

15:40

16:00

SBFT Tool Competition 2025 - CPS-SDC Regression Testing Track

Christian Birchler, Stefan Klikovits, Mattia Fazzini, Sebastiano Panichella

RoSE Interactive Session B

Student Perceptions of Group Formation in Software Engineering Courses

Fabian Fagerholm, Stanislav Chren, Lassi Haaranen

Panel discussion

Joanne M. Atlee, Yuanfang Cai, Rob van Ommering, Dennis Mancl

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning

Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou

Developing a Taxonomy for Advanced Log Parsing Techniques

Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Ait-Mohamed, Naser Ezzati-Jivan

A Systematic Review of Common Beginner Programming Mistakes in Data Engineering

Max Neuwinger, Dirk Riehle

Cyber-Attack Detection and Localization for SCADA system of CPSs

Dan Li, Junnan Tang, Shunyu Wu, Zibin Zheng, See-Kiong Ng

DDPT: Diffusion Driven Prompt Tuning for Large Language Model Code Generation

Jinyang Li, Sangwon Hyun, Muhammad Ali Babar

Uncovering Community Smells in Machine Learning-Enabled Systems: Causes, Effects, and Mitigation Strategies

Giusy Annunziata, Stefano Lambiase, Damian Andrew Tamburri, Willem-Jan van den Heuvel, Fabio Palomba, Gemma Catolino, Filomena Ferrucci, Andrea De Lucia

Automated Software Testing for Sustainability and Resource Efficiency

Istvan David, Roberto Verdecchia, Bimpe Ayoola, Jari Porras, Lina Marsso

Identification and Optimization of Redundant Code Using Large Language Models

Shamse Tasnim Cynthia

How Much Do Code Language Models Remember? An Investigation on Data Extraction Attacks before and after Fine-tuning

Fabio Salerno, Ali Al-Kaswan, Mali Izadi

Technical Track Distinguished Paper Award

50 Years of Programming Language Evolution through the Software Heritage looking glass

Adèle Desmazières, Roberto Di Cosmo, Valentin Lorentz

GELog:A GPT-Enhanced Log Representation Method for Anomaly Detection

Wenwu Xu, Peng Wang, Haichao Shi, Guoqiao Zhou, Junliang Yao, Xiao-Yu Zhang

A Comprehensive Study of Bug Characteristics on Foundation Language Models

Junxiao Han, Guanqi Wang, Jiakun Liu, Lingfeng Bao , Xing Hu, Jinling Wei, Shuiguang Deng

Can LLMs Generate Higher Quality Code Than Humans? An Empirical Study

Mohammad Talal Jamil, Shamsa Abid, Shafay Shamail

It Works (only) on My Machine: A Study on Reproducibility Smells in Ansible Scripts

Ghazal Sobhani, Israat Haque, Tushar Sharma

RoadGeom Transformer-SDCTest at the SBFT 2025 Tool Competition – CPS-SDC Regression Testing Track

Engineering LLM Powered Multi-agent Framework for Autonomous CloudOps

Kannan Parthasarathy, Karthik Vaidhyanathan, Rudra Dhar, Venkat Krishnamachari, Adyansh Kakran, Sreemaee Akshathala, Shrikara Arun, Amey Karan, Basil Muhammed, Sumant Dubey, Mohan Veerubhotla

Distinguished paper Award Candidate

Non-Linear Software Documentation with Interactive Code Examples

Mathieu Nassif, Martin P. Robillard

16:20

Understanding Students’ Experience and Perception of Gender Bias in a Software Engineering Education Environment

Tanjila Kanij, Jonny PJ Low, John Grundy

Log Parsing using LLMs with Self-Generated In-Context Learning and Self-Correction

Yifan Wu, Siyu Yu, Ying Li

An Exploratory Study on Build Issue Resolution Among Computer Science Students

Sunzhou Huang, Na Meng, XUEQING Liu, Xiaoyin Wang

Distinguished Paper Award

Systematic Testing of Security-Related Defects in LLM-Based Applications

Prompt Engineering or Fine-Tuning: An Empirical Assessment of LLMs for Code

Jiho Shin, Clark Tang, Tahmineh Mohati, Maleknaz Nayebi, Song Wang, Hadi Hemmati

Are the Majority of Public Computational Notebooks Pathologically Non-Executable?

Waris Gill, Muhammad Ali Gulzar, Tien Nguyen

Context-Role Oriented Programming in Julia: Advancing Swarm Programming

Christian Gutsche, Sebastian Götz, Volodymyr Prokopets, Uwe Aßmann

Testing Refactoring Engine via Historical Bug Report driven LLM

Haibo Wang, Zhuolin Xu, Shin Hwei Tan

SBFT Tool Competition 2025 - UAV Testing Track

Sajad Khatiri, Tahereh Zohdinasab, Prasun Saurabh, Dmytro Humeniuk, Sebastiano Panichella

LLM-BL: Large Language Models are Zero-Shot Rankers for Bug Localization

Zhengliang Li, Zhiwei Jiang, Qiguo Huang, Qing Gu

Generating and Verifying Synthetic Datasets with Requirements Engineering

Lynn Vonderhaar, Timothy Elvira, Omar Ochoa

Book Launch

Drawing Pandas: A Benchmark for LLMs in Generating Plotting Code

Understanding Test Deletion in Java Applications

Suraj Bhatta, Frank Kendemah, Ajay Jha

Beyond Code Generation: Evaluating and Improving LLMs for Code Intelligence

Fatemeh Hendijani Fard

SnipGen: A Mining Repository Framework for Evaluating LLMs for Code

16:40

Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses

Luciano Baresi, Andrea De Lucia, Antinisca Di Marco, Massimiliano Di Penta, Davide Di Ruscio, Leonardo Mariani, Daniela Micucci, Fabio Palomba, Maria Teresa Rossi, Fiorella Zampetti

Improved IR-based Bug Localization with Intelligent Relevance Feedback

Asif Samir, Masud Rahman

Knowledge Transfer and False Friends: Insights on Transitioning from C to Java

Yifan Du, Belinda Schantong, Janet Siegmund

Model-Based Verification for AI-Enabled Cyber-Physical Systems through Guided Falsification of Temporal Logic Properties

A Public Benchmark of REST APIs

Alix Decrop, Sara Eraso, Xavier Devroey, Gilles Perrouin

OptObstacles at the SBFT 2025 Tool Competition - UAV Testing Track

Zhekai Jiang, Aren Babikian

LLM-Based Safety Case Generation for Baidu Apollo: Are We There Yet?

Oluwafemi Odu, Alvine Boaye Belle, Song Wang

Modeling Safe Adaptation Spaces for Self-Adaptive Systems Using Contextual Safety Concept Trees

Andreas Kreutz, Gereon Weiss, Mario Trapp

Towards Enhancing IR-based Bug Localization Leveraging Texts and Multimedia from Bug Reports

Harmonized Coding with AI: LLMs for Qualitative Analysis in Software Engineering Research

Christoph Treude, Youmei Fan, Tao Xiao, Hideaki Hata

What Do Contribution Guidelines Say About Software Testing?

Building Bridges, Not Walls: Fairness-aware and Accurate Recommendation of Code Reviewers via LLM-based Agents Collaboration

Luqiao Wang, Qingshan Li, Di Cui, Mingkang Wang, Yutong Zhao, Yongye Xu, Huiying Zhuang, Yangtao Zhou, Lu Wang

Measuring InnerSource Value

17:00

Pseudo-Random at the SBFT 2025 Tool Competition - UAV Testing Track

Anas Shrinah, Kerstin Eder

Closing & future of Designing

Teaching Well-Structured Code: A Literature Review of Instructional Approaches

Sara Nurollahian, Hieke Keuning, Eliane Wiese

SqPal - text to SQL GenAI tool for PayPal

Dan Liyanage, Mahshid Moha, Sandy Suresh

CHASE 2025 Closing

Rashina Hoda, Ronnie de Souza Santos, Bianca Trinkenreich

CoUpJava: A Dataset of Code Upgrade Histories in Open-Source Java Repositories

Leveraging Self-Adaptive Systems and Generative AI for Personalizing Educational Serious Games: Architecture and Future Challenges

Antonio Bucchiarone, Federico Bonetti, Enes Yigitbas

Code Review Comprehension: Reviewing Strategies Seen Through Code Comprehension Theories

Pavlina Wurzel Goncalves, Pooja Rani, Margaret-Anne Storey, Diomidis Spinellis, Alberto Bacchelli

EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution

CoDocBench: A Dataset for Code-Documentation Alignment in Software Maintenance

KotSuite: Unit Test Generation for Kotlin Programs in Android Applications

Feng Yang, Qi Xin, Zhilei Ren, Jifeng Xuan

RefExpo: Unveiling Software Project Structures through Advanced Dependency Graph Extraction

17:20

Discussion Session 4

Industry Keynote: Enhancing Software Engineering with Large Language Models: Insights, Challenges, and Future Directions

HyperAST: Incrementally Mining Large Source Code Repositories

Session's Discussion: "Log Parsing, Bug Localisation, Review Comprehension"

Steering Comittee Meeting + Closing

Closing session of FORGE 2025

17:40

18:00

18:20

Welcome Reception

18:40

19:00

19:20

19:40

20:00

20:20

Photo Op Mon

20:40

21:00

21:20

21:40

22:00

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

Tue 29 Apr

209 Poster Area

2nd Floor Rideau Canal Atrium

Canada Hall 3 Poster Area

Canada Hall 3 plus Foyer

Restaurant for ASE Editorial Board Tuesday Eve

Restaurant for SWEBOK Summit Tuesday Evening

Trillium Ballroom

8:00

Registration Tuesday

8:20

8:40

9:00

Tutorial 1: Quantum Software Testing

Shaukat Ali, Xinyi Wang, Asmar Muqeet

Testing and QAQuantum

Keynote by Alessandra Gorla

Alessandra Gorla

GAS 2025 Welcome

Introduction and Self-Introduction

Luigi Benedicenti, Shinpei Hayashi

Smart Swarms, Smarter Boundaries: Rethinking Decision Assurance in Autonomous Systems

Jane Cleland-Huang

SWEBOK Summit Opening and Introduction: Introduction the Guide to the Software Engineering Body of Knowledge

Hironori Washizaki

Body of Knowledge

The Promise and Peril of SE Education in the Age of AI

Opening Remarks

Valentina Lenarduzzi

Baishakhi Ray's Keynote

Learning-Based Testing: The Ease, the Impact, the Future

Tiziana Margaria

Opening of the Doctoral Symposium

Introduction to SMeW

James C. Davis, Lavinia Francesca Paganini, Adriana Sejfia, Lili Wei

MSR 2025 Most Influential Paper Award: Toward deep learning software repositories

Martin White, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk

Most Influential Paper Award

Overlapping Events:

Consistent Graph Model Generation with Large Language Models

Enhancing OSS Remediation with Patch Backporting

Improving Formal Methods Visualizations

Avinash Palliyil

MUARF: Leveraging Multi-Agent Workflows for Automated Code Refactoring

Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents

Characterising Algorithm Debt in Machine and Deep Learning Systems

Emmanuel Iko-Ojo Simon

Automatic Fuzz Drivers for JavaScript with Type Distributions

Advances and Opportunities in Game Testing and Triage

Keynote: The Critical Role of Design Knowledge in LLM for Software Engineering

Advancing Secure and Standard Source Code Generation Techniques

Keynote 1 by Rick Kazman

Overcoming Obstacles: Challenges of Gender Inequality in Undergraduate ICT Programs

Angelica Pereira, Anderson Uchôa, Edna Dias Canedo, Juliana Alves Pereira, Claudia Pinto Pereira, Larissa Rocha

Towards Secure and Interactive Smart Contract Code from Formal SYMBOLEO Specifications

Assessment of Embedded AI Solutions with the Green Software Measurement Model

Christoph Bockisch, Hartmut Weber, Dennis M. Pöpperl, Severin Stahl

Empirically-Informed Approaches to Shift Vulnerability Detection to the Left

9:20

SWEBOK Summit Keynote 1: What Really Matters in Software Engineering

Automatically Assessing Software Architecture Compliance With Green Software Patterns

Naman Ahuja, Yile Feng, Luming Li, Amisha Malik, Thuvaragan Sivayoganathan, Navveen Balani, Srinivasan Rakhunathan, Federica Sarro

A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development

Introduction by the Organization Chairs

Jordan Samhi, Eric Bodden, Martin Kellogg, Jacques Klein

An Agenda for Software Engineering Research to Drive ADS Development

Sebastian Elbaum

Funding 101 and beyond

Towards Configuration-Aware Performance Modeling

How to Enjoy ICSE?

Lavinia Francesca Paganini

Myriad People Open Source Software for New Media Arts

Benoit Baudry, Erik Natanael Gustafsson, Roni Kaufman, Maria Kling

FOSS Award (Runner-up)

SALLMA: A Prototypical Software Architecture for LLM-Based Multi-Agent Systems

Marco Becattini, Roberto Verdecchia, Enrico Vicario

Educated Energy Efficiency Optimization of Distributed Software: Measure, Monitor, Mitigate

Tobias Leonhard Joschka Peslalz, Bastian Katz

“Robot Olympiad Inspires us Technically and also boosts our Confidence”: Understanding the Elements of Success for Women in Robotics in Bangladesh

Nasheetat Zainah Rahman, Ipshita Ahmed Moon, Nova Ahmed

Panel: Security

Marsha Chechik, Laurie Williams, Mohammed Latif Siddiq, Yuanjie Xia, Paschal Amusuo, Alejandra Selva-Mora, Sofana Alfuhaid

9:40

Scaling Static Analysis - The Why, the How, and the What

Green AI: Which Programming Language Consumes the Most?

Niccolò Marini, Leonardo Pampaloni, Filippo Di Martino, Roberto Verdecchia, Enrico Vicario

A Mapping of Recording-based Game Test Automation Tools

Vinícius Mioto, Fabio Petrillo

MicroAnalyzer.NET: Deriving Microservice Architectural Perspectives Using Static Code Analysis For C# Platform

Amr Elsayed, Jorge Yero, Tomas Cerny

Can GPT-O1 Kill All Bugs? An Evaluation of GPT-Family LLMs on QuixBugs

Haichuan Hu, Tongke Zhang, Guolin Xu, Congqing He, Quanjun Zhang

On the Energy Consumption of Web Applications: An Empirical Study of their Design Solutions

Louay Khrouf, Anas Shatnawi, Boubou Thiam Niang, Benoit Verhaeghe

SWEBOK Summit Keynote 2: Driving Software Engineering Maturity at Shell

10:00

Confessions of a Fallen Star

Most Influential Paper Award 2015

Insights and Current Gaps in Open-Source LLM Vulnerability Scanners: A Comparative Analysis

Jonathan Brokman, Omer Hofman, Oren Rachmil, Inderjeet Singh, Vikas Pahuja, Aishvariya Priya Rathina Sabapathy, Amit Giloni, Roman Vainshtein, Hisashi Kojima

Detecting Gender Bias to Enhance Inclusivity in Software Engineering Education

Fatemeh Sadat Mirshafiee, Nafiseh Kahani

Ice Breaking

James C. Davis, Lavinia Francesca Paganini, Adriana Sejfia, Lili Wei

The Standard of Rigor for MSR Research: A 20-Year Evolution

Bogdan Vasilescu

Brainstorming

Specification Completion for Sustainable Software Development via Sustainability-Driven Mining

Mohamed Toufik Ailane, Carolin Rubner, Andreas Rausch

Overlapping Events:

Build and Runtime Integrity for Java

Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively

Understanding and Supporting the ML Supply Chain through ML Bill of Materials

A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development

Rethinking Software Development Considering Collaboration with AI Assistants

Exploring GenAI-Driven Innovation in Game Development

Towards A Framework For Exploratory Testing In Video Games

Yohan Duarte, Cristiano Politowski, André T. Endo

Memorization in LLM-Based Program Repair

Jiaolong Kong, Mingfei Cheng, Xiaofei Xie

Final session question/comment filling and posting (via Miro)

Mitigating Values Debt in Generative AI: Responsible Engineering with Graph RAG

10:20

SEAMS Best Paper Award

Tuesday Morning Break

10:40

11:00

Tutorial 1: Quantum Software Testing

Shaukat Ali, Xinyi Wang, Asmar Muqeet

Testing and QAQuantum

Panel on Search Based and Fuzz Testing for Security

Marcel Böhme, Addison Crump, Aitor Arrieta, Behnaz Hassanshahi, Alessandra Gorla, Andreas Zeller

Interactive Activity

Mathieu Nayrolles

Mitigating Obfuscation Attacks on Software Plagiarism Detectors via Subsequence Merging

Timur Sağlam, Nils Niehues, Sebastian Hahner, Larissa Schmid

FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis

Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles

Yueteng Zhang, Burak Kantarci, Umair Siddique

Establishing an Ethos for Your Research Group

Working groups

Generating Energy-efficient code with LLMs

Tom Cappendijk, Pepijn de Reus, Ana Oprescu

Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement Learning

Qi Duan, Ehab Al-Shaer, David Garlan

SWEBOK Summit Talk: A Framework for Software Engineering Professional Development

Diversity in Software Engineering Education: Exploring Motivations, Influences, and Role Models Among Undergraduate Students

Ronnie de Souza Santos, Italo Santos, Robson Santos, Cleyton Magalhaes

Using Drift Planning to Improve Safety of Visual Navigation in Unmanned Aerial Vehicles

Jeffrey Hansen, Sebastian Echeverria, Lena Pons, Lihan Zhan, Gabriel A. Moreno, Grace Lewis

Elephant in the Room: Gender and Role Based Disparities in the Software Industry of Bangladesh?

Samiha Tahsin Noshin, Sharif Mohammad Abdullah, Soumitra Paul, Arnab Das Joy, Kazi Sakib, Noshin Tahsin

Bugfix: A Standard Language, Database Schema and Repository for Research on Bugs and Automatic Program Repair

An Adaptive Testing Approach Based on Field Data

Samira Santos da Silva, Ricardo Caldas, Patrizio Pelliccione, Antonia Bertolino

Decoding Diversity: Understanding its Impact on Team Performance in Software Teams

Ronnie de Souza Santos

The Ecosystem of Open-Source Music Production Software – A Mining Study on the Development Practices of VST Plugins on GitHub

Andrei Bogdan, Mauricio Verano Merino, Ivano Malavolta

Build Scripts Need Maintenance Too: A Study on Refactoring and Technical Debt in Build Systems

Anwar Ghammam, Dhia Elhaq Rzig, Mohamed Almukhtar, Rania Khalsi, Foyzul Hassan, Marouane Kessentini

Overlapping Events:

On the Fly Input Refinement for Code Language Models

Ravishka Rathnasuriya

Program Feature-based Fuzzing Benchmarking

Towards Compatibly Mitigating Technical Lag in Maven Projects

On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation

Oussama Ben Sghaier

CASS: Context-Aware Slice Summarization for Debugging Regression Failures

Revisiting SWE-Bench: On the Importance of Data Quality for LLM-based Code Models

The Balancing Act of Policies in Developing Machine Learning Explanations

To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers

Diverse Participation and Newcomer Risk Perception in Open Source Software Communities

Prompt engineering and its implications on the energy consumption of Large Language Models

Riccardo Rubei, Aicha Moussaid, Claudio Di Sipio, Davide Di Ruscio

A Framework for Supporting Transparency in Software Ecosystems Portals from the Point of View of Developer Experience

Rodrigo Zacarias

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?

Toufique Ahmed, Prem Devanbu, Christoph Treude, Michael Pradel

Technical Track Distinguished Paper Award

LLMSecConfig: An LLM-Based Approach for Fixing Software Container Misconfigurations

Ziyang Ye, Triet Le, Muhammad Ali Babar

LLM-AQuA-DiVeR: LLM-Assisted Quality Assurance Through Dialogues on Verifiable Specification with Requirement Owners

Shohei Mitani, Salonee Moona, Shinichiro Matsuo, Eric Burger

11:20

SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses

Sofia Bobadilla, Richard Glassey, Alexandre Bergel, Martin Monperrus

Conflict-based Scenario Generation for Autonomous Driving System Validation

Hua Qi, Siyuan Chen, Fuyuan Zhang, Tomoyuki TSUCHIYA, Michio HAYASHI, Manabu OKADA, Lei Ma, Jianjun Zhao

Breaking the ICE: Exploring promises and challenges of benchmarks for Inference Carbon & Energy estimation for LLMs

Samarth Sikand, Rohit Mehra, Priyavanshi Pathania, Nikhil Bamby , Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder, Adam P. Burden

Video-based Empathy Training for Software Engineers

Antonija Mitrovic, Matthias Galster, Sanna Malinen, Sreedevi Sankara Iyer, Raul Vincent Lumapas, Negar Mohammadhassan, Jay Holland

Exceptional Behaviors: How Frequently Are They Tested?

Andre Hora, Gordon Fraser

Studying and Improving Code Understandability through Atoms of Confusion

Investigating the Understandability of Review Comments on Code Change Requests

Md Shamimur Rahman, Zadia Codabux, Chanchal K. Roy

How Do Infrastructure-as-Code Practitioners Update Their Dependencies? An Empirical Study on Terraform Module Updates

Mahi Begoug, Ali Ouni, Moataz Chouchen

Analysis of Autonomous Driving Software to Low-Level Sensor Cyber Attacks

Andrew Roberts, Mohsen Malayjerdi, Mauro Bellone, Raivo Sell, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst

SWEBOK Summit Talk: Defining Software Engineering Terms: Comparing SWEBOK to Job Postings

Deborah Silver, Stephen Frezza

Impostor Phenomenon Among Software Engineers: Investigating Gender Differences and Well-Being

Paloma Guenes, Rafael Tomaz, Bianca Trinkenreich, Maria Teresa Baldassarre, Margaret-Anne Storey, Marcos Kalinowski

Understanding and Improving Code Review of Changes in Build Systems

Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS

Florian Magin, Gwendal Patat, Fabian Scherf

Collaborations Result in Diverse Thinking, Novelty and Different Perspectives

Raula Gaikovina Kula

Calculating Software’s Energy Use and Carbon Emissions: A Survey of the State of Art, Challenges, and the Way Ahead

Priyavanshi Pathania, Nikhil Bamby , Rohit Mehra, Samarth Sikand, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder, Adam P. Burden

Towards Ensuring Responsible AI for Medical Device Certification

Giulio Mallardi, Luigi Quaranta, Fabio Calefato, Filippo Lanubile

Panel: Human aspects

Rashina Hoda, David Redmiles, Gema Rodríguez-Pérez, Kezia Devathasan, Hana Frluckaj, Mattie Nejati, Guoshuai Shi, Rodrigo Zacarias

Mining a Decade of Contributor Dynamics in Ethereum: A Longitudinal Study

Matteo Vaccargiu, Sabrina Aufiero, Cheick Ba, Silvia Bartolucci, Richard Clegg, Daniel Graziotin, Rumyana Neykova, Roberto Tonelli, Giuseppe Destefanis

TerraDS: A Dataset for Terraform HCL Programs

Deep Driving Workshop for Education and Training of Behaviour-Based End-to-End Learning Autonomous Driving Systems

Mohamed Benchat, Iqra Aslam, Meng Zhang, Nour Habib, Abhishek Buragohain, Vaibhav Tiwari, Andreas Rausch

CARDS: A collection of package, revision, and miscelleneous dependency graphs

11:40

Automated Feedback Generation for Programming Assignments through Diversification

Dongwook Choi, Eunseok Lee

Responsible and Sustainable AI: Considering Energy Consumption in Automated Text Classification Evaluation Tasks

Angelika Kaplan, Jan Keim, Lukas Greiner, Ralf Sieger, Raffaela Mirandola, Ralf Reussner

Improving Software Engineering Team Communication Through Stronger Social Networks

April Clarke, Antonija Mitrovic, Fabian Gilson

Navigating the landscape of AI test methods using taxonomy-based selection

Maximilian Pintz, Anna Schmitz, Rebekka Görge, Sebastian Schmidt, Daniel Becker, Maram Akila, Michael Mock

Is it Really Fun? Detecting Low Engagement Events in Video Games

Emanuela Guglielmi, Gabriele Bavota, Nicole Novielli, Rocco Oliveto, Simone Scalabrino

GHALogs: Large-scale dataset of GitHub Actions runs

Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning

Kush Jain, Kiran Kate, Jason Tsay, Claire Le Goues, Martin Hirzel

OSPtrack: A Labeled Dataset Targeting Simulated Execution of Open-Source Software

Mapping of the system of software-related emissions and shared responsibilities

Laura Partanen, Antti Sipilä, Sanaul Haque, Jari Porras

Approaching Proactive Self-Adaptation in Nonlinear Cyber-Physical Systems

Farid Edrisi, Diego Perez-Palacin, Mauro Caporuscio, Raffaela Mirandola

SWEBOK Summit Talk: Practical Application of SFIA in Software Engineering: Complementing SWEBOK with Industry-Driven Skills and Competencies

Investigating the Challenges Faced by Women on Software Engineering: a Grey Literature Study

Alessa Soares de Oliveira, Sávio Freire, Edna Dias Canedo, Manoel Mendonça, Larissa Rocha

Current challenges in automated multi-fault program repair

Omar I. Al-Bataineh

A Dataset of Contributor Activities in the NumFocus Open-Source Community

Data/Tool Track Distinguished Dataset Award

Agents for Software Development

Evaluating the Robustness of Uncertainty Quantification-Based Misbehavior Predictors for Autonomous Driving Systems: A Case Study

Xiongfei Wu, Qiang Hu, Tomoyuki TSUCHIYA, Michio HAYASHI, Manabu OKADA, Lei Ma, Jianjun Zhao

Responsible AI in the Software Industry: A Practitioner-Centered Perspective

Matheus de Morais Leça, Mariana Pinheiro Bento, Ronnie de Souza Santos

Jupyter Notebook Activity Dataset

12:00

Exploring how students test models in Model-Driven Engineering

Felix Cammaerts, Beatriz Marín, Monique Snoeck

PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine

Semyon Grigorev, Anna Chistyakova, Maxim Nigmatulin, Ekaterina Shemetova, Danil Parfenov, David Akhmedov

Industry/Academic Collaboration - Opportunities and Challenges

Working Groups Summary and Future Works

PowerLetrics: An Open-Source Framework for Power and Energy Metrics for Linux

Geerd-Dietger Hoffmann, Verena Majuntke

Overlapping Events:

Towards Fully-Traceable Human-Centred Design

User perceptions of ethical issues in software

Advancing Cognitive Inclusivity in Software Engineering Tools and Practices

Human-centric Requirements Engineering for Digital Health Software for Aging People

Improving Software Engineering Team Communication Through Stronger Social Networks

Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals

Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development

CoPhi - Mining C/C++ Packages for Conan Ecosystem Analysis

Towards Using Inductive Learning to Adapt Security Controls in Smart Homes

Kushal Ramkumar, Wanling Cai, John McCarthy, Gavin Doherty, Bashar Nuseibeh, Liliana Pasquale

The Privacy Pillar - A Conceptual Framework for Foundation Model-based Systems

Tingting Bi, Guangsheng Yu, Qin Wang

What Types of Automated Tests do Developers Write?

Marko Ivanković, Luka Rimanić, Ivan Budiselic, Goran Petrovic, Gordon Fraser, René Just

MARIN: A Research-Centric Interface for Querying Software Artifacts on Maven Repositories

Moral Testing of Autonomous Driving Systems

Wenbing Tang, Mingfei Cheng, Yuan Zhou, Yang Liu

Echoes of the Future: Designing a Game for Green Software Engineering

Georgia Samaritaki, Humeyra Tugce Yavuz, Daphnee Chabal, Ana Oprescu

FusionRepair: Iterative Multi-Line APR via Fusion

Jayanath Senevirathna, Ayesh Vininda, Prasad Sandaruwan, Ridwan Salihin Shariffdeen, Sandareka Wickramanayake, Nisansa de Silva

GitProjectHealth: an Extensible Framework for Git Social Platform Mining

Myriad People. Open Source Software for New Media Arts

12:20

Final question/comment filling and posting (via Miro)

Discussion Session 6

OpenMent: A Dataset of Mentor-Mentee Interactions in Google Summer of Code

Under the Blueprints: Parsing Unreal Engine’s Visual Scripting at Scale

Tuesday Lunch

12:40

13:00

Overlapping Events:

Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?

MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs)

A Dataset of Contributor Activities in the NumFocus Open-Source Community

Data/Tool Track Distinguished Dataset Award

Popularity and Innovation in Maven Central

TerraDS: A Dataset for Terraform HCL Programs

SPRINT: An Assistant for Issue Report Management

Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

Technical Track Distinguished Paper Award

Dependency Update Adoption Patterns in the Maven Software Ecosystem

A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools

Investigating the Understandability of Review Comments on Code Change Requests

Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation Potential

Combining Large Language Models with Static Analyzers for Code Review Generation

Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem

CoMRAT: Commit Message Rationale Analysis Tool

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?

Technical Track Distinguished Paper Award

Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot

Mining a Decade of Contributor Dynamics in Ethereum: A Longitudinal Study

SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset

Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven

HaPy-Bug - Human Annotated Python Bug Resolution Dataset

13:20

13:40

14:00

Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification

Lina Marsso, Sinem Getir Yaman, Pedro Ribeiro, Marsha Chechik

SE for AIRequirementsHuman/SocialReal-Time+Safety

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution

Felix Mächtle, Nils Loose, Jan-Niclas Serr, Jonas Sander, Thomas Eisenbarth

A Mapping Study of the Entity Component System Pattern

Laurent Voisard, Henrique De Freitas Serra, Cristiano Politowski, Fabio Petrillo, Yann-Gaël Guéhéneuc

A journey through Cyberium: creating user stories for a dystopic world to teach Requirements Engineering

João Ricardo Serique Bernardo, João Vitor Frota, Thais de Souza, Marcela Savia, Bruno Gadelha, Tayana Conte

Automatic Detection of Data Entry Errors

Realism Constructs for ADS Simulation Testing

Trey Woodlief, Kevin Sullivan, Sebastian Elbaum

A Story of Moving Out and In: Lessons Learned

Opening Remarks

The Greening of Our Conferences

FLEXICO: Sustainable Machine Translation via Self-Adaptation

Maria Casimiro, Paolo Romano, José Sousa, Amin M Khan, David Garlan

SWEBOK Summit Panel Discussion: Industrial application of SWEBOK Guide: Current and Future

Deborah Silver, Gerd Hoefner, Rik Essenius, Steve Tockey, Peter Leather

Some Experience Required: Comparing Professional Requirements Engineering Experience to Students’ Perspectives

Ben Jelen, Stephen Tsung-Han Sher, Helena Donaldson, Gloria Liou, Amanda Stouder, Steve Chenoweth, Mark Hays

Keynote 2 by David Lo

Analyzing Gender-Based Dynamics in Remote Pair Programming Interactions

Shandler Mason, Sandeep Kuttal

Adaptive Probabilistic Operational Testing for Large Language Models Evaluation

Ali Asgari, Antonio Guerriero, Roberto Pietrantuono, Stefano Russo

Concern-based Management of Software Design Complexity

Mentoring Pods

Automatic High-Level Test Case Generation using Large Language Models

Navid Bin Hasan, Md. Ashraful Islam, Junaed Younus Khan, Sanjida Senjik, Anindya Iqbal

Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

Julien Malka, Stefano Zacchiroli, Théo Zimmermann

Technical Track Distinguished Paper Award

Mitigating Waste That Tacitly Accrues in Continuous Integration Pipelines

Automated Detection and Refactoring of Mock Clones in Java Projects

Prompting in the Wild: An Empirical Study of Prompt Evolution in Software Repositories

Mahan Tafreshipour, Aaron Imani, Eric Huang, Eduardo Almeida , Thomas Zimmermann, Iftekhar Ahmed

Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation Potential

Emna Ksontini, Meriem Mastouri, Rania Khalsi, Wael Kessentini

Mimicry-Based Testing of Runtime SQLi Prevention Approaches

Anjana Perera, François Gauthier, Kostyantyn Vorobyov, Matthew Harris, Paddy Krishnan

Revisiting the triptychs of software engineering in the FinTech and RegTech realms

Domenico Bianculli

14:20

Generative AI for Facial Expressions in 3D Game Characters: A Retrieval-Augmented Approach

Jonas de Araújo Luz Junior, Guadalupe Prado Saldanha Ribeiro, Rafael Fonseca Pessoa, Alberto Huarastaca Taveira Magalhães, Maria Andréia Formico Rodrigues

Phishing Awareness via Game-Based Learning

Argianto Rahartomo, Ahmed Tareq Ali Ghaleb, Mohammad Ghafari

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems

Halit Eris, Stefan Wagner

Fostering Qualified Software Engineers via Software Engineering Conversion Programmes

Practical Preprocessing of Logs at Scale

Intelligent Semantic Matching (ISM) for Video Tutorial Search using Transformer Models

Ahmad Tayeb, Sonia Haiduc

Smells-sus: Sustainability Smells in IaC

Seif Kosbar, Mohammad Hamdaqa

Breakout participants into groups for discussing 3~4 topics

SPARQ: A QoS-aware Framework for Mitigating Cyber Risk in Self-Protecting IoT Systems

Alessandro Palma, Houssam Hajj Hassan, Georgios Bouloukakis

FULLBest Paper Award

Gender Disparities in Contributions, Leadership, and Collaboration: An Exploratory Study on Software Systems Research

Shamse Tasnim Cynthia, Saikat Mondal, Joy Krishan Das, Banani Roy

Bridging the Gap Between Log Parsing Techniques and Practitioners: Challenges and Solutions

Tutorial by Miguel Romero-Arjona and Aitor Arrieta

Miguel Romero-Arjona, Aitor Arrieta

Impostor Syndrome in Academia: Why You're Not Alone and How to Overcome It

Margaret-Anne Storey

Bogus Bugs, Duplicates, and Revealing Comments: Data Quality Issues in NPR

Julian Prenner, Romain Robbes

ASTRAL: Automated Safety Testing of Large Language Models

Miriam Ugarte, Pablo Valle, José Antonio Parejo Maestre, Sergio Segura, Aitor Arrieta

Panel: Maintenance

Sridhar Chimalakonda, Wesley K.G. Assunção, Hetong Dai, Jason Lefever, Nimmi Weeraddana, JianChen Zhao, Gengwu Zhao

Language Models in Software Development Tasks: An Experimental Analysis of Energy and Accuracy

Negar Alizadeh, Boris Belchev, Nishant Saurabh, Patricia Kelbert, Fernando Castor

Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance?

Shaiful Chowdhury, Hisham Kidwai, Muhammad Asaduzzaman

Scenario as Specification: Structuring the Development and Deployment of Automated Driving

Sinan Hasirlioglu, Mohamed Essayed Bouzouraa

14:40

Preventing Client-Side Exploits in Games with Capability Architectures

Joseph Oster, Christian DeLozier

Authentic Learning Exercise for Kubernetes Misconfigurations: An Experience Report of Student Perceptions

Shazibul Islam Shamim, Fan Wu, Hossain Shahriar, Anthony Skjellum, Akond Rahman

SWEBOK Summit Talk: Publishing a Software Engineering Textbook: A Journey Inspired on SWEBOK's Knowledge Areas

Marco Tulio Valente

Embracing Experiential Learning: Hackathons as an Educational Strategy for Shaping Soft Skills in Software Engineering

Allysson Allex Araújo, Marcos Kalinowski, Maria Teresa Baldassarre

TriGraph: A Probabilistic Subgraph-Based Model for Visual Code Completion in Pure Data

Anisha Islam, Abram Hindle

DPy: Code Smells Detection Tool for Python

The Pursuit of Soundness in Android Static Analysis

CoMRAT: Commit Message Rationale Analysis Tool

Adapting Aggregation Rule for Robust Federated Learning under Dynamic Attacks

Chenyu Hu, Mingyue Zhang, NIANYU LI, Jialong Li, Zheng Yang, Muneeb Ul Hassan, Kenji Tei

Security of AI Agents

Yifeng He, Ethan Wang, Yuyang Rong, Zifei Cheng, Hao Chen

Discussion Summary

LLM-Based Repair of C++ Implicit Data Loss Compiler Warnings: An Industrial Case Study

Chansong You, Hyun Deok Choi, Jingun Hong

Inferring Questions from Programming Screenshots

E2EGit: A Dataset of End-to-End Web Tests in Open Source Projects

Data/Tool Track Distinguished Dataset Award

Towards a Traffic Scenario Catalog for Collaborative Testing of Autonomous Vehicles

Zhekai Jiang, Oszkár Semeráth, Aren Babikian

Human-In-The-Loop Software Development Agents: Challenges and Future Directions

TestMigrationsInPy: A Dataset of Test Migrations from Unittest to Pytest

15:00

Research Paper Discussion

Bad Professor: Lose and Find My Cool

Overlapping Events:

Addressing Recurring Bugs and Workflow Challenges in Quantum Software Engineering

Distilling Reference Architectures from Open Source Repositories

Towards Quality Assurance of Natural Language in Code

Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration

Energy efficiency through architectural tactics for self-adaptive Cloud systems

Augmenting the Generality and Performance of Large Language Models for Software Engineering

A Taxonomy of Failures in Tool-Augmented LLMs

Cailin Winston, René Just

FormalSpecCpp: A Dataset of C++ Formal Specifications Created Using LLMs

pyMethods2Test: A Dataset of Python Tests Mapped to Focal Methods

Adaptive and Interoperable Federated Data Spaces: An Implementation Experience

Nikolaos Papadakis, Niemat Khoder, Daphne Tuncer, Kostas Magoutis, Georgios Bouloukakis

SWEBOK Summit Talk: Using Software Engineering Standards with SWEBOK

Raising AI Ethics Awareness: Insights from a Quiz-Based Workshop with Software Practitioners – An Experience Report

Aastha Pant, Rashina Hoda, Paul McIntosh

Towards Detecting Prompt Knowledge Gaps for Improved LLM-guided Issue Resolution

Ramtin Ehsani, Sakshi Pathak, Preetha Chatterjee

DataTD: A Dataset of Java Projects Including Test Doubles

Towards Integrating Scenario-Based Requirements Engineering for Autonomous Vehicle Systems

Amarachi Nwosu, Sanaa Alwidian

Scholia - An XAI Framework for APR

Nethum Lamahewage, Nimantha Cooray, Ridwan Salihin Shariffdeen, Sandareka Wickramanayake, Nisansa de Silva

JPerfEvo: A Tool for Tracking Method-Level Performance Changes in Java Projects

GENCNIPPET: Automated Generation of Code Snippets for Supporting Programming Questions

PyExamine: A Comprehensive, Un-Opinionated Smell Detection Tool for Python

Karthik Shivashankar, Antonio Martini

15:20

Discussion Session 7

Closing remarks

Valentina Lenarduzzi

How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study

Tuesday Afternoon Break

15:40

16:00

Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification

Lina Marsso, Sinem Getir Yaman, Pedro Ribeiro, Marsha Chechik

SE for AIRequirementsHuman/SocialReal-Time+Safety

SBFT Tool Competition 2025 - Java Test Case Generation Track

Fitsum Kifetew, Yun Lin, Davide Prandi

Type Token: A Competitive, Collaborative Modelling Game For Ontology Education and Development

Max Willis, Greta Adamo

OSSDoorway: A Gamified Environment to Scaffold Student Contributions to Open Source Software

Italo Santos, Katia Felizardo, Anita Sarma, Igor Steinmacher, Marco Gerosa

CADRI Introduction and Requirements Elicitation

Joshua Garcia, Alfred Chen, Yuqi Huai, Yuntianyi Chen

Open Q&A Session

LLMs as Interfaces for a Cloud Migration Assistant

Gregor Kerr, Amal Vaidya, Mohan Krishna, Jacky Chan, Senad Ibraimoski, Bismayan Chakrabarti, Sean Moran

Breakout participants into groups for discussing 3~4 topics (Continuation)

Self-Adaptive Systems in the AI Era: Boundaries, Decisions, and Human Roles

Marin Litoiu, Andrea Zisman, Matteo Camilli, Liliana Pasquale

SWEBOK Summit Panel Discussion: The Development and Usage of Bodies of Knowledge in Software Education

Nancy Mead, Awais Rashid, John Impagliazzo, Bastian Tenbergen

Visualizing Frequent Peer Assessment Results to Uncover Problems in Project Team Dynamics

Yu Lu, André van der Hoek

Towards Responsible AI in Education: Hybrid Recommendation System for K-12 Students Case Study

Nazarii Drushchak, Vladyslava Tyshchenko, Nataliya Polyakovska

Simple Fault Localization using Execution Traces

Julian Prenner, Romain Robbes

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain , Mohamed Amine Ferrag, Lucas C. Cordeiro

TestifAI: Probabilistic Context-Aware Testing For Safe Deep Learning Models

Panel Discussion and Closing

Future of AI4SE: From Code Generation to Software Engineering?

Foundation Models for Automatic Issue Labeling

Automatically Generating Single-Responsibility Unit Tests

Geraldine Galindo-Gutierrez

EvoFuzz at the SBFT 2025 Java Tool Competition

Seokhyeon Moon, Jinwoo Choi, Yoon-Chan Jhi

Compliance Made Practical: Translating the EU AI Act into Implementable Actions

16:20

GAS 2025 Closing

Robotics Software Engineering Education: An Experience Report

Meenakshi Manjunath, Jeshwitha Jesus Raja, Rainer Herrler, Marian Daun

Visualizing Team Progress and Contribution in Student Projects with TeamCAST

Anmol Vilas Deshpande, André van der Hoek

Studying and Understanding the Effectiveness and Failures of Conversational LLM-Based Repair

Aolin Chen, Haojun Wu, Qi Xin, Steven P. Reiss, Jifeng Xuan

Automatic Test Case Generation for Smart Human-Centric Ecosystems

Leveraging Existing Road-Vehicle Standards to address EU AI Act Compliance

Shanza Ali Zafar, Jessica Kelly, Lena Heidemann, Núria Mata

A Framework for On the Fly Input Refinement for Deep Learning Models

SBFT Tool Competition 2025 - Fuzzing Track

Addison Crump, Matteo Leonelli, Sahil Sihag

Efficient and Explainable Anomaly Detection in Financial System Logs Using Statistical Modeling

Mohammed Ayub, Mauro Annarumma, Kostis Gourgoulias, Gaston Liberman, David Algorry, Najah Ghalyan, Sean Moran

Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing

Anne Borcherding, Mark Giraud, Johannes Häring

Panel: Testing

Shaukat Ali, Xavier Devroey, Annibale Panichella, Ahmed Arif, Giuseppe Colavito, Geraldine Galindo-Gutierrez, Ravishka Rathnasuriya, Alind Xhyra

Reshaping MSR (and SE) empirical evaluations in 2030

Massimiliano Di Penta

16:40

Teaching Loop Testing to Young Learners with the Code Critters Mutation Testing Game

Philipp Straubinger, Lena Bloch, Gordon Fraser

SWEBOK Summit Talk: Measurement Across SWEBOK KAs : Coverage Analysis and Suggestions for Improvements

How Do Computer Science Students Perceive Self-Study with Open-Source Repositories for Building AI/ML Systems?

Aidin Azamnouri, Nadine Koch, Justus Bogner, Stefan Wagner

Towards Unveiling Vulnerability Remediation Tactics from OSS Community

Lyuye Zhang, Wu Jiahui, Chengwei Liu, Kaixuan Li, Sen Chen, Yang Liu

KRAKEN-FUZZ: Minimizing Corpus During Fuzzing

Jikai Wang, Yuekang Li, Kailong Wang

Panel Discussion - Diversity and Inclusion in AI (Chaired by Muneera Bano)

Muneera Bano, Rashina Hoda, Daniel Amyot, Ronnie de Souza Santos

17:00

HFuzz: Havoc Mode Guided Fuzzing

Yuchong Xie, Dongdong She

Bug-Hunting Games to Add Excitement in Software Testing and Programming Classes

Natalia Silvis-Cividjian, Jasper Veltman, Auke Buchel, Erik Link, Joshua Kenyon, Michel Oey

ADkit: A framework for Anomaly Detection from natural language

Kostis Gourgoulias, Senad Ibraimoski, Gaston Liberman, Alexandru-Petre Cazan, Mohammed Ayub, Andre Frade, Leandro Rios, Sean Moran

Presentation of resulting discussions

Overlapping Events:

Automated Repair of Cyber-Physical Systems

Automatically Generating Single-Responsibility Unit Tests

Structured State Space Exploration of Dash+ Models

Intelligent Automation for Accelerating the Repair of Software Build Failures

Trustworthiness of Large Language Models for Code

Which Inputs Trigger my Patch?

Martin Eberlein, Moeketsi Raselimo, Lars Grunske

Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java

ROSMAEL ZIDANE LEKEUFACK FOULEFACK, Alessandro Marchetto

Closing Session

Bram Adams, Olga Baysal, Ayushi Rastogi

SWEBOK Summit Talk: Research Software Engineering: A SWEBOK Specialism?

Using AI/ML to Find and Remediate Enterprise Secrets in Code & Document Sharing Platforms

Gregor Kerr, David Algorry, Senad Ibraimoski, Peter Maciver, Kostis Gourgoulias, Sean Moran

SWEBOK Summit Talk: Integration of Sustainability into SWEBOK

MSR 2026 Presentation

17:20

Closing session

Closing Remarks

SWEBOK Summit Talk: Evolving SWEBoK for the Foundation Model/LLM Era: Embracing FMware & Software Engineering 3.0

Ahmed E. Hassan

CSEE&T Closing

Newcomer Reception

SWEBOK Summit Talk: Quantum Software Engineering: Future Trends in Software Engineering Body of Knowledge

Shaukat Ali, Paolo Arcaini

17:40

18:00

ICSE Steering Committee Meeting

Arie van Deursen

IEEE Software Editorial Board

18:20

SWEBOK Summit Social event at a restaurant

18:40

19:00

Nancy Mead, Yulia Cherdantseva, Bastian Tenbergen

SecurityBody of Knowledge

ASE Journal Editorial Board Meeting

19:20

19:40

20:00

20:20

20:40

21:00

21:20

21:40

22:00

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

Wed 30 Apr

2nd Floor Rideau Canal Atrium

Canada Hall 1 and 2

Canada Hall 3 Poster Area

Canada Hall 3 plus Foyer

NAC Canada Room

NAC Terrace Level

7:20

Registration Wednesday

7:40

8:00

Meditation Session

Laurie Williams

8:20

8:40

9:00

Welcome to ICSE 2025

Timothy Lethbridge, Lionel Briand

Overview of the Program from the Program Chairs

David Lo, Corina S. Păsăreanu

9:20

David Parnas Keynote: Regulation of AI and Other Untrustworthy Software

9:40

10:00

10:20

Wednesday Morning Break

Wed morning break for Indigenous SEs from any country

10:40

11:00

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu

Technical Briefing 1: Qualitative Research and Qualitative Data Analysis

Research MethodsHuman/Social

An Empirical Study on Package-Level Deprecation in Python Ecosystem

Zhiqing Zhong, Shilin He, Haoxuan Wang, BoXi Yu, Haowen Yang, Pinjia He

Critical Variable State-Aware Directed Greybox Fuzzing

Xu Chen, Ningning Cui, Zhe Pan, Liwei Chen, Gang Shi, Dan Meng

A Socio-Technical Grounded Theory on the Effect of Cognitive Dysfunctions in the Performance of Software Developers with ADHD and Autism

Kiev Gama, Grischa Liebel, Miguel Goulao, Aline Lacerda, Cristiana Lacerda

Toward a Theory on Programmer's Block Inspired by Writer's Block

Belinda Schantong, Norbert Siegmund, Janet Siegmund

Automated Generation of Accessibility Test Reports from Recorded User Transcripts

Syed Fatiul Huq, Mahan Tafreshipour, Kate Kalcevich, Sam Malek

Fuzzing MLIR Compilers with Custom Mutation Synthesis

Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Zitong Zhou, Miryung Kim

Artifact-Functional

Artifact-Available

Artifact-Reusable

A Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection

TianChen Yu, Li Yuan, Liannan Lin, Hongkui He

A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs

Trey Woodlief, Carl Hildebrandt, Sebastian Elbaum

Artifact-Functional

Artifact-Available

Does GenAI Make Usability Testing Obsolete?

Ali Ebrahimi Pourasad, Walid Maalej

A Test Oracle for Reinforcement Learning Software based on Lyapunov Stability Control Theory

Shiyu Zhang, Haoyang Song, Qixin Wang, Henghua Shen, Yu Pei

Artifact-Available

Calibration and Correctness of Language Models for Code

Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Rafiqul Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed

Artifact-Functional

Artifact-Available

Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal Verification

Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao

Datalog-Based Language-Agnostic Change Impact Analysis for Microservices

Qingkai Shi, Xiaoheng Xie, Xianjin Fu, Peng Di, Huawei Li, Ang Zhou, Gang Fan

LWDIFF: An LLM-Assisted Differential Testing Framework for WebAssembly Runtimes

Shiyao Zhou, Jincheng Wang, He Ye, Hao Zhou, Claire Le Goues, Xiapu Luo

Belonging Beyond Code: Queer Software Engineering and Humanities Student Experiences

Emily Vorderwülbeke, Isabella Graßl

Digital Twins for Software Engineering Processes

Robin Kimmel, Judith Michael, Andreas Wortmann, Jingxi Zhang

KuiTest: Leveraging Knowledge in the Wild as GUI Testing Oracle for Mobile Apps

Yongxiang Hu, Yu Zhang, Xuan Wang, Yingjie Liu, Shiyu Guo, Chaoyi Chen, Xin Wang, Yangfan Zhou

InSVDF: Interface-State-Aware Virtual Device Fuzzing

Zexiang Zhang, Gaoning Pan, Ruipeng Wang, Yiming Tao, Zulie Pan, Cheng Tu, Min Zhang, Yang Li, Yi Shen, Chunming Wu

Can an LLM find its way around a Spreadsheet?

Cho-Ting Lee, Andrew Neeser, Shengzhe Xu, Jay Katyan, Patrick Cross, Sharanya Pathakota, Marigold Norman, John C. Simeone, Jaganmohan Chandrasekaran, Naren Ramakrishnan

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study

Shuai Wang, Yinan Yu, Robert Feldt, Dhasarathy Parthasarathy

Feature-Driven End-To-End Test Generation

Parsa Alian, Noor Nashid, Mobina Shahbandeh, Taha Shabani, Ali Mesbah

CodeImprove: Program Adaptation for Deep Code Models

Ravishka Rathnasuriya, zijie zhao, Wei Yang

An Empirical Study on Commit Message Generation using LLMs via In-Context Learning

Yifan Wu, Yunpeng Wang, Ying Li, Wei Tao, Siyu Yu, Haowen Yang, Wei Jiang, Jianguo Li

11:20

AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants

Long Doan, ThanhVu Nguyen

GenC2Rust: Towards Generating Generic Rust Code from C

Xiafa Wu, Brian Demsky

Artifact-Functional

Artifact-Available

Artifact-Reusable

No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses

Gabriel Sherman, Stefan Nagy

Artifact-Functional

Artifact-Available

Artifact-Reusable

Breaking the Silos: An Actionable Framework for Recruiting Diverse Participants in SE

Shandler Mason, Hank Lenham, Sandeep Kuttal

Discovering Ideologies of the Open Source Software Movement

Yang Yue, Yi Wang, David Redmiles

GUIWatcher: Automatically Detecting GUI Lags by Analyzing Mobile Application Screencasts

Wei Liu, Feng Lin, Linqiang Guo, Tse-Hsun (Peter) Chen, Ahmed E. Hassan

Reduce Dependence for Sound Concurrency Bug Prediction

Shihao Zhu, Yuqi Guo, Yan Cai, Bin Liang, Long Zhang, Rui Chen, Tingting Yu

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Zhang, Talia Lily Ringer, Yuriy Brun

Artifact-Available

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems

Venkata Sai Aswath Duvvuru, Bohan Zhang, Michael Vierhauser, Ankit Agrawal

SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation

Dehai Zhao, Zhenchang Xing, Qinghua Lu, Xiwei (Sherry) Xu, Liming Zhu

FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks

Brian Hyeongseok Kim, Jingbo Wang, Chao Wang

Artifact-Functional

Artifact-Available

Artifact-Reusable

Instruct or Interact? Exploring and Eliciting LLMs’ Capability in Code Snippet Adaptation Through Prompt Engineering

Tanghaoran Zhang, Yue Yu, Xinjun Mao, Shangwen Wang, Kang Yang, Yao Lu, Zhang Zhang, Yuxin Zhao

11:40

Formally Verified Binary-level Pointer Analysis

Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran

Artifact-Available

Instrumentation-Driven Evolution-Aware Runtime Verification

Kevin Guan, Owolabi Legunsen

Parametric Falsification of Many Probabilistic Requirements under Flakiness

Matteo Camilli, Raffaela Mirandola

Enhancing Women's Experiences in Software Engineering

Júlia Rocha Fortunato, Luana Ribeiro Soares, Gabriela Silva Alves, Edna Dias Canedo, Fabiana Freitas Mendes

Identifying Factors Contributing to ``Bad Days'' for Software Developers: A Mixed-Methods Study

Ike Obi, Jenna L. Butler, Sankeerti Haniyur, Brian Hassan, Margaret-Anne Storey, Brendan Murphy

GUIDE: LLM-Driven GUI Generation Decomposition for Automated Prototyping

Kristian Kolthoff, Felix Kretzer, Christian Bartelt, Alexander Maedche, Simone Paolo Ponzetto

SAND: Decoupling Sanitization from Fuzzing for Low Overhead

Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su

Artifact-Functional

Artifact-Available

Artifact-Reusable

TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference

Chong Wang, Jian Zhang, Yiling Lou, Mingwei Liu, Weisong Sun, Yang Liu, Xin Peng

Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models

Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella

Artifact-Functional

Artifact-Available

Artifact-Reusable

Synthesizing Document Database Queries using Collection Abstractions

Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang

Artifact-Functional

Artifact-Available

Artifact-Reusable

When in Doubt Throw It out: Building on Confident Learning for Vulnerability Detection

Yuanjun Gong, Fabio Massacci

Artifact-Functional

Artifact-Reusable

Artifact-Available

Search-Based LLMs for Code Optimization

Shuzheng Gao, Cuiyun Gao, Wenchao Gu, Michael Lyu

12:00

EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework

Ziji Wu, yu huang, peishan huang, shanghua wen, minglong li, Ji Wang

Artifact-Functional

Artifact-Available

Moye: A Wallbreaker for Monolithic Firmware

Jintao Huang, Kai Yang, Gaosheng Wang, Zhiqiang Shi, Zhiwen Pan, Shichao Lv, Limin Sun

REDII: Test Infrastructure to Enable Deterministic Reproduction of Failures for Distributed Systems

Yang Feng, Zheyuan Lin, Dongchen Zhao, Mengbo Zhou, Jia Liu, James Jones

Investigating the Developer eXperience of LGBTQIAPN+ People in Agile Teams

Edvaldo R. Wassouf-Jr, Pedro Fukuda, Awdren Fontão

Time Warp: The Gap Between Developers’ Ideal vs Actual Workweeks in an AI-Driven Era

Sukrit Kumar, Drishti Goel, Thomas Zimmermann, Brian Houck, B. Ashok, Chetan Bansal

Agent for User: Testing Multi-User Interactive Features in TikTok

Sidong Feng, Changhao Du, huaxiao liu, Qingnan Wang, Zhengwei Lv, Gang Huo, Xu Yang, Chunyang Chen

TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code

Siyuan Li, Yuekang Li, Zuxin Chen, Chaopeng Dong, Yongpan Wang, Hong Li, Yongle Chen, Hongsong Zhu

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation

Xue Jiang, Yihong Dong, Yongding Tao, Huanyu Liu, Zhi Jin, Ge Li

GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems

Linfeng Liang, Yao Deng, Kye Morton, Valtteri Kallinen, Alice James, Avishkar Seth, Endrowednes Kuantama, Subhas Mukhopadhyay, Richard Han, Xi Zheng

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages

Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Daniel Varro

Artifact-Functional

Artifact-Available

Artifact-Reusable

Evaluation of Tools and Frameworks for Machine Learning Model Serving

Niklas Beck, Benny Stein, Dennis Wegener, Lennard Helmer

Towards Better Answers: Automated Stack Overflow Post Updating

Yubo Mai, Zhipeng Gao, Haoye Wang, Tingting Bi, Xing Hu, Xin Xia, JianLing Sun

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem

Xingyu Wang, MingSen Wang, Wenbo Shen, Rui Chang

Adopting Automated Bug Assignment in Practice - A Longitudinal Case Study at Ericsson

Markus Borg, Leif Jonsson, Emelie Engstrom, Béla Bartalos, Attila Szabo

There's Nothing to See Here: A Study of Deaf and Hearing Developer Use of Stack Overflow

Steve Counsell, Giuseppe Destefanis, Rumyana Neykova, Alina Miron, Nadine Aburumman, Thomas Shippey

Wearables to measure developer experience at work

Charlotte Brandebusemeyer, Tobias Schimmer, Bert Arnrich

Bug Analysis in Jupyter Notebook Projects: An Empirical Study

Early and Realistic Exploitability Prediction of Just-Disclosed Software Vulnerabilities: How Reliable Can It Be?

Emanuele Iannone, Giulia Sellitto, Emanuele Iaccarino, Filomena Ferrucci, Andrea De Lucia, Fabio Palomba

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First

Artifact-Functional

Artifact-Available

Artifact-Reusable

Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems

Mingfei Cheng, Xiaofei Xie, Yuan Zhou, Junjie Wang, Guozhu Meng, Kairui Yang

Artifact-Functional

Artifact-Available

Artifact-Reusable

DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production

Xiaoyun Liang, Jingyi Ren, Jiayi Qi, Chao Peng, Bo Jiang

Real-time Adapting Routing (RAR): Improving Efficiency Through Continuous Learning in Software Powered by Layered Foundation Models

Kirill Vasilevski, Dayi Lin, Ahmed E. Hassan

Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the Familiar

Yuanliang Zhang, Yifan Xie, Shanshan Li, Ke Liu, Chong Wang, Zhouyang Jia, Xiangbing Huang, Jie Song, Chaopeng Luo, Zhizheng Zheng, Rulin Xu, Yitong Liu, Si Zheng, Liao Xiangke

12:20

Listening to the Firehose: Sonifying Z3’s Behavior

Finn Hackett, Ivan Beschastnikh

Artifact-Functional

Artifact-Reusable

Artifact-Available

FSE Steering Committee Meeting

Abhik Roychoudhury

Elsevier Author Workshop

TCSE Executive Committee Meeting

ICSE 2026 Organizing Committee Meeting

Marcos Kalinowski, Rafael Prikladnicki

Conversation on Equality, Diversity, and Inclusion (EDI)

Daniela Damian, Grischa Liebel, Ronnie de Souza Santos, Sebastian Baltes, Tayana Conte, Mariam Barry, Yixue Zhao

Wednesday Lunch

Wed lunch for East Asian SEs

12:40

13:00

CSCAN Horizon Workshop Introduction

ASE Conference Program Committee Meeting

Marcel Böhme, Lingming Zhang

EU Horizon program talk by Jorg Sack

EU Horizon program talk by June Sun

13:20

EU Horizon program talk by Konstantinos Kapsouropoulos

Konstantinos Kapsouropoulos

Overlapping Events:

Pattern-based Generation and Adaptation of Quantum Workflows

Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events

Automated Testing Linguistic Capabilities of NLP Models

BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries

Artifact-Functional

Artifact-Available

A Unit Proofing Framework for Code-level Verification: A Research Agenda

Listening to the Firehose: Sonifying Z3’s Behavior

Artifact-Functional

Artifact-Reusable

Artifact-Available

Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies

SimClone: Detecting Tabular Data Clones using Value Similarity

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

EU Horizon talk by Torsten Geissler

Torsten Geissler

13:40

EU Horizon Session talk by Elisabetta Di Nitto

Elisabetta Di Nitto

14:00

ACM SIGSOFT Outstanding Research Award and Talk by Martin Rinard: Research in Program Repair and Approximate Computing: A Retrospective

Martin C. Rinard

14:20

IEEE Computer Society Harlan D. Mills Award and Talk by Bashar Nuseibeh: Context 2.0: The World in the Machine

Bashar Nuseibeh

14:40

Most influential Paper ICSE N-10 Award and Talk for: IccTA: Detecting Inter-Component Privacy Leaks in Android Apps

Li Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick McDaniel

15:00

Influential paper, TCSE and SIGSoft awards presentations

15:20

Overlapping Events:

Non-Autoregressive Line-Level Code Completion

FlatD: Protecting Deep Neural Network Program from Reversing Attacks

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice

Predicting the First Response Latency of Maintainers and Contributors in Pull Requests

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems

Wednesday Afternoon Break

WomenCafe@ICSE

Sonja Hyrynsalmi

15:40

16:00

ConsCS: Effective and Efficient Verification of Circom Circuits

Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo

Optimization of Automated and Manual Software Tests in Industrial Practice: A Survey and Historical Analysis

Roman Haas, Raphael Nömmer, Elmar Juergens, Sven Apel

Technical Briefing 2 : Using Mixed Methods Research in Software Engineering

Margaret-Anne Storey, Rashina Hoda, Maria Teresa Baldassarre, Alessandra Maciel Paz Milani

Research Methods

Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning

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

EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism

Chengjie Lu, Shaukat Ali, Tao Yue

Systematizing Inclusive Design in MOSIP: An Experience Report

Soumiki Chattopadhyay, Amreeta Chatterjee, Puja Agarwal, Bianca Trinkenreich, Swarathmika Kumar, Rohit Ranjan Rai, Resham Chugani, Pragya Kumari, Margaret Burnett, Anita Sarma

An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues

Huizi Hao, Kazi Amit Hasan, Hong Qin, Marcos Macedo, Yuan Tian, Ding Steven, H., H., Ahmed E. Hassan

Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks

shide zhou, Li Tianlin, Kailong Wang, Yihao Huang, Ling Shi, Yang Liu, Haoyu Wang

SecuritySE for AI

Artifact-Available

A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing

Sanan Hasanov, Stefan Nagy, Paul Gazzillo

Artifact-Functional

Artifact-Available

Artifact-Reusable

Neurosymbolic Modular Refinement Type Inference

Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala

ADAMAS: Adaptive Domain-Aware Performance Anomaly Detection in Cloud Service Systems

Wenwei Gu, Jiazhen Gu, Jinyang Liu, Zhuangbin Chen, Jianping Zhang, Jinxi Kuang, Cong Feng, Yongqiang Yang, Michael Lyu

Faster Configuration Performance Bug Testing with Neural Dual-level Prioritization

Youpeng Ma, Tao Chen, Ke Li

Artifact-Functional

Artifact-Available

Artifact-Reusable

SUPERSONIC: Learning to Generate Source Code Optimizations in C/C++

Zimin Chen, Sen Fang, Martin Monperrus

Large Language Models for Safe Minimization

Aashish Yadavally, Xiaokai Rong, Phat Nguyen, Tien N. Nguyen

Artifact-Functional

Artifact-Available

Artifact-Reusable

Constrained LTL Specification Learning from Examples

Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira-Goes, David Garlan, Eunsuk Kang

Artifact-Functional

Artifact-Available

Artifact-Reusable

A-COBREX : A Tool for Identifying Business Rules in COBOL Programs

Samveg Shah, Shivali Agarwal, Saravanan Krishnan, Vini Kanvar, Sridhar Chimalakonda

On the Understandability of MLOps System Architectures

Stephen John Warnett, Uwe Zdun

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

Jon Ayerdi, Valerio Terragni, Gunel Jahangirova, Aitor Arrieta, Paolo Tonella

A Collaborative Framework for Cross-Domain Scientific Experiments for Society 5.0

Muhammad Mainul Hossain, Banani Roy, Chanchal K. Roy, Kevin Schneider

Artifact-Reusable

Artifact-Available

Research Methods

Artifact-Functional

Who’s Pushing the Code: An Exploration of GitHub Impersonation

Yueke Zhang, Anda Liang, Xiaohan Wang, Pamela J. Wisniewski, Fengwei Zhang, Kevin Leach, Yu Huang

Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software

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

SecuritySE for AI

Exploring the Robustness of the Effect of EVO on Intention Valuation through Replication

Yesugen Baatartogtokh, Kaitlyn Cook, Alicia M. Grubb

Artifact-Functional

Artifact-Available

Artifact-Reusable

An Empirical Study on Automatically Detecting AI-Generated Source Code: How Far Are We?

Hyunjae Suh, Mahan Tafreshipour, Jiawei Li, Adithya Bhattiprolu, Iftekhar Ahmed

LibreLog: Accurate and Efficient Unsupervised Log Parsing Using Open-Source Large Language Models

Zeyang Ma, Dong Jae Kim, Tse-Hsun (Peter) Chen

Metamorphic-Based Many-Objective Distillation of LLMs for Code-related Tasks

Annibale Panichella

Artifact-Functional

Artifact-Available

Artifact-Reusable

An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools

Miao Miao, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei

Artifact-Functional

Artifact-Available

Artifact-Reusable

LUNA: A Model-Based Universal Analysis Framework for Large Language Models

Da Song, Xuan Xie, Norman Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma, Yuheng Huang

16:20

LLM-aided Automatic Modeling for Security Protocol Verification

Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong

SecurityFormal Methods

Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing

Ying Fu, Zhiyong Wu, Yuanliang Zhang, Jie Liang, Jingzhou Fu, Yu Jiang, Shanshan Li, Liao Xiangke

Bridging the Language Gap: An Empirical Study of Bindings for Open Source Machine Learning Libraries Across Software Package Ecosystems

Hao Li, Cor-Paul Bezemer

Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency

Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani

A First Look at AI Trends in Value-Aligned Software Engineering Publications: Human-LLM Insights

Ahmad Azarnik, Davoud Mougouei, Mahdi Fahmideh, Elahe Mougouei, Hoa Khanh Dam, Arif Ali Khan, Saima Rafi, Javed Ali Khan, Aakash Ahmad

Understanding Real-time Collaborative Programming: a Study of Visual Studio Live Share

Xin Tan, Xinyue Lv, Jing Jiang, Li Zhang

HIFI: Explaining and Mitigating Algorithmic Bias through the Lens of Game-Theoretic Interactions

Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang, Jiangtao Wang

SecuritySE for AI

Artifact-Available

Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts

Sebastian Uchitel, Francisco Cirelli, Dalal Alrajeh

Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets

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

Artifact-Functional

Artifact-Available

Artifact-Reusable

Model Editing for LLMs4Code: How Far are We?

Xiaopeng Li, Shangwen Wang, Shasha Li, Jun Ma, Jie Yu, Xiaodong Liu, Jing Wang, Bin Ji, Weimin Zhang

NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based Agent

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs

Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, Yue Li

Artifact-Functional

Artifact-Available

Artifact-Reusable

Intention is All You Need: Refining Your Code from Your Intention

Qi Guo, Xiaofei Xie, Shangqing Liu, Ming Hu, Xiaohong Li, Lei Bu

16:40

Model Assisted Refinement of Metamorphic Relations for Scientific Software

Clay Stevens, Katherine Kjeer, Ryan Richard, Edward Valeev, Myra Cohen

Coni: Detecting Database Connector Bugs via State-Aware Test Case Generation

Wenqian Deng, Zhiyong Wu, Jie Liang, Jingzhou Fu, Mingzhe Wang, Yu Jiang

Understanding Code Understandability Improvements in Code Reviews

Delano Hélio Oliveira, Reydne Bruno dos Santos, Benedito Fernando Albuquerque de Oliveira, Martin Monperrus, Fernando Castor, Fernanda Madeiral

Runtime Verification and Field-based Testing for ROS-based Robotic Systems

Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger

From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits?

Gianmario Voria, Stefano Lambiase, Maria Concetta Schiavone, Gemma Catolino, Fabio Palomba

Artifact-Reusable

Artifact-Available

Artifact-Functional

Characterizing the Prevalence, Distribution, and Duration of Stale Reviewer Recommendations

Farshad Kazemi, Maxime Lamothe, Shane McIntosh

Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection

Yanfu Yan, Viet Duong, Huajie Shao, Denys Poshyvanyk

SecuritySE for AI

User Personas Improve Social Sustainability by Encouraging Software Developers to Deprioritize Antisocial Features

Bimpe Ayoola, Miikka Kuutila, Rina R. Wehbe, Paul Ralph

LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-based Code Completion

Chong Wang, Kaifeng Huang, Jian Zhang, Yebo Feng, Lyuye Zhang, Yang Liu, Xin Peng

Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets

Christof Tinnes, Alisa Carla Welter, Sven Apel

Test Intention Guided LLM-based Unit Test Generation

Zifan Nan, Zhaoqiang Guo, Kui Liu, Xin Xia

Execution Trace Reconstruction Using Diffusion-Based Generative Models

Madeline Janecek, Naser Ezzati-Jivan, Abdelwahab Hamou-Lhadj

RLCoder: Reinforcement Learning for Repository-Level Code Completion

Yanlin Wang, Yanli Wang, Daya Guo, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng

17:00

Precisely Extracting Complex Variable Values from Android Apps

Marc Miltenberger, Steven Arzt

Puppy: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction

Zhiyong Wu, Jie Liang, Jingzhou Fu, Mingzhe Wang, Yu Jiang

Automatic Commit Message Generation: A Critical Review and Directions for Future Work

Yuxia Zhang, Zhiqing Qiu, Klaas-Jan Stol, Wenhui Zhu, Jiaxin Zhu, Yingchen Tian, Hui Liu

Towards Effectively Testing Machine Translation Systems from White-Box Perspectives

Hanying Shao, Zishuo Ding, Weiyi Shang, Jinqiu Yang, Nikolaos Tsantalis

Not real or too soft? On the challenges of publishing interdisciplinary software engineering research

Sonja Hyrynsalmi, Grischa Liebel, Ronnie de Souza Santos, Sebastian Baltes

Artifact-Available

Diversity's Double-Edged Sword: Analyzing Race's Effect on Remote Pair Programming Interactions

Shandler Mason, Sandeep Kuttal

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems

Yining She, Sumon Biswas, Christian Kästner, Eunsuk Kang

SecuritySE for AI

Artifact-Functional

Artifact-Available

Artifact-Reusable

VReqST: A Requirement Specification Tool for Virtual Reality Software Products

Amogha A Halhalli, Raghu Reddy, Karre Sai Anirudh

Artifact-Functional

Artifact-Available

Artifact-Reusable

Knowledge-Enhanced Program Repair for Data Science Code

Shuyin Ouyang, Jie M. Zhang, Zeyu Sun, Albert Merono Penuela

SpecRover: Code Intent Extraction via LLMs

Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury

What You See Is What You Get: Attention-based Self-guided Automatic Unit Test Generation

Xin Yin, Chao Ni, xiaodanxu , Xiaohu Yang

Static Analysis of Remote Procedure Call in Java Programs

Baoquan Cui, RongQu , Zhen Tang, Jian Zhang

InterTrans: Leveraging Transitive Intermediate Translations to Enhance LLM-based Code Translation

Marcos Macedo, Yuan Tian, Pengyu Nie, Filipe Cogo, Bram Adams

A Unit Proofing Framework for Code-level Verification: A Research Agenda

Safe Validation of Pricing Agreements

John C. Kolesar, Tancrède Lepoint, Martin Schäf, Willem Visser

Efficient Management of Containers for Software Defined Vehicles

Using Knowledge Units of Programming Languages to Recommend Reviewers for Pull Requests: An Empirical Study

Md Ahasanuzzaman, Gustavo A. Oliva, Ahmed E. Hassan, Md Ahasanuzzaman

What is unethical about software? User perceptions in the Netherlands

Yagil Elias, Tom P Humbert, Lauren Olson, Emitzá Guzmán

Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS

What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines

Nitish Patkar, Aimen Fahmi, Timo Kehrer, Norbert Seyff

SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning

Unleashing the True Potential of Semantic-based Log Parsing with Pre-trained Language Models

Van-Hoang Le, Yi Xiao, Hongyu Zhang

Artifact-Functional

Artifact-Available

Artifact-Reusable

Improving Code Performance Using LLMs in Zero-Shot: RAPGen

Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan

ArkAnalyzer: The Static Analysis Framework for OpenHarmony

chenhaonan , Daihang Chen, Yizhuo Yang, Lingyun Xu, Liang Gao, Mingyi Zhou, Chunming Hu, Li Li

Toward a Theory of Causation for Interpreting Neural Code Models

David Nader Palacio, Alejandro Velasco, Nathan Cooper, Alvaro Rodriguez, Kevin Moran, Denys Poshyvanyk

17:20

Automated Testing Linguistic Capabilities of NLP Models

Jaeseong Lee, Simin Chen, Austin Mordahl, Cong Liu, Wei Yang, Shiyi Wei

Overlapping Events:

Towards Fully-Traceable Human-Centred Design

Towards Quality Assurance of Natural Language in Code

Improving Software Engineering Team Communication Through Stronger Social Networks

Augmenting the Generality and Performance of Large Language Models for Software Engineering

Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development

A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development

Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration

Human-centric Requirements Engineering for Digital Health Software for Aging People

Automatically Generating Single-Responsibility Unit Tests

Exploring GenAI-Driven Innovation in Game Development

Addressing Recurring Bugs and Workflow Challenges in Quantum Software Engineering

Understanding and Supporting the ML Supply Chain through ML Bill of Materials

Energy efficiency through architectural tactics for self-adaptive Cloud systems

Intelligent Automation for Accelerating the Repair of Software Build Failures

Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals

Automated Repair of Cyber-Physical Systems

Distilling Reference Architectures from Open Source Repositories

Structured State Space Exploration of Dash+ Models

Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively

User perceptions of ethical issues in software

Advancing Cognitive Inclusivity in Software Engineering Tools and Practices

Build and Runtime Integrity for Java

Rethinking Software Development Considering Collaboration with AI Assistants

Trustworthiness of Large Language Models for Code

17:40

18:00

18:20

18:40

19:00

Reception at the National Arts Centre

Reception at the National Arts Centre

19:20

19:40

20:00

20:20

20:40

21:00

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

Thu 1 May

JOEY Rideau Restaurant for LGBTQ Lunch Thursday

2nd Floor Rideau Canal Atrium

Canada Hall 1 and 2

Canada Hall 3 Poster Area

Canada Hall 3 plus Foyer

Matt Anthony Field for Soccer Game Thursday 4-6

Rideau Canal Pathway for Thursday Run

7:00

Timothy Lethbridge

7:20

ICSE 2027 Organizing Committee Meeting

Liliana Pasquale, Brian Fitzgerald

7:40

8:00

JSS Journal Board Meeting

David C. Shepherd, Paris Avgeriou

Registration Thursday

8:20

8:40

9:00

Thursday Early Morning Awards Session

Manel Abdellatif

9:20

Neha Rungta Keynote: Engineering correctness for a domain

9:40

10:00

10:20

Overlapping Events:

Pattern-based Generation and Adaptation of Quantum Workflows

A Unit Proofing Framework for Code-level Verification: A Research Agenda

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

Listening to the Firehose: Sonifying Z3’s Behavior

Artifact-Functional

Artifact-Reusable

Artifact-Available

HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t

Automated Testing Linguistic Capabilities of NLP Models

Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models

Thursday Morning Break

Thurs morning break for Spanish speaking SEs

Emitzá Guzmán

10:40

11:00

A Large-Scale Study of Model Integration in ML-Enabled Software Systems

Yorick Sens, Henriette Knopp, Sven Peldszus, Thorsten Berger

Artifact-Functional

Artifact-Available

Artifact-Reusable

Automatic Fuzz Drivers for JavaScript with Type Distributions

SIT: An accurate, compliant SBOM generator with incremental construction

Changguo Jia, NIANYU LI, Minghui Zhou, Kai Yang

Code Today, Deadline Tomorrow: Procrastination Among Software Developers

Zeinabsadat Saghi, Thomas Zimmermann, Souti Chattopadhyay

Technical Briefing 3: Codellm-Devkit: A Framework To Contextualize Code LLMs with Program Analysis Insights Tool Demo

Rahul Krishna, Rangeet Pan

AnalysisAI for SEHands-onProg. Comprehension/Reengg.

Accounting for Missing Events in Statistical Information Leakage Analysis

Seongmin Lee, Shreyas Minocha, Marcel Böhme

Artifact-Functional

Artifact-Available

An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization

Fraol Batole, David OBrien, Tien N. Nguyen, Robert Dyer, Hridesh Rajan

Artifact-Available

COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge

Yichen LI, Yulun Wu, Jinyang Liu, Zhihan Jiang, Zhuangbin Chen, Guangba Yu, Michael Lyu

From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC

Stefan Schwedt, Thomas Ströder

A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs

Myeongsoo Kim, Tyler Stennett, Saurabh Sinha, Alessandro Orso

Answering User Questions about Machine Learning Models through Standardized Model Cards

Tajkia Rahman Toma, Balreet Grewal, Cor-Paul Bezemer

TSE 50th Anniversary Celebration

Sebastian Uchitel, Bashar Nuseibeh, Jeffrey Kramer, Nenad Medvidović, Matthew B Dwyer

CASS: Context-Aware Slice Summarization for Debugging Regression Failures

Characterising Algorithm Debt in Machine and Deep Learning Systems

Emmanuel Iko-Ojo Simon

Are LLMs Correctly Integrated into Software Systems?

Yuchen Shao, Yuheng Huang, Jiawei Shen, Lei Ma, Ting Su, Chengcheng Wan

Artifact-Available

Towards Better Static Analysis Bug Reports in the Clang Static Analyzer

Kristóf Umann, Zoltán Porkoláb

"Get Me In The Groove": A Mixed Methods Study on Supporting ADHD Professional Programmers

Kaia Newman, Sarah Snay, Madeline Endres, Manasvi Parikh, Andrew Begel

AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts

Setu Kumar Basak, K. Virgil English, Ken Ogura, Vitesh Kambara, Bradley Reaves, Laurie Williams

Distilled Lifelong Self-Adaptation for Configurable Systems

Yulong Ye, Tao Chen, Miqing Li

Artifact-Functional

Artifact-Available

Artifact-Reusable

Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding

Yifeng Di, Tianyi Zhang

LiSSA: Toward Generic Traceability Link Recovery through Retrieval-Augmented Generation

Dominik Fuchß, Tobias Hey, Jan Keim, Haoyu Liu, Niklas Ewald, Tobias Thirolf, Anne Koziolek

Artifact-Functional

Artifact-Available

Artifact-Reusable

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs

Hongyan Gao, Yibiao Yang, Maolin Sun, Jiangchang Wu, Yuming Zhou, Baowen Xu

Artifact-Available

Fairness Testing through Extreme Value Theory

Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari

11:20

Consistent Graph Model Generation with Large Language Models

Enhancing OSS Remediation with Patch Backporting

Patch Synthesis for Property Repair of Deep Neural Networks

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang

Artifact-Functional

Artifact-Available

Artifact-Reusable

Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents

Automatic Identification of Game Stuttering via Gameplay Videos Analysis

Emanuela Guglielmi, Gabriele Bavota, Rocco Oliveto, Simone Scalabrino

Hints Help Finding and Fixing Bugs Differently in Python and Text-based Program Representations

Ruchit Rawal, Victor-Alexandru Padurean, Sven Apel, Adish Singla, Mariya Toneva

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects

Hao Song, Teng Li, Jiachi Chen, Ting Chen, Beibei Li, Zhangyan Lin, Yi Lu, Pan Li, Xihan Zhou

BlockchainSecurityAward Winner

The Software Librarian: Python Package Insights for Copilot

Jasmine Latendresse, Nawres Day, SayedHassan Khatoonabadi, Emad Shihab

HumanEvo: An Evolution-aware Benchmark for More Realistic Evaluation of Repository-level Code Generation

Dewu Zheng, Yanlin Wang, Ensheng Shi, Ruikai Zhang, Yuchi Ma, Hongyu Zhang, Zibin Zheng

Replication in Requirements Engineering: the NLP for RE Case

Sallam Abualhaija, Fatma Başak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari, Xavier Franch, Davide Fucci

LLM Based Input Space Partitioning Testing for Library APIs

Jiageng Li, Zhen Dong, Chong Wang, Haozhen You, Cen Zhang, Yang Liu, Xin Peng

Artifact-Functional

Artifact-Available

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation

Zhao Tian, Junjie Chen, Xiangyu Zhang

Improving Formal Methods Visualizations

11:40

MUARF: Leveraging Multi-Agent Workflows for Automated Code Refactoring

Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis

Nimrod Busany, Hananel Hadad, Zofia Maszlanka, Rohit Shelke, Gregory Price, Okhaide Akhigbe, Daniel Amyot

LLM Driven Smart Assistant for Data Mapping

Arihant Bedagkar, Sayandeep Mitra, Raveendra Kumar Medicherla, Ravindra Naik, Samiran Pal

How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities

Ruanqianqian (Lisa) Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner, Michael Coblenz

Artifact-Functional

Artifact-Available

Artifact-Reusable

Detecting Python Malware in the Software Supply Chain with Program Analysis

Ridwan Salihin Shariffdeen, Behnaz Hassanshahi, Martin Mirchev, Ali El Husseini, Abhik Roychoudhury

Artifact-Available

Artifact-Functional

Artifact-Reusable

aiXcoder-7B: A Lightweight and Effective Large Language Model for Code Processing

Siyuan Jiang, Jia Li, He Zong, Huanyu Liu, Hao Zhu, Shukai Hu, Erlu Li, Jiazheng Ding, Ge Li

SEMANTIC CODE FINDER: An Efficient Semantic Search Framework for Large-Scale Codebases

daeha ryu, Seokjun Ko, Eunbi Jang, jinyoung park, myunggwan kim, changseo park

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability

Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora

Artifact-Functional

Artifact-Reusable

Artifact-Available

Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests

Amirhossein Deljouyi, Roham Koohestani, Mali Izadi, Andy Zaidman

Artifact-Functional

Artifact-Available

SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents

Feng Lin, Dong Jae Kim, Tse-Hsun (Peter) Chen

On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation

On the Fly Input Refinement for Code Language Models

12:00

AI-Assisted SQL Authoring at Industry Scale

Chandra Sekhar Maddila, Negar Ghorbani, Kosay Jabre, Vijayaraghavan Murali, Edwin Kim, Parth Thakkar, Nikolay Pavlovich Laptev, Olivia Harman, Diana Hsu, Rui Abreu, Peter C Rigby

Program Feature-based Fuzzing Benchmarking

On the Diagnosis of Flaky Job Failures: Understanding and Prioritizing Failure Categories

Henri Aïdasso, Francis Bordeleau, Ali Tizghadam

Artifact-Available

Artifact-Functional

Artifact-Reusable

Investigating the Online Recruitment and Selection Journey of Novice Software Engineers: Anti-patterns and Recommendations

Miguel Setúbal, Tayana Conte, Marcos Kalinowski, Allysson Allex Araújo

$ZTD_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies

Paschal Amusuo, Kyle A. Robinson, Tanmay Singla, Huiyun Peng, Aravind Machiry, Santiago Torres-Arias, Laurent Simon, James C. Davis

Leveraging MLOps: Developing a Sequential Classification System for RFQ Documents in Electrical Engineering

Claudio Martens, Hammam Abdelwahab, Katharina Beckh, Birgit Kirsch, Vishwani Gupta, Dennis Wegener, Steffen Hoh

Time to Retrain? Detecting Concept Drifts in Machine Learning Systems

Tri Minh-Triet Pham, Karthikeyan Premkumar, Mohamed Naili, Jinqiu Yang

NICE: Non-Functional Requirements Identification, Classification, and Explanation Using Small Language Models

Gokul Rejithkumar, Preethu Rose Anish

Artifact-Available

exLong: Generating Exceptional Behavior Tests with Large Language Models

Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric

Artifact-Available

The Product Beyond the Model -- An Empirical Study of Repositories of Open-Source ML Products

Nadia Nahar, Haoran Zhang, Grace Lewis, Shurui Zhou, Christian Kästner

Revisiting SWE-Bench: On the Importance of Data Quality for LLM-based Code Models

The Balancing Act of Policies in Developing Machine Learning Explanations

Automating ML Model Development at Scale

Kaiyuan Wang, Yang Li, Junyang Shen, Kaikai Sheng, Yiwei You, Jiaqi Zhang, Srikar Ayyalasomayajula, Julian Grady, Martin Wicke

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes

Reputation Gaming in Crowd Technical Knowledge Sharing

Iren Mazloomzadeh, Gias Uddin, Foutse Khomh, Ashkan Sami

FairChecker: Detecting Fund-stealing Bugs in DeFi Protocols via Fairness Validation

Yi Sun, Zhuo Zhang, Xiangyu Zhang

BlockchainSecurity

On Mitigating Code LLM Hallucinations with API Documentation

Nihal Jain, Robert Kwiatkowski, Baishakhi Ray, Murali Krishna Ramanathan, Varun Kumar

UML Sequence Diagram Generation: A Multi-Model, Multi-Domain Evaluation

Chi Xiao, Daniel Ståhl, Jan Bosch

TOGLL: Correct and Strong Test Oracle Generation with LLMs

Soneya Binta Hossain, Matthew B Dwyer

Artifact-Available

Towards Trustworthy LLMs for Code: A Data-Centric Synergistic Auditing Framework

Chong Wang, Zhenpeng Chen, Li Tianlin, Yilun Zhang, Yang Liu

12:20

To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers

Towards Compatibly Mitigating Technical Lag in Maven Projects

TOSEM Editorial Board Meeting

Abhik Roychoudhury

FSE 2026 Program Committee Meeting

Christoph Treude

TSE Journal Editorial Board Meeting

Sebastian Uchitel

Thursday Lunch

Thurs lunch for South Asian SEs

12:40

LGBTQI+@ICSE Sponsored by Elsevier

Ronnie de Souza Santos, Xavier Devroey

13:00

Overlapping Events:

BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks

Ethical Issues in Video Games: Insights from Reddit Discussions

An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems

FlatD: Protecting Deep Neural Network Program from Reversing Attacks

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice

On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools.

Automating Explanation Need Management in App Reviews: A Case Study from the Navigation App Industry

13:20

Overlapping Events:

Non-Autoregressive Line-Level Code Completion

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation

SusDevOps: Promoting Sustainability to a First Principle in Software Delivery

Predicting the First Response Latency of Maintainers and Contributors in Pull Requests

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

Relevant information in TDD experiment reporting

13:40

14:00

Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability

Geraldine Galindo-Gutierrez, Juan Pablo Sandoval Alcocer, Nicolas Jimenez-Fuentes, Alexandre Bergel, Gordon Fraser

The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries

Zhiyuan Li, Jingzheng Wu, Xiang Ling, Tianyue Luo, ZHIQING RUI, Yanjun Wu

SecurityAward Winner

Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers

Yuling Shi, Hongyu Zhang, Chengcheng Wan, Xiaodong Gu

Large Language Models as Configuration Validators

Xinyu Lian, Yinfang Chen, Sam Cheng, Jie Huang, Parth Thakkar, Minjia Zhang, Tianyin Xu

Artifact-Functional

Artifact-Available

Artifact-Reusable

CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph

Hanxiang Xu, Wei Ma, Ting Zhou, Yanjie Zhao, Kai Chen, Qiang Hu, Yang Liu, Haoyu Wang

Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries

Yongchao WANG, Yuandao Cai, Charles Zhang

Code Comment Inconsistency Detection and Rectification Using a Large Language Model

Guoping Rong, YongdaYu , Song Liu, Xin Tan, Tianyi Zhang, Haifeng Shen, Jidong Hu

Panel 1: The Future of Software Engineering Beyond the Hype of AI

Steven D. Fraser, Tom DeMarco, Bertrand Meyer, Adriana Meza Soria, Mary Shaw, Irene Manotas, Laurie Williams, Landon Noll

Dissecting Global Search: A Simple yet Effective Method to Boost Individual Discrimination Testing and Repair

Lili Quan, Li Tianlin, Xiaofei Xie, Zhenpeng Chen, Sen Chen, Lingxiao Jiang, Xiaohong Li

Invivo Fuzzing by Amplifying Actual Executions

Octavio Galland, Marcel Böhme

Artifact-Functional

Artifact-Available

Artifact-Reusable

AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL

Tyler Stennett, Myeongsoo Kim, Saurabh Sinha, Alessandro Orso

Deep Learning-based Code Reviews: A Paradigm Shift or a Double-Edged Sword?

Rosalia Tufano, Alberto Martin-Lopez, Ahmad Tayeb, Ozren Dabic, Sonia Haiduc, Gabriele Bavota

LLM Assistance for Memory Safety

Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

ClauseBench: Enhancing Software License Analysis with Clause-Level Benchmarking

Qiang Ke, Xinyi Hou, Yanjie Zhao, Haoyu Wang

Dockerfile Flakiness: Characterization and Repair

Taha Shabani, Noor Nashid, Parsa Alian, Ali Mesbah

Context Conquers Parameters: Outperforming Proprietary LLM in Commit Message Generation

Aaron Imani, Iftekhar Ahmed, Mohammad Moshirpour

FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation

Yang Sun, Chris Poskitt, Kun Wang, Jun Sun

14:20

Towards High-strength Combinatorial Interaction Testing for Highly Configurable Software Systems

Chuan Luo, Shuangyu Lyu, Wei Wu, Hongyu Zhang, Dianhui Chu, Chunming Hu

Artifact-Functional

Artifact-Available

Artifact-Reusable

FairBalance: How to Achieve Equalized Odds With Data Pre-processing

Zhe Yu, Joymallya Chakraborty, Tim Menzies

An Exploratory Study of ML Sketches and Visual Code Assistants

Luis F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich, Rui Abreu

Artifact-Functional

Artifact-Available

Artifact-Reusable

Vulnerability Detection with Code Language Models: How Far Are We?

Yangruibo Ding, Yanjun Fu, Omniyyah Ibrahim, Chawin Sitawarin, Xinyun Chen, Basel Alomair, David Wagner, Baishakhi Ray, Yizheng Chen

CodeMorph: Mitigating Data Leakage in Large Language Model Assessment

Hongzhou Rao, Yanjie Zhao, Wenjie Zhu, Ling Xiao, Meizhen Wang, Haoyu Wang

Evaluating Garbage Collection Performance Across Managed Language Runtimes

Yicheng Wang, Wensheng Dou, Yu Liang, Yi Wang, Wei Wang, Jun Wei, Tao Huang

HedgeCode: A Multi-Task Hedging Contrastive Learning Framework for Code Search

Gong Chen, Xiaoyuan Xie, Xunzhu Tang, Qi Xin, Wenjie Liu

MARQ: Engineering Mission-Critical AI-based Software with Automated Result Quality Adaptation

Uwe Gropengießer, Elias Dietz, Florian Brandherm, Achref Doula, Osama Abboud, Xun Xiao, Max Mühlhäuser

Artifact-Functional

Artifact-Available

Artifact-Reusable

14:40

WDD: Weighted Delta Debugging

Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian, Chengnian Sun

Artifact-Functional

Artifact-Available

RLocator: Reinforcement Learning for Bug Localization

Partha Chakraborty, Mahmoud Alfadel, Mei Nagappan

LiCoEval: Evaluating LLMs on License Compliance in Code Generation

Weiwei Xu, Kai Gao, Hao He, Minghui Zhou

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications

Wei Ma, Daoyuan Wu, Yuqiang Sun, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu

BlockchainSecurity

CommitShield: Tracking Vulnerability Introduction and Fix in Version Control Systems

Zhaonan Wu, Yanjie Zhao, Chen Wei, Zirui Wan, Yue Liu, Haoyu Wang

Module-Aware Context Sensitive Pointer Analysis

Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao

Artifact-Functional

Artifact-Available

Artifact-Reusable

Reasoning Runtime Behavior of a Program with LLM: How Far Are We?

Junkai Chen, Zhiyuan Pan, Xing Hu, Zhenhao Li, Ge Li, Xin Xia

An Empirical Study of Challenges in Machine Learning Asset Management

Zhimin Zhao, Yihao Chen, Abdul Ali Bangash, Bram Adams, Ahmed E. Hassan

15:00

TopSeed: Learning Seed Selection Strategies for Symbolic Execution from Scratch

Jaehyeok Lee, Sooyoung Cha

Artifact-Functional

Artifact-Available

Studying the explanations for the automated prediction of bug and non-bug issues using LIME and SHAP

Lukas Schulte, Benjamin Ledel, Steffen Herbold

Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications

Sadra Sabouri, Philipp Eibl, Xinyi Zhou, Morteza Ziyadi, Nenad Medvidović, Lars Lindemann, Souti Chattopadhyay

Towards Neural Synthesis for SMT-assisted Proof-Oriented Programming

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy

SecurityFormal MethodsAward Winner

Exploring Large Language Models for Analyzing Open Source License Conflicts: How Far Are We?

Xing Cui, Jingzheng Wu, Xiang Ling, Tianyue Luo, Mutian Yang, Wenxiang Ou

An Empirical Study on Reproducible Packaging in Open-Source Ecosystems

Giacomo Benedetti, Oreofe Solarin, Courtney Miller, Greg Tystahl, William Enck, Christian Kästner, Alexandros Kapravelos, Alessio Merlo, Luca Verderame

Artifact-Available

Source Code Summarization in the Era of Large Language Models

Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang, Chunrong Fang, Yi Liu, Gelei Deng, Yang Liu, Zhenyu Chen

A Reference Model for Empirically Comparing LLMs with Humans

Kurt Schneider, Farnaz Fotrousi, Rebekka Wohlrab

Hunting bugs: Towards an automated approach to identifying which change caused a bug through regression testing

Michel Maes Bermejo, Alexander Serebrenik, Micael Gallego, Francisco Gortázar, Gregorio Robles, Jesus M. Gonzalez-Barahona

Test Generation Strategies for Building Failure Models and Explaining Spurious Failures

Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh

What Guides Our Choices? Modeling Developers' Trust and Behavioral Intentions Towards GenAI

Rudrajit Choudhuri, Bianca Trinkenreich, Rahul Pandita, Eirini Kalliamvakou, Igor Steinmacher, Marco Gerosa, Christopher Sanchez, Anita Sarma

Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses

Rodrigo Resendes Pedro, Miguel E. Coimbra, Daniel Castro, Paulo Carreira, Nuno Santos

SecuritySE for AI

Artifact-Functional

Artifact-Available

Artifact-Reusable

OSS-LCAF: Open-Source Software License Conflict Analysis Framework

Aditya Kahol, Anka Chandrahas Tummepalli, Preethu Rose Anish

T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax

Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Jiarui Zhang, Puzhuo Liu, Yu Jiang, Chengnian Sun

Template-Guided Program Repair in the Era of Large Language Models

Kai Huang, Jian Zhang, Xiangxin Meng, Yang Liu

Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice

15:20

Get-together for friends of Barbora Buhnova

Overlapping Events:

Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events

Best ends by the best means: ethical concerns in app reviews

Shaken, Not Stirred. How Developers Like Their Amplified Tests

BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries

Artifact-Functional

Artifact-Available

Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies

Exploring User Privacy Awareness on GitHub: An Empirical Study

SimClone: Detecting Tabular Data Clones using Value Similarity

Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think?

Thursday Afternoon Break

Thurs afternoon break for Francophone SEs

15:40

16:00

TCSE and SIGSoft Town Hall Meeting

Federica Sarro, Marsha Chechik, Arie van Deursen

ICSE Soccer

Mattia Fazzini, Heng Li

16:20

16:40

17:00

17:20

Overlapping Events:

Understanding and Supporting the ML Supply Chain through ML Bill of Materials

Improving Software Engineering Team Communication Through Stronger Social Networks

Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively

Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals

Towards Quality Assurance of Natural Language in Code

Exploring GenAI-Driven Innovation in Game Development

Addressing Recurring Bugs and Workflow Challenges in Quantum Software Engineering

Towards Fully-Traceable Human-Centred Design

A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development

Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development

Automated Repair of Cyber-Physical Systems

Intelligent Automation for Accelerating the Repair of Software Build Failures

Trustworthiness of Large Language Models for Code

Automatically Generating Single-Responsibility Unit Tests

Augmenting the Generality and Performance of Large Language Models for Software Engineering

Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration

Rethinking Software Development Considering Collaboration with AI Assistants

Human-centric Requirements Engineering for Digital Health Software for Aging People

User perceptions of ethical issues in software

Energy efficiency through architectural tactics for self-adaptive Cloud systems

Build and Runtime Integrity for Java

Structured State Space Exploration of Dash+ Models

Advancing Cognitive Inclusivity in Software Engineering Tools and Practices

Distilling Reference Architectures from Open Source Repositories

17:40

18:00

18:20

18:40

19:00

Timothy Lethbridge, Lionel Briand

19:20

19:40

20:00

20:20

20:40

21:00

21:20

21:40

22:00

22:20

22:40

23:00

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

Fri 2 May

2nd Floor Rideau Canal Atrium

Canada Hall 1 and 2

Canada Hall 3 Poster Area

Canada Hall 3 plus Foyer

Restaurant for ICSE Organizing Committee Thank-you Dinner Friday

8:00

Registration Friday

8:20

8:40

9:00

Final thanks from the ICSE 2025 organizers

Introduction to ICSE 2026 in Brazil

Marcos Kalinowski, Rafael Prikladnicki

9:20

Introduction to ICSE 2027 in Ireland

Overlapping Events:

Introduction to ICSE 2028 in Hawaii

Patricia Lago Keynote: Title: Software Sustainability and its Engineering: How far have we come?

9:40

10:00

10:20

Overlapping Events:

An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues

Automating Explanation Need Management in App Reviews: A Case Study from the Navigation App Industry

On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools.

Relevant information in TDD experiment reporting

BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks

Ethical Issues in Video Games: Insights from Reddit Discussions

SusDevOps: Promoting Sustainability to a First Principle in Software Delivery

Friday Morning Break

DisabiliTEA@ICSE Friday Morning

10:40

11:00

Technical Briefing 4: Architecting Digital Twin-Based Systems

Bedir Tekinerdogan

Design/ArchDigital twins

Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration

Jiashuo Zhang, Jiachi Chen, John Grundy, Jianbo Gao, Yanlin Wang, Ting Chen, Zhi Guan, Zhong Chen

DPFuzzer: Discovering Safety Critical Vulnerabilities for Drone Path Planners

Yue Wang, Chao Yang, Xiaodong Zhang, Yuwanqi Deng, Jianfeng Ma

Relationship Status: “It’s complicated” Developer-Security Expert Dynamics in Scrum

Houda Naji, Marco Gutfleisch, Alena Naiakshina

Software Engineering and Foundation Models: Insights from Industry Blogs Using a Jury of Foundation Models

Hao Li, Cor-Paul Bezemer, Ahmed E. Hassan

Artifact-Available

Artifact-Functional

Artifact-Reusable

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries

Ian McCormack, Joshua Sunshine, Jonathan Aldrich

Artifact-Functional

Artifact-Available

Artifact-Reusable

A Catalog of Micro Frontends Anti-patterns

Nabson Silva, Eriky Rodrigues, Tayana Conte

Artifact-Available

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair

Islem BOUZENIA, Prem Devanbu, Michael Pradel

Artifact-Functional

Artifact-Available

Artifact-Reusable

ASTER: Natural and Multi-language Unit Test Generation with LLMs

Rangeet Pan, Myeongsoo Kim, Rahul Krishna, Raju Pavuluri, Saurabh Sinha

A Tale of Two DL Cities: When Library Tests Meet Compiler

Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang

A First Look at Conventional Commits Classification

Qunhong Zeng, Yuxia Zhang, Zhiqing Qiu, Hui Liu

Boosting Code-line-level Defect Prediction with Spectrum Information and Causality Analysis

Shiyu Sun, Yanhui Li, Lin Chen, Yuming Zhou, Jianhua Zhao

IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation

Yuyang Rong, Zhanghan Yu, Zhenkai Weng, Stephen Neuendorffer, Hao Chen

Soft Skills in Software Engineering: Insights from the Trenches

Sanna Malinen, Matthias Galster, Antonija Mitrovic, Sreedevi Sankara Iyer, Pasan Peiris, April Clarke

FairLay-ML: Intuitive Debugging of Fairness in Data-Driven Social-Critical Software

Normen Yu, Luciana Carreon, Gang (Gary) Tan, Saeid Tizpaz-Niari

Cooperative Software Verification via Dynamic Program Splitting

Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim

Artifact-Functional

Artifact-Available

Artifact-Reusable

PairSmell: A Novel Perspective Inspecting Software Modular Structure

Chenxing Zhong, Daniel Feitosa, Paris Avgeriou, Huang Huang, Yue Li, He Zhang

Artifact-Functional

Artifact-Available

Evaluating Agent-based Program Repair at Google

Patrick Rondon, Renyao Wei, José Pablo Cambronero, Jürgen Cito, Aaron Sun, Siddhant Sanyam, Michele Tufano, Satish Chandra

Automated Code Review In Practice

Umut Cihan, Vahid Haratian, Arda İçöz, Mert Kaan Gül, Ömercan Devran, Emircan Furkan Bayendur, Baykal Mehmet Ucar, Eray Tüzün

Iterative Generation of Adversarial Example for Deep Code Models

Li Huang, Weifeng Sun, Meng Yan

SE for AIAward Winner

ChatGPT-Based Test Generation for Refactoring Engines Enhanced by Feature Analysis on Examples

Chunhao Dong, Yanjie Jiang, Yuxia Zhang, Yang Zhang, Hui Liu

11:20

BatFix: Repairing language model-based transpilation

Daniel Ramos, Ines Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues

Ranking Relevant Tests for Order-Dependent Flaky Tests

Shanto Rahman, Bala Naren Chanumolu, Suzzana Rafi, August Shi, Wing Lam

A Unified Browser-Based Consent Management Framework

Gayatri Priyadarsini, Abhishek Bichhawat

Dear Diary: A randomized controlled trial of Generative AI coding tools in the workplace

Jenna L. Butler, Jina Suh, Sankeerti Haniyur, Constance Hadley

Exposing the Hidden Layer: Software Repositories in the Service of SEO Manipulation

Mengying Wu, Geng Hong, Wuyuao Mai, Xinyi Wu, Lei Zhang, Yingyuan Pu, Huajun Chai, Lingyun Ying, Haixin Duan, Min Yang

Artifact-Functional

Artifact-Available

Understanding Architectural Complexity, Maintenance Burden, and Developer Sentiment---a Large-Scale Study

Yuanfang Cai, Lanting He, Yony Kochinski, Jun Qian, Ciera Jaspan, Nan Zhang, Antonio Bianco

Anomaly Detection in Large-Scale Cloud Systems: An Industry Case and Dataset

Mohammad Saiful Islam, Mohamed Sami Rakha, William Pourmajidi, Janakan Sivaloganathan, John Steinbacher, Andriy Miranskyy

Artifact-Available

Artifact-Functional

Artifact-Reusable

CI at Scale: Lean, Green, and Fast

Dhruva Juloori, Zhongpeng Lin, Matthew Williams, Eddy Shin, Sonal Mahajan

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations

Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger

Artifact-Functional

Artifact-Available

Artifact-Reusable

SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing

Wenchao Gu, Ensheng Shi, Yanlin Wang, Lun Du, Shi Han, Hongyu Zhang, Dongmei Zhang, Michael Lyu

11:40

Tracking the Evolution of Static Code Warnings: The State-of-the-Art and a Better Approach

Junjie Li, Jinqiu Yang

Selecting Initial Seeds for Better JVM Fuzzing

Tianchang Gao, Junjie Chen, Dong Wang, Yile Guo, Yingquan Zhao, Zan Wang

Predicting Attrition among Software Professionals: Antecedents and Consequences of Burnout and Engagement

Bianca Trinkenreich, Fabio Marcos De Abreu Santos, Klaas-Jan Stol

Exploring GenAI in Software Development: Insights from a Case Study in a Large Brazilian Company

Guilherme Vaz Pereira, Victoria Jackson, Rafael Prikladnicki, Andre van der Hoek, Luciane Fortes, Carolina Araújo, André Coelho, Ligia Chelli, Diego Ramos

Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V

Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li

SecurityAward Winner

A Large-Scale Exploratory Study on the Proxy Pattern in Ethereum

Amir Ebrahimi, Bram Adams, Gustavo A. Oliva, Ahmed E. Hassan

Crash Report Prioritization for Large-Scale Scheduled Launches

Nimmi Weeraddana, Sarra Habchi, Shane McIntosh

Moving Faster and Reducing Risk: Using LLMs in Release Deployment

Rui Abreu, Vijayaraghavan Murali, Peter C Rigby, Chandra Sekhar Maddila, Weiyan Sun, Jun Ge, Kaavya Chinniah, Audris Mockus, Megh Mehta, Nachiappan Nagappan

µPRL: a Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults

Deepak-George Thomas, Matteo Biagiola, Nargiz Humbatova, Mohammad Wardat, Gunel Jahangirova, Hridesh Rajan, Paolo Tonella

Artifact-Functional

Artifact-Available

Artifact-Reusable

UniGenCoder: Merging Seq2Seq and Seq2Tree Paradigms for Unified Code Generation

Liangying Shao, Yanfu Yan, Denys Poshyvanyk, Jinsong Su

12:00

PACE: A Program Analysis Framework for Continuous Performance Prediction

Chidera Biringa, Gokhan Kul

Toward a Better Understanding of Probabilistic Delta Debugging

Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Xinru Cheng, Chengnian Sun

Artifact-Functional

Artifact-Available

Artifact-Reusable

A Controlled Experiment in Age and Gender Bias When Reading Technical Articles in Software Engineering

Human-In-the-Loop Software Development Agents

Wannita Takerngsaksiri, Jirat Pasuksmit, Patanamon Thongtanunam, Kla Tantithamthavorn, Ruixiong Zhang, Fan Jiang, Jing Li, Evan Cook, Kun Chen, Ming Wu

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution

Shuo Yang, Xingwei Lin, Jiachi Chen, Qingyuan Zhong, Lei Xiao, renke huang, Yanlin Wang, Zibin Zheng

Video Game Procedural Content Generation Through Software Transplantation

Mar Zamorano López, Daniel Blasco, Carlos Cetina, Federica Sarro

LogLM: From Task-based to Instruction-based Automated Log Analysis

Yilun Liu, Yuhe Ji, Shimin Tao, Minggui He, Weibin Meng, Shenglin Zhang, Yongqian Sun, Yuming Xie, Boxing Chen, Hao Yang

Prioritizing Large-scale Natural Language Test Cases at OPPO

Haoran Xu, Chen Zhi, Tianyu Xiang, Zixuan Wu, Gaorong Zhang, Xinkui Zhao, Jianwei Yin, Shuiguang Deng

Testing and Understanding Deviation Behaviors in FHE-hardened Machine Learning Models

Yiteng Peng, Daoyuan Wu, Zhibo Liu, Dongwei Xiao, Zhenlan Ji, Juergen Rahmel, Shuai Wang

How is Google using AI for internal code migrations?

Stoyan Nikolov, Daniele Codecasa, Anna Sjovall, Maxim Tabachnyk, Siddharth Taneja, Celal Ziftci, Satish Chandra

Best ends by the best means: ethical concerns in app reviews

Neelam Tjikhoeri, Lauren Olson, Emitzá Guzmán

Mimicking Production Behavior With Generated Mocks

Deepika Tiwari, Martin Monperrus, Benoit Baudry

Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing?

Mingyuan Wu, Jiahong Xiang, Kunqiu Chen, Peng Di, Shin Hwei Tan, Heming Cui, Yuqun Zhang

Shaken, Not Stirred. How Developers Like Their Amplified Tests

Measuring the Runtime Performance of C++ Code Written by Humans using GitHub Copilot

Daniel Erhabor, Sreeharsha Udayashankar, Mei Nagappan, Samer Al-Kiswany

Artifact-Functional

Artifact-Available

Artifact-Reusable

SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis

Jingwen Zhang, Zibin Zheng, Yuhong Nan, Mingxi Ye, Kaiwen Ning, Yu Zhang, Weizhe Zhang

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t

Search+LLM-based Testing for ARM Simulators

Bobby Bruce, Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Hector Menendez, Justyna Petke

Artifact-Available

Artifact-Functional

Artifact-Reusable

TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance

Waris Gill, Ali Anwar, Muhammad Ali Gulzar

Artifact-Functional

Artifact-Available

Artifact-Reusable

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation

12:20

Exploring User Privacy Awareness on GitHub: An Empirical Study

Costanza Alfieri, Juri Di Rocco, Paola Inverardi, Phuong T. Nguyen

The impact of Concept drift and Data leakage on Log Level Prediction Models

Youssef Esseddiq Ouatiti, Mohammed Sayagh, Noureddine Kerzazi, Bram Adams, Ahmed E. Hassan, Youssef Esseddiq Ouatiti

ICSE 2026 Program Committee Meeting

Mira Mezini, Thomas Zimmermann

Friday lunch for SEs of African descent

12:40

13:00

Overlapping Events:

Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think?

Best ends by the best means: ethical concerns in app reviews

HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights

Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t

Shaken, Not Stirred. How Developers Like Their Amplified Tests

Exploring User Privacy Awareness on GitHub: An Empirical Study

Friday Lunch

13:20

13:40

14:00

Closing the Gap between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA

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

Artifact-Functional

Artifact-Available

Artifact-Reusable

Decoding the Issue Resolution Process In Practice via Issue Report Analysis: A Case Study of Firefox

Antu Saha, Oscar Chaparro

Artifact-Functional

Artifact-Available

Artifact-Reusable

Leveraging Propagated Infection to Crossfire Mutants

Hang Du, Vijay Krishna Palepu, James Jones

Artifact-Functional

Artifact-Available

Beyond the Comfort Zone: Emerging Solutions to Overcome Challenges in Integrating LLMs into Software Products

Nadia Nahar, Christian Kästner, Jenna L. Butler, Chris Parnin, Thomas Zimmermann, Christian Bird

A Tale of Two Comprehensions? Analyzing Student Programmer Attention During Code Summarization

Zachary Karas, Aakash Bansal, Yifan Zhang, Toby Jia-Jun Li, Collin McMillan, Yu Huang

Automated, Unsupervised, and Auto-parameterized Inference of Data Patterns and Anomaly Detection

Qiaolin Qin, Heng Li, Ettore Merlo, Maxime Lamothe

Artifact-Functional

Artifact-Available

Artifact-Reusable

An Exploratory Study on the Engineering of Security Features

Kevin Hermann, Sven Peldszus, Jan-Philipp Steghöfer, Thorsten Berger

Artifact-Functional

Artifact-Available

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy

Repository-Level Graph Representation Learning for Enhanced Security Patch Detection

Xin-Cheng Wen, Zirui Lin, Cuiyun Gao, Hongyu Zhang, Yong Wang, Qing Liao

Treefix: Enabling Execution with a Tree of Prefixes

Beatriz Souza, Michael Pradel

Artifact-Functional

Artifact-Available

Artifact-Reusable

Beyond Accuracy: An Empirical Study on Unit Testing in Open-source Deep Learning Projects

Han Wang, Sijia Yu, Chunyang Chen, Burak Turhan, Xiaodong Zhu

Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference?

Steven D. Fraser, Robert Biddle, Margaret Burnett, Ciera Jaspan, Tim Lister, Jonathan Aldrich, Gail Murphy

Research Methods

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements

Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik

Artifact-Functional

Artifact-Available

Artifact-Reusable

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements

Huaijin Wang, Zhibo Liu, Yanbo Dai, Shuai Wang, Qiyi Tang, Sen Nie, Shi Wu

IFSE: Taming Closed-box Functions in Symbolic Execution via Fuzz Solving

Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu

Follow-Up Attention: An Empirical Study of Developer and Neural Model Code Exploration

Matteo Paltenghi, Rahul Pandita, Austin Henley, Albert Ziegler

Asking and Answering Questions During Memory Profiling

Alison Fernandez Blanco, Araceli Queirolo Cordova, Alexandre Bergel, Juan Pablo Sandoval Alcocer

On Prescription or Off Prescription? An Empirical Study of Community-prescribed Security Configurations for Kubernetes

Shazibul Islam Shamim, Hanyang Hu, Akond Rahman

Artifact-Available

DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models

Mingyue Yuan, Jieshan Chen, Zhenchang Xing, Aaron Quigley, Yuyu Luo, Tianqi Luo, Gelareh Mohammadi, Qinghua Lu, Liming Zhu

Aligning the Objective of LLM-based Program Repair

Junjielong Xu, Ying Fu, Shin Hwei Tan, Pinjia He

FAMOS: Fault diagnosis for Microservice Systems through Effective Multi-modal Data Fusion

Chiming Duan, Yong Yang, Tong Jia, Guiyang Liu, Jinbu Liu, Huxing Zhang, Qi Zhou, Ying Li, Gang Huang

Assessing Evaluation Metrics for Neural Test Oracle Generation

Jiho Shin, Hadi Hemmati, Moshi Wei, Song Wang

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems

Matteo Biagiola, Paolo Tonella

14:20

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems

Jon Ayerdi, Asier Iriarte, Pablo Valle, Ibai Roman, Miren Illarramendi, Aitor Arrieta

UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software

Joseph Romeo, Marco Raglianti, Csaba Nagy, Michele Lanza

Takuan: Using Dynamic Invariants To Debug Order-Dependent Flaky Tests

Nate Levin, Chengpeng Li, Yule Zhang, August Shi, Wing Lam

Do Developers Adopt Green Architectural Tactics for ML-Enabled Systems? A Mining Software Repository Study

Vincenzo De Martino, Silverio Martínez-Fernández, Fabio Palomba

Artifact-Reusable

Artifact-Available

Artifact-Functional

Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption

Enrique Barba Roque, Luís Cruz, Thomas Durieux

Artifact-Functional

Artifact-Available

Artifact-Reusable

Similar but Patched Code Considered Harmful -- The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them

Zixuan Tan, Jiayuan Zhou, Xing Hu, Shengyi Pan, Kui Liu, Xin Xia

Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software

Anna Mazhar, Saad Sher Alam, William Zheng, Yinfang Chen, Suman Nath, Tianyin Xu

Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models

Aidan Z.H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues

Artifact-Available

Leveraging Large Language Models to Detect npm Malicious Packages

Nusrat Zahan, Philipp Burckhardt, Mikola Lysenko, Feross Aboukhadijeh, Laurie Williams

Enhancing Energy-Awareness in Deep Learning through Fine-Grained Energy Measurement

Saurabhsingh Rajput, Tim Widmayer, Ziyuan Shang, Maria Kechagia, Federica Sarro, Tushar Sharma

D3: Differential Testing of Distributed Deep Learning with Model Generation

Jiannan Wang, Hung Viet Pham, Qi Li, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer

14:40

Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions

Benedikt Steininger, Chrysanthi Papamichail, David Stark, Dejan Nickovic, Alessio Gambi

Understanding the Response to Open-Source Dependency Abandonment in the npm Ecosystem

Courtney Miller, Mahmoud Jahanshahi, Audris Mockus, Bogdan Vasilescu, Christian Kästner

Vision Transformer Inspired Automated Vulnerability Repair

Michael Fu, Van Nguyen, Kla Tantithamthavorn, Dinh Phung, Trung Le

Accessibility Issues in Ad-Driven Web Applications

Abdul Haddi Amjad, Muhammad Danish, Bless Jah, Muhammad Ali Gulzar

Artifact-Functional

Artifact-Available

Artifact-Reusable

Designing a Tool for Evacuation Plan Validation: Multi-Agent Simulations with Persona-Based UI

Gennaro Zanfardino, Antinisca Di Marco, Michele Tucci

TIVER: Identifying Adaptive Versions of C/C++ Third-Party Open-Source Components Using a Code Clustering Technique

Youngjae Choi, Seunghoon Woo

Artifact-Functional

Artifact-Available

Artifact-Reusable

Formally Verified Cloud-Scale Authorization

Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, MIchael Hicks, Samuel Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clement Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas Wagner, Michael Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

The Fact Selection Problem in LLM-Based Program Repair

Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi, Damian Ziaber, Earl T. Barr, Sergey Mechtaev

Magika: AI-Powered Content-Type Detection

Yanick Fratantonio, Luca Invernizzi, Loua Farah, Kurt Thomas, Marina Zhang, Ange Albertini, Francois Galilee, Giancarlo Metitieri, Julien Cretin, Alex Petit-Bianco, David Tao, Elie Bursztein

Artifact-Functional

Artifact-Available

Artifact-Reusable

Studying the Impact of TensorFlow and PyTorch Bindings on Machine Learning Software Quality

Hao Li, Gopi Krishnan Rajbahadur, Cor-Paul Bezemer

Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems

Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati

15:00

BSODiag: A Global Diagnosis Framework for Batch Servers Outage in Large-scale Cloud Infrastructure Systems

Tao Duan, Runqing Chen, Pinghui Wang, Junzhou Zhao, Jiongzhou Liu, Shujie Han, Yi Liu, Fan Xu

Understanding Compiler Bugs in Real Development

ZigZagFuzz: Interleaved Fuzzing of Program Options and Files

Ahcheong Lee, Youngseok Choi, Shin Hong, Yunho Kim, Kyutae Cho, Moonzoo Kim

A Bot-based Approach to Manage Codes of Conduct in Open-Source Projects

Sergio Cobos, Javier Luis Cánovas Izquierdo

Testing False Recalls in E-commerce Apps: a User-perspective Blackbox Approach

Shengnan Wu, Yongxiang Hu, Jiazhen Gu, Penglei Mao, Jin Meng, Liujie Fan, Zhongshi Luan, Xin Wang, Yangfan Zhou

A scalable, effective and simple Vulnerability Tracking approach for heterogeneous SAST setups based on Scope+Offset

James Johnson, Julian Thome, Lucas Charles, Hua Yan, Jason Leasure

The Same Only Different: On Information Modality for Configuration Performance Analysis

Hongyuan Liang, Yue Huang, Tao Chen

Artifact-Functional

Artifact-Available

Artifact-Reusable

Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models

Zhijie Wang, Zijie Zhou, Da Song, Yuheng Huang, Shengmai Chen, Lei Ma, Tianyi Zhang

Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE

Benjamin Steenhoek, Siva Sivaraman, Renata Saldivar Gonzalez, Yevhen Mohylevskyy, Roshanak Zilouchian Moghaddam, Wei Le

Artifact-Functional

Artifact-Available

Artifact-Reusable

Evaluating the Generalizability of LLMs in Automated Program Repair

Fengjie Li, Jiajun Jiang, Jiajun Sun, Hongyu Zhang

Reinforcement Learning for Online Testing of Autonomous Driving Systems: a Replication and Extension Study

Luca Giamattei, Matteo Biagiola, Roberto Pietrantuono, Stefano Russo, Paolo Tonella

On Large Language Models in Mission-Critical IT Governance: Are We Ready Yet?

Matteo Esposito, Francesco Palagiano, Valentina Lenarduzzi, Davide Taibi

Artifact-Available

Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI

Zachary Karas, Benjamin Gold, Violet Zhou, Noah Reardon, Thad Polk, Catie Chang, Yu Huang

Reducing the Length of Field-replay Based Load Testing

Yuanjie Xia, Lizhi Liao, Jinfu Chen, Heng Li, Weiyi Shang

Toward Effective Secure Code Reviews: An Empirical Study of Security-Related Coding Weaknesses

On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools.

''ImmediateShortTerm3MthsAfterThatLOL'': Developer Secure-Coding Sentiment, Practice and Culture in Organisations

Ita Ryan, Utz Roedig, Klaas-Jan Stol

Artifact-Available

Artifact-Functional

Artifact-Reusable

Identifying Performance Issues in Cloud Service Systems Based on Relational-Temporal Features

Beyond Syntax: How Do LLMs Understand Code?

Marc North, Amir Atapour-Abarghouei, Nelly Bencomo

Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness

Weisong Sun, Yuchen Chen, Mengzhe Yuan, Chunrong Fang, Zhenpeng Chen, Chong Wang, Yang Liu, Baowen Xu, Zhenyu Chen

How Propense Are Large Language Models at Producing Code Smells? A Benchmarking Study

Alejandro Velasco, Daniel Rodriguez-Cardenas, David Nader Palacio, Lutfar Rahman Alif, Denys Poshyvanyk

Two is Better Than One: Digital Siblings to Improve Autonomous Driving Testing

Matteo Biagiola, Andrea Stocco, Vincenzo Riccio, Paolo Tonella

15:20

On Effectiveness and Efficiency of Gamified Exploratory GUI Testing

Riccardo Coppola, Tommaso Fulcini, Luca Ardito, Marco Torchiano, Emil Alégroth

Neurodiverse Café Friday afternoon

Kiev Gama, Grischa Liebel

Friday Afternoon Break

Friday afternoon break for SEs From the Global South

15:40

16:00

Full Line Code Completion: Bringing AI to Desktop

Anton Semenkin, Vitaliy Bibaev, Yaroslav Sokolov, Kirill Krylov, Alexey Kalina, Anna Khannanova, Danila Savenkov, Darya Rovdo, Igor Davidenko, Kirill Karnaukhov, Maxim Vakhrushev, Mikhail Kostyukov, Mikhail Podvitskii, Petr Surkov, Yaroslav Golubev, Nikita Povarov, Timofey Bryksin

Characterizing Timeout Builds in Continuous Integration

Nimmi Weeraddana, Mahmoud Alfadel, Shane McIntosh

ChatGPT Inaccuracy Mitigation during Technical Report Understanding: Are We There Yet?

Salma Begum Tamanna, Gias Uddin, Song Wang, Lan Xia, Longyu Zhang

EP-Detector: Automatic Detection of Error-prone Operation Anomalies in Android Applications

Chenkai Guo, Qianlu Wang, Naipeng Dong, Lingling Fan, Tianhong Wang, Weijie Zhang, EnBao Chen, Zheli Liu, Lu Yu

ROSA: Finding Backdoors with Fuzzing

Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli

Artifact-Functional

Artifact-Available

Artifact-Reusable

Award Winner Best Artifact

OptCD: Optimizing Continuous Development

Talank Baral, Emirhan Oğul, Shanto Rahman, August Shi, Wing Lam

GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors

Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems

Jinjing Shi, Zimeng Xiao, Heyuan Shi, Yu Jiang, Xuelong LI

Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification

Sigma Jahan, Mehil Shah, Parvez Mahbub, Masud Rahman

Artifact-Available

An Empirical Study of Proxy Smart Contracts at the Ethereum Ecosystem Scale

Mengya Zhang, Preksha Shukla, Wuqi Zhang, Zhuo Zhang, Pranav Agrawal, Zhiqiang Lin, Xiangyu Zhang, Xiaokuan Zhang

Artifact-Available

Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps

Forough Mehralian, Ziyao He, Sam Malek

GeMTest: A General Metamorphic Testing Framework

Simon Speth, Alexander Pretschner

Artifact-Functional

Artifact-Available

Artifact-Reusable

Navigating the Testing of Evolving Deep Learning Systems: An Exploratory Interview Study

Hanmo You, Zan Wang, Bin Lin, Junjie Chen

Mobile Application Coverage: The 30% Curse and Ways Forward

Faridah Akinotcho, Lili Wei, Julia Rubin

Artifact-Available

Analyzing the Feasibility of Adopting Google's Nonce-Based CSP Solutions on Websites

Mengxia Ren, Anhao Xiang, Chuan Yue

Artifact-Available

LLMs as Evaluators: A Novel Approach to Commit Message Quality Assessment

Abhishek Kumar, Sandhya Sankar, Sonia Haiduc, Partha Pratim Das, Partha Pratim Chakrabarti

Decoding Secret Memorization in Code LLMs Through Token-Level Characterization

Yuqing Nie, Chong Wang, Kailong Wang, Guoai Xu, Guosheng Xu, Haoyu Wang

Quantum Approximate Optimization Algorithm for Test Case Optimization

Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim

Artifact-Functional

Artifact-Available

Artifact-Reusable

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts

Jiashuo Zhang, Yiming Shen, Jiachi Chen, Jianzhong Su, Yanlin Wang, Ting Chen, Jianbo Gao, Zhong Chen

BlockchainAward Winner

16:20

Qualitative Surveys in Software Engineering Research: Definition, Critical Review, and Guidelines

Jorge Melegati, Kieran Conboy, Daniel Graziotin

Research Methods

Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events

Maryam Masoudian, Heqing Huang, Morteza Amini, Charles Zhang

An Empirical Study on Decision-Making Aspects in Responsible Software Engineering for AI

Lekshmi Murali Rani, Faezeh Mohammadi, Robert Feldt, Richard Berntsson Svensson

Artifact-Available

The Design Smells Breaking the Boundary between Android Variants and AOSP

Wuxia Jin, Jiaowei Shang, Jianguo Zheng, Mengjie Sun, Zhenyu Huang, Ming Fan, Ting Liu

Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural Models

Lizhi Liao, Simon Eismann, Heng Li, Cor-Paul Bezemer, Diego Elias Costa, André van Hoorn, Weiyi Shang

SecurityAward Winner

Towards Realistic Evaluation of Commit Message Generation by Matching Online and Offline Settings

Petr Tsvetkov, Aleksandra Eliseeva, Danny Dig, Alexander Bezzubov, Yaroslav Golubev, Timofey Bryksin, Yaroslav Zharov

Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions

Satyaki Das, Syeda Tasnim Fabiha, Saad Shafiq, Nenad Medvidović

Artifact-Functional

Artifact-Available

Artifact-Reusable

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing

Peixun Long, Jianjun Zhao

Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning

Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan

Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs

Yuanhang Zhou, Zhen Yan, Yuanliang Chen, Fuchen Ma, Ting Chen, Yu Jiang

16:40

VulNet: Towards improving vulnerability management in the Maven ecosystem

Zeyang Ma, Shouvick Mondal, Tse-Hsun (Peter) Chen, Haoxiang Zhang, Ahmed E. Hassan, Zeyang Ma

History-Driven Fuzzing for Deep Learning Libraries

Nima Shiri Harzevili, Mohammad Mahdi Mohajer, Moshi Wei, Hung Viet Pham, Song Wang

Curious, Critical Thinker, Empathetic, and Ethically Responsible: Essential Soft Skills for Data Scientists in Software Engineering

Matheus de Morais Leça, Ronnie de Souza Santos

Scenario-Driven and Context-Aware Automated Accessibility Testing for Android Apps

Yuxin Zhang, Sen Chen, Xiaofei Xie, Zibo Liu, Lingling Fan

Revisiting the Performance of Deep Learning-Based Vulnerability Detection on Realistic Datasets

Partha Chakraborty, Krishna Kanth Arumugam, Mahmoud Alfadel, Mei Nagappan, Shane McIntosh

Enhancing Differential Testing: LLM-Powered Automation in Release Engineering

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

Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference

Chong Wang, Jianan Liu, Xin Peng, Yang Liu, Yiling Lou

Mitigating Noise in Quantum Software Testing Using Machine Learning

Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini, Asmar Muqeet

RUG: Turbo LLM for Rust Unit Test Generation

Xiang Cheng, Fan Sang, Yizhuo Zhai, Xiaokuan Zhang, Taesoo Kim

Definition and Detection of Centralization Defects in Smart Contracts

Zewei Lin, Jiachi Chen, Jiajing Wu, Weizhe Zhang, Zibin Zheng

17:00

Energy-Aware Software Testing

Roberto Verdecchia, Emilio Cruciani, Antonia Bertolino, Breno Miranda

Towards a Cognitive Model of Dynamic Debugging: Does Identifier Construction Matter?

Danniell Hu, Priscila Santiesteban, Madeline Endres, Westley Weimer

Multi-Modal LLM-based Fully-Automated Training Dataset Generation Software Platform for Mathematics Education

Minjoo Kim, Tae-Hyun Kim, Jaehyun Chung, Hyunseok Choi, Seokhyeon Min, Joon-Ho Lim, Soohyun Park

TacDroid: Detection of Illicit Apps through Hybrid Analysis of UI-based Transition Graphs

Yanchen Lu, Hongyu Lin, Zehua He, Haitao Xu, Zhao Li, Shuai Hao, Liu Wang, Haoyu Wang, Kui Ren

Sunflower: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation

Qiang Zhang, Yuheng Shen, Jianzhong Liu, Yiru Xu, Heyuan Shi, Yu Jiang, Wanli Chang

Artifact-Available

Artifact-Functional

Artifact-Reusable

How much does AI impact development speed? An enterprise-based randomized controlled trial

Elise Paradis, Kate Grey, Quinn Madison, Daye Nam, Andrew Macvean, Nan Zhang, Ben Ferrari-Church, Satish Chandra

Weakly-supervised Log-based Anomaly Detection with Inexact Labels via Multi-instance Learning

Minghua He, Tong Jia, Chiming Duan, Huaqian Cai, Ying Li, Gang Huang

Test Case Minimization with Quantum Annealing

Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini

Test Input Validation for Vision-based DL Systems: An Active Learning Approach

Delaram Ghobari, Mohammad Hossein Amini, Dai Quoc Tran, Seunghee Park, Shiva Nejati, Mehrdad Sabetzadeh

Artifact-Available

Artifact-Functional

Artifact-Reusable

Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations

Won Hoi Kim, Hocheol Nam, Muoi Tran, Amin Jalilov, Zhenkai Liang, Sang Kil Cha, Min Suk Kang

Artifact-Functional

Artifact-Available

SusDevOps: Promoting Sustainability to a First Principle in Software Delivery

Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency

Chijin Zhou, Quan Zhang, Bingzhou Qian, Yu Jiang

What Does a Software Engineer Look Like? Exploring Societal Stereotypes in LLMs

Muneera Bano, Hashini Gunatilake, Rashina Hoda

PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps

Menglong Chen, Tian Tan, Minxue Pan, Yue Li

Artifact-Functional

Artifact-Available

Artifact-Reusable

Award Winner Best Artifact

Practical Object-Level Sanitizer With Aggregated Memory Access and Custom Allocator

Xiaolei wang, Ruilin Li, Bin Zhang, Chao Feng, Chaojing Tang

Using Reinforcement Learning to Sustain the Performance of Version Control Repositories

Shane McIntosh, Luca Milanesio, Antonio Barone, Jacek Centkowski, Marcin Czech, Fabio Ponciroli

Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies

When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums

Artifact-Available

SEMANTIC CODE FINDER: An Efficient Semantic Search Framework for Large-Scale Codebases

daeha ryu, Seokjun Ko, Eunbi Jang, jinyoung park, myunggwan kim, changseo park

Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Impact on Development

Ran Mo, Haopeng Song, Wei Ding, Chaochao Wu

17:20

Overlapping Events:

Distilling Reference Architectures from Open Source Repositories

Towards Quality Assurance of Natural Language in Code

Augmenting the Generality and Performance of Large Language Models for Software Engineering

Towards Fully-Traceable Human-Centred Design

Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals

Structured State Space Exploration of Dash+ Models

User perceptions of ethical issues in software

Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively

Improving Software Engineering Team Communication Through Stronger Social Networks

Automated Repair of Cyber-Physical Systems

Build and Runtime Integrity for Java

Addressing Recurring Bugs and Workflow Challenges in Quantum Software Engineering

Advancing Cognitive Inclusivity in Software Engineering Tools and Practices

A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development

Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration

Rethinking Software Development Considering Collaboration with AI Assistants

Intelligent Automation for Accelerating the Repair of Software Build Failures

Exploring GenAI-Driven Innovation in Game Development

Understanding and Supporting the ML Supply Chain through ML Bill of Materials

Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development

Trustworthiness of Large Language Models for Code

Human-centric Requirements Engineering for Digital Health Software for Aging People

Automatically Generating Single-Responsibility Unit Tests

Energy efficiency through architectural tactics for self-adaptive Cloud systems

17:40

18:00

ICSE Organizing Committee Thank-You Dinner

18:20

18:40

19:00

19:20

19:40

20:00

20:20

20:40

21:00

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

Sat 3 May

2nd Floor Rideau Canal Atrium

Canada Hall 3 plus Foyer

Food services for AIware

8:00

Registration Saturday

8:20

8:40

9:00

Introduction and objectives for the day

Welcome to WETSEB 2025

Roberto Tonelli, Henrique Rocha, Giuseppe Destefanis

Sira Vegas, Andreas Jedlitschka

Opening Session

Welcoming Message by Organizers

Workshop Opening

Arrival and Registration

A Novel Design Approach to Implement Software Ecosystems for Territorial Monitoring

Gennaro Zanfardino, Michele Tucci, Antinisca Di Marco

Welcome and Introduction

Amel Bennaceur, Gopi Krishnan Rajbahadur, Ahmed E. Hassan, Bashar Nuseibeh

Lingming Zhang, Prem Devanbu, Zijian Wang

NSE2025 Opening

Opening of the AIWare Bootcamp

Ahmed E. Hassan

Keynote: Cyber operations at the speed of trust - by Colonel (Retired) Daniel Blanc

Colonel Daniel Blanc

Security Vulnerabilities in Configuration Scripts: Lessons Learned and Opportunities Moving Forward

Time Travel with IDEs: From Line Editors to AI Copilots

Keynote1: AIOps Unleashed: Transforming Cloud Operations at Microsoft

Opening Keynote: Safe and Responsible Agent Engineering: A Requirement Engineering (RE) Perspective

Failures or False Alarms? Validating Tests and Failures for Cyber Physical Systems

Keynote 1: Building the Hybrid Human-AI Developer: From Code Completion to Agents (zoom talk)

Federico Cassano

Users Perception of Trust in Web 3.0 Technology

The Methodological Implications of Using Generative AI in Software Engineering Research

Margaret-Anne Storey

Opening Remarks

Mohammad Reza Mousavi, Stefan Klikovits

Welcome from Gamify Organizers

Riccardo Coppola

Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning

AIware: Challenges and Opportunities Associated with AI-Augmented Software Engineering

Zhen Ming (Jack) Jiang

9:20

A framework for improving the development of safety-critical systems in the Global South

Leonard Peter Peter Binamungu, Godfrey Justo, Salome Maro

Are SoIS the majority of SoS? An Exploratory Investigation of Subtypes of Systems-of-Systems in the Literature

Gilmar Teixeira Junior, Ana Clara Araujo Gomes da Silva, Rodrigo Santos, Mohamad Kassab, Valdemar Graciano Neto

The art of abstraction in quantum software

Olivia Di Matteo

Industrial Code Quality Benchmarks: Toward Gamification of Software Maintainability

Markus Borg, Amogha Udayakumar, Adam Tornhill

A Mixed-Methods Analysis of Policy, Legal, and Technical Barriers to the Commercialization of AI and IoT-Driven Agricultural Solutions in the East African Community (EAC)

9:40

A study on Gas Optimization and Performance Evaluation of Sui and Aptos blockchains

Nahid Ebrahimi Majd, Andres Hinojosa, Calvary Fisher, Fernando Landeros, Foteini Baldimtsi

Proprietary Software Ecosystems: What We Already Know and Future Perspectives

Juliana Outão , Luiz Alexandre Costa, Rodrigo Zacarias, Awdren Fontão, Eleni Constantinou, Rodrigo Santos, Alexander Serebrenik

AI Agents Inside the IDE: Possibilities and Practice

Yaroslav Zharov

Artificial Intelligence in Software Startups and Special Challenges in Least Developed Countries: A Case Study of Uganda

Halimu Chongomweru, Hawa Nyende, Rashidah Kasauli, Joseph Kibombo Balikuddembe

10:00

Engineering Out Industry 4.0 Cyber Risk

Benjamin Lampe, Patience Yockey, Virginia Wright

Towards a SoIS model for University Surveillance

Roberto Figueiredo , Babacar Mane, Diana Carolina Romero Clavijo, Samuel Silva, Fernando Moraes, Caio Nery, Ana Patricia Magalhaes, Rita S. P. Maciel, Daniela Claro, Marlo Souza, George Lima, Julio Cesar Leite

Invited Talk1: Towards Pragmatic Pre-processing of Logs

GAppium: A Framework to Enact Gamification Mechanics in Appium Inspector

Lorenzo Laudadio, Riccardo Coppola, Marco Torchiano, Tommaso Fulcini

Keynote: Requirements in Engineering AI-Enabled Systems: Open Problems and Opportunities

AIware: Rethinking Software Engineering in the AIware Era - A curated catalog of software engineering challenges for FMware

Ahmed E. Hassan

A Move Sui library for secure, certified and trusted supply chain ownership management

Simone Giuffrida, Shahid Salim, Azmat Ullah, Matteo Vaccargiu

Towards Evaluation Guidelines for Empirical Studies involving LLMs

Stefan Wagner, Marvin Muñoz Barón, Falessi Davide, Sebastian Baltes

Factors Influencing the Successful Deployment of Blockchain and IoT-based Supply Chain Systems in Resource-Constrained Environments

Oratile Leteane, Yirsaw Ayalew, Tshiamo Motshegwa

Are Large Language Models Memorizing Bug Benchmarks?

Daniel Ramos, Claudia Mamede, Kush Jain, Paulo Canelas, Catarina Gamboa, Claire Le Goues

Keynote & ESE4ML: Discussion

10:20

Group Picture

Software Engineering for Systems-of-Systems: Key Insights from the SESoS Workshop Series

Everton Cavalcante, Thais Batista, Flavio Oquendo

RepairBench: Leaderboard of Frontier Models for Program Repair

André Silva, Martin Monperrus

Saturday Morning Break

Break for AIware Sat Morning

10:40

11:00

Assessing the effectiveness of GPT-Engineer with OpenAI GPT models in Improving Software Engineering Processes

Gladness Mwanga, Timothy Yusto Wikedzi

HealthChain: A Blockchain-Based Framework for Electronic Health Record Management System

Mashiat Amin Farin, Sampad Sikder, Ashabul Yamin Raad, Meah Tahmeed Ahmed, Tahlil Tahlil

A Framework for Using LLMs for Repository Mining Studies in Empirical Software Engineering

Vincenzo De Martino, Joel Castaño Fernández, Fabio Palomba, Xavier Franch, Silverio Martínez-Fernández

A Landscape Study of Open-Source Tools for Software Bill of Materials (SBOM) for Supply Chain Security

Derek Garcia, Mehdi Mirakhorli, Schuyler Dillon, Kevin Laporte, Matthew Morrison, Henry Lu, Viktoria Koscinski, Christopher Enoch, Mohamad Fazelnia, Roger Chen

In-IDE Programming Courses: Learning Software Development in a Real-World Setting

Anastasiia Birillo, Ilya Vlasov, Katsiaryna Dzialets, Hieke Keuning, Timofey Bryksin

Cyberspace Vigilante or Security Sleuth: Understanding Who Threat Hunters Are

Samantha Hill, Alessandra Maciel Paz Milani, Callum Curtis, Arty Starr, Enrique Larios Vargas, Marcus Dunn, Margaret-Anne Storey

Towards Defect Prediction for Quantum Software

Xuan Mao, Zijie Huang, Jianxin Ge, Chao Wang, Wuxu Wang, Lizhi Cai

Software Ecosystems in Industry

Invited Talk2: Scaling Intelligence: AIOps for Complex Systems

Andriy Miranskyy

Gamifying User Feedback Collection on Static Program Analysis Tools

Emma Dahlbo, Essie Lundmark, Emma Söderberg, Lisa Eneroth, Martin Höst, Markus Borg

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo

M Zitouni, A Anda, S Rajpal, Daniel Amyot, John Mylopoulos

Lachesis: Predicting LLM Inference Accuracy using Structural Properties of Reasoning Paths

Naryeong Kim, Sungmin Kang, Gabin An, Shin Yoo

Keynote 2: Towards Autonomous Language Model Systems (zoom talk)

A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments

Lucas Sakizloglou, Taisiya Khakharova , Leen Lambers

AIware: Towards AI-Native Software Engineering (SE 3.0)

Ahmed E. Hassan, Gustavo A. Oliva

Can Machine Learning Support the Selection of Studies for Systematic Literature Review Updates?

Marcelo Costalonga, Bianca Minetto Napoleão, Maria Teresa Baldassarre, Katia Felizardo, Igor Steinmacher, Marcos Kalinowski

Code Refactoring in Virtual Reality

Mattia Giannaccari, Marco Raglianti, Michele Lanza

11:20

Building BRIDGES across Papua New Guinea's Digital Divide in Growing the ICT Industry

Marc Cheong, Sankwi Abuzo, Hideaki Hata, Priscilla Kevin, Raula Gaikovina Kula, Winifred Kula, Benson Mirou, Christoph Treude, Dong Wang

A Multi-Dimensional Visual Analytics Tool for the Security Posture of Open-Source Software

Tianyu Li, Chaomeng Lu, Bert Lagaisse

Enhanced Detection of Code Vulnerability with Synergy between Data-Driven, Rule-Based and Unsupervised Learnings

Hibah Mohammed Ghouse, Samiha Shimmi, Mona Rahimi

Blockchain-Driven Incentive Models for Healthcare Data Sharing: Challenges and Opportunities

Mohamad Kassab, Shawn Nassabi

Rethinking IDE Customization for Enhanced HAX: A Hyperdimensional Perspective

Roham Koohestani, Mali Izadi

Quantum vs. Classical Machine Learning Algorithms for Software Defect Prediction: Challenges and Opportunities

Md Nadim, Mohammad Hassan, Ashis Kumar Mandal, Chanchal K. Roy

Towards Using LLMs for Distributed Trace Comparison (Abstract)

Vaastav Anand, Pedro Las-Casas, Rodrigo Fonseca, Antoine Kaufmann

Assessment of Scrumming: A Gamified Scrum Dashboard for training students

Adriana Peña Perez Negrón, Gloria Piedad Gasca-Hurtado, José Luis David Bonilla, Mirna Muñoz

Invited Talk: Leveraging FMs to synthesize intents

Keheliya Gallaba

Improving the Reliability of Failure Prediction Models through Concept Drift Monitoring

Lorena Poenaru-Olaru, Luís Cruz, Jan S. Rellermeyer, Arie van Deursen

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference

Steffen Herbold, Christoph Knieke, Andreas Rausch, Christian Schindler

AIware: Building high-quality and trustworthy foundation model-powered applications (FMware)

Challenges of Conducting Research in Software Engineering: A case of graduate students in low resource contexts

Rashidah Kasauli, Hawa Nyende, Halimu Chongomweru, Nasser Kimbugwe

Applications and Implications of Large Language Models in Qualitative Analysis: A New Frontier for Empirical Software Engineering

Matheus de Morais Leça, Lucas Valença, Reydne Bruno dos Santos, Ronnie de Souza Santos

11:40

Round-table discussion on “SVM in the era of (Gen)AI”

Evaluating the Integration of Aurora zkSNARK in the Zupply Framework

Mohammadtaghi Badakhshan, Guang Gong

Improving Developer Experience for Newbie and Casual Array Programmers

David Thomas, Will Samadi

Soulbound-wearables for reliable visual identity within the metaverse

Luca Farci, Andrea Pinna, Maria Ilaria Lunesu, Xiaofeng Wang

Large Language Model for Qualitative Research - A Systematic Mapping Study

Cauã Ferreira Barros, Bruna Borges Azevedo, Valdemar Graciano Neto, Mohamad Kassab, Marcos Kalinowski, Hugo Alexandre D. do Nascimento, Michelle C.G.S.P. Bandeira

Automated Bug Discovery in Cloud Infrastructure-as-Code Updates with LLM Agents

Yiming Xiang, Zhenning Yang, Jingjia Peng, Hermann Bauer, Patrick Tser Jern Kon, Yiming Qiu, Ang Chen

INTEGRATING NATURAL LANGUAGE PROCESSING AND LARGE LANGUAGE MODELS INTO DHIS2 TO IMPROVE HEALTH DATA UTILIZATION

Angella NABASIRYE, Irene Wanyana Ssali, John M Ssenkusu, PhD, Moses Kizito, Baker lwasampijja

12:00

Enhancing Block Composition: The Role of Category Highlighting in Block-Based Environments

Niels Kok, Mauricio Verano Merino

Panel based discussions and open questions - morning session

Quantum Pattern Detection: Accurate State- and Circuit-based Analyses

Julian Shen, Joshua Ammermann, Christoph König , Ina Schaefer

Final Discussion and closing

Riccardo Coppola

Invited Talk: Landscape of Requirements Engineering for/by AI through Literature Review

Hironori Washizaki

On the Effectiveness of LLMs for Manual Test Verifications

Myron David Peixoto, Davy Baía, Nathalia Nascimento, Paulo Alencar, Baldoino Fonseca, Márcio Ribeiro

With a Little Help from My (LLM) Friends: Enhancing Static Analysis with LLMs to Detect Software Vulnerabilities

Amy Munson, Juanita Gomez, Álvaro Cárdenas

Next Steps in LLM-Supported Java Verification

Samuel Teuber, Bernhard Beckert

General discussion 1

ML4ESE: Discussion

Breaking the Cycle of Recurring Failures: Applying Generative AI to Root Cause Analysis in Legacy Banking Systems

Siyuan Jin, Zhendong Bei, Bichao Chen, Yong Xia

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues

Daniele Cipollone, Changjie Wang, Mariano Scazzariello, Simone Ferlin, Mali Izadi, Dejan Kostic, Marco Chiesa

Evolving the Computational Notebook: A Two-Dimensional Canvas for Enhanced Human-AI Interaction

Konstantin Grotov, Dmitry Botov

12:20

COSMosFL: Ensemble of Small Language Models for Fault Localisation

Hyunjoon Cho, Sungmin Kang, Gabin An, Shin Yoo

Lunch for Aiware Saturday (not provided)

12:40

13:00

Saturday Lunch

13:20

13:40

14:00

MoMTSimDP: A Differentially Private Simulator for Mobile Money Transactions

Denish Azamuke, Marriette Katarahweire, Engineer Bainomugisha

Liquidity Pool: A Study on Usage Trends, Profit Strategies, and Fee Structures

Antonio Pierro, Andy Amoordon, Fausto Camboni

Empirical Software Engineering in the Public Sector

Arie van Deursen

An Exploratory Study of Security Vulnerabilities in Machine Learning Deployment Projects

Akond Rahman, Anthony Skjellum, Yue Zhang

LLM-Driven Code Refactoring: Opportunities and Limitations

Jonathan Cordeiro, Shayan Noei, Ying Zou

RANDART: A Hybrid Approach Leveraging File Traps and Registry Monitoring to Thwart Crypto Ransomware on Windows Endpoints

P. Mohan Anand, P.V. Sai Charan, Hrushikesh Chunduri, Sandeep K. Shukla

Analyzing, Fixing and Optimizing a Space-Efficient Quantum Circuit for the Graph K-Coloring Problem

Oscar Belletti, Simone Reale, Elisabeta di Nitto

On the evaluation of StartupGPT: A Retrieval-Augmented AI Chatbot for Delivering Research-Driven Guidance to Startups

Helene Fønstelien Sunde, Thea Lovise Ahlgren, Letizia Jaccheri, Anh Nguyen Duc

Keynote2: AIOps in the Era of Large Language Models

Abdelwahab Hamou-Lhadj

Requirements are all you need

Marsha Chechik, Jan-Philipp Steghöfer, Foutse Khomh, Jie M. Zhang, Bashar Nuseibeh

DANDI: Diffusion as Normative Distribution for Deep Neural Network Input

Somin Kim, Shin Yoo

Mix-of-Language-Experts Architecture for Multilingual Programming

Yifan Zong, Yuntian Deng, Pengyu Nie

Reasoning Revolution: Cracking the Code of LLM Intelligence

AIware: Prompt Engineering

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

Quinn Dougherty, Ronak Mehta

Trust Calibration in IDEs: Paving the Way for Widespread Adoption of AI Refactoring

14:20

Non-Western Perspectives on Web Inclusivity: A Study of Accessibility Practices in the Global South

Masudul Hasan Masud Bhuiyan, Matteo Varvello, Cristian-Alexandru Staicu, Yasir Zaki

Edge-Based Detection of Label Flipping Attacks in Federated Learning Using Explainable AI

Nourah Alotaibi, Muhamad Felemban, Sajjad Mahmood

Static Analysis of IoT Firmware: Identifying Systemic Vulnerabilities with RMMIDL

Ahmad Al-Zuraiqi, Desmond Greer

Learning from successful urgent automation of case processing of public services during COVID-19

Leif Knutsen, Karl Kristian Larsson, Jo Hannay

LLM-ProS: Analyzing Large Language Models’ Performance in Competitive Problem Solving

Md Sifat Hossain, Anika Tabassum, Md. Fahim Arefin, Tarannum Shaila Zaman

A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains

Zhiyang Chen, Jan Gorzny, Phillip Kemper, Martin Derka

IDE Native, Foundation Model Based Agents for Software Refactoring

Abhiram Bellur, Fraol Batole

The Quantum Program Dependence Graph and Its Uses in Quantum Software Development

Haibo Yu, Jianjun Zhao

Robust Testing for Deep Learning using Human Label Noise

Gordon Lim, Stefan Larson, Kevin Leach

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Manish Shetty, Naman Jain, Adwait Godbole, Sanjit A. Seshia, Koushik Sen

Participatory design of a community AI intervention for scaling up adolescent access to SRHR education: Case of the TeenApp

Rahman Sanya, Ben Wycliff Mugalu, Gedi Night Biira, Stella Achen

14:40

"Just Use Rust": A Best-Case Historical Study of Open Source Vulnerabilities in C

Andy Meneely, Aiden Green, Tyler Jaafari, Matthew Fluet, Brandon Keller

Panel based discussions and open questions - afternoon session

Automated Lifting for Cloud Infrastructure-as-Code Programs

Jingjia Peng, Yiming Qiu, Patrick Tser Jern Kon, Pinhan Zhao, Yibo Huang, Zheng Guo, Xinyu Wang, Ang Chen

Evaluating Language Models for Computer Graphics Code Completion

Jan Kels, Abdelhalim Dahou, Brigitte Mathiak

Final Discussion and Concluding Remarks

Using CognitIDE to Capture Developers’ Cognitive Load via Physiological Activity During Everyday Software Development Tasks

Fabian Stolp, Charlotte Brandebusemeyer, Franziska Hradilak, Lara Kursawe, Magnus Menger, Franz Sauerwald, Bert Arnrich

Exploring Researchers' Perspectives on 6G Technology for Sustainable Business Innovation

Muhammad Azeem Akbar, Paniz Sepehrian, Saima Rafi, Arif Ali Khan, Sami Hyrynsalmi

AIware: RAG Engineering

Keheliya Gallaba

The Role of Paper-Type in Systematic Mapping Studies in Software Engineering

Nauman bin Ali, Jürgen Börstler

From Zero to Sixty at the Speed of RAG: Improving YAML Recipe Generation via Retrieval

Farima Farmahinifarahani, Petr Babkin, Salwa Alamir, Xiaomo Liu

Software Engineering Strategies and Innovations to Address Agricultural Challenges in the Global South: A Case Study of Indonesia

Wikan Danar Sunindyo, Robertus Theodore

Orchestrating Cross-Layer Anomaly Detection and Mitigation to Address Gray Failures in Large-Scale Cloud Infrastructure

Ze Li, Chang Lou, Vignatha Yenugutala, Vivek Ramamurthy, Eion Blanchard, Minghua Ma, Murali Chintalapati

15:00

On the difficulties of conducting and replicating systematic literature reviews studies using LLMs in software engineering

Katia Romero Felizardo, Anderson Deizepe, Daniel Coutinho, Genildo Gomes da Silva Junior, Maria Alcimar Costa Meireles, Marco Gerosa, Igor Steinmacher

Understanding the Changing Landscape of Automotive Software Vulnerabilities: Insights from a Seven-Year Analysis

Srijita Basu, Miroslaw Staron

A Prototype VS Code Extension to Improve Web Accessible Development

Elisa Calì, Tommaso Fulcini, Riccardo Coppola, Lorenzo Laudadio, Marco Torchiano

Qunicorn: A Middleware for the Unified Execution Across Heterogeneous Quantum Cloud Offerings

Benjamin Weder, Johanna Barzen, Martin Beisel, Fabian Bühler, Daniel Georg, Frank Leymann, Lavinia Stiliadou

DILLEMA: Diffusion and Large Language Models for Multi-Modal Augmentation

Luciano Baresi, Davide Yi Xian Hu, Muhammad Irfan Mas'Udi, Giovanni Quattrocchi

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing

Shihao Xia, Mengting He, Linhai Song, Yiying Zhang

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Analysing sentiments generated through emotions in hybrid work (agile retrospective) meetings

Dron Khanna, Abdullah Aldaeej

Towards a Federated AI Compute for Low-resource Settings: A Case for National Research and Education Networks in Africa.

Alex Mwotil, Innocent Ndubuisi-Obi Jr, Kurtis Heimerl, Benjamin Kanagwa, Engineer Bainomugisha

Automated Service Design with Cerulean (Project Showcase)

Vaastav Anand, Alok Kumbhare, Celine Irvene, Chetan Bansal, Gagan Somashekar, Jonathan Mace, Pedro Las-Casas, Rodrigo Fonseca

METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries

Hyunseok Lee, Gabin An, Shin Yoo

Keynote & Secondary Studies: Discussion

A Plugin for Cross-Language Static Analysis for Vulnerability Detection in Android Applications

Kishanthan Thangarajah, Noble Saji Mathews, Mei Nagappan

15:20

Workshop Closing

CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation

Jinjun Peng, Leyi Cui, Kele Huang, Junfeng Yang, Baishakhi Ray

Workshop Closure

Saturday Afternoon Break

AIware: Balancing Cost and Quality in FMware

Kirill Vasilevski

Break for AIware Sat afternoon

15:40

16:00

SEIGS General Discussion and wrap-up

Exploring How SE Academic Papers Use Figures

Marco Torchiano, Lorenzo Laudadio

Round table discussions and Unconference

Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software Engineering

Jake Zappin, Trevor Stalnaker, Oscar Chaparro, Denys Poshyvanyk

Identifying Key Requirements Prioritization Criteria for Software Startup Survival: From Literature Review to Startup Focused Prioritization Method

Frédéric Pattyn

Panel Interview: The Future of AIOps: From Reactive to Autonomous IT Operations

Representing and Reasoning with Non-Functional Requirements: A Retrospective

John Mylopoulos

OpenCat: Improving Interoperability of ADS Testing

Qurban Ali, Andrea Stocco, Leonardo Mariani, Oliviero Riganelli

Cracks in The Stack: Hidden Vulnerabilities and Licensing Risks in LLM Pre-Training Datasets

Mahmoud Jahanshahi, Audris Mockus

Discussion and Closing Remarks

Understanding Code Properties: Is Code All You Need?

Srivishnu Pyda, Daniel Nichols, Abhinav Bhatele

16:20

Integrating Positionality Statements in Empirical Software Engineering Research

Breno Felix de Sousa, Ronnie de Souza Santos, Kiev Gama

Closing and Next Q-SE

Mohammad Reza Mousavi, Stefan Klikovits

Mitigating Digital Debt in Packaged Enterprise System Customization

Chandan Singh, Samuli Pekkola

Analysis of Student-LLM Interaction in a Software Engineering Project

Agrawal Naman, Ridwan Salihin Shariffdeen, Wang Guanlin, Sanka Rasnayaka, Ganesh Neelakanta Iyer

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation

Benjamin Steenhoek, Michele Tufano, Neel Sundaresan, Alexey Svyatkovskiy

Training LLMs for Generating IEC 61131-3 Structured Text with Online Feedback

Aaron Haag, Bertram Fuchs, Altay Kacan, Oliver Lohse

AIware: Performance engineering for AIware

Boyuan Chen, Haoxiang Zhang

Methodological and Practical Challenges in Longitudinal, Large Scale, Collaborative Questionnaire Survey Research

Miikka Kuutila, Paul Ralph

16:40

Overlapping Events:

Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning (Virtual Talk)

Is More or Less Automation Better? An Investigation into the LLM4TDD Process (Virtual Talk)

Knowledge Graph Based Repository-Level Code Generation (Virtual Talk)

Leveraging LLMs for Legacy Code Modernization: Evaluation of LLM-Generated Documentation (Virtual Talk)

From Theory to Practice: Code Generation Using LLMs for CAPEC and CWE Frameworks (Virtual Talk)

Hierarchical Repository-Level Code Summarization for Business Applications Using Local LLMs (Virtual Talk)

Code Summarization Beyond Function Level (Virtual Talk)

YABLoCo: Yet Another Benchmark for Long Context Code Generation (Virtual Talk)

CoCoNUT: Structural Code Understanding does not fall out of a tree (Virtual Talk)

Do Code LLMs Understand Design Patterns? (Virtual Talk)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers (Virtual Talk)

The Ambidextrous Startup: Balance Between Exploitation of Present and Exploration of Future

Nan Yang, Xiaofeng Wang, Dominik Siemon, Sami Hyrynsalmi

Amel Bennaceur, Gopi Krishnan Rajbahadur, Bashar Nuseibeh, Ahmed E. Hassan

Analyzing and interpreting software development cost estimation error

Magne Jørgensen

Award Session & Closing

17:00

Qualitative Aspects: Discussion

17:20

Closing Word by Organizers

Conclusions

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

Sun 4 May

Food services for AIware

9:00

AIware: Agentic architectures and workflows

Keheliya Gallaba

9:20

9:40

AIware: Development Platforms for Agentic Software

Gustavo A. Oliva

10:00

10:20

Break for AIware Sun morning

10:40

11:00

AIware: Alignment Engineering + Data Flywheel

Gopi Krishnan Rajbahadur

11:20

11:40

12:00

12:20

Lunch for Aiware Sunday (not provided)

12:40

13:00

13:20

13:40

14:00

AIware: Deploying GenAI Applications on AWS EKS

14:20

14:40

15:00

15:20

AIware: AIware Observability

Benjamin Rombaut

Break for AIware Sun afternoon

15:40

16:00

16:20

AIware: Evaluating AIware

Jiahuei (Justina) Lin

16:40

17:00

AIware: How is JetBrains leveraging FMware to improve the software development experience?

17:20

17:40

AIware Bootcamp Closing

Ahmed E. Hassan

18:00