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

Mon 15 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Opening sessionSSBSE RENE/NIER / SSBSE Keynote at Acerola
Chair(s): Marcio Barros UNIRIO
09:00
10m
Day opening
Opening session
SSBSE Keynote
09:10
60m
Keynote
Keynote speaker- Search-based Software Engineering and Quantum Computing
SSBSE Keynote
Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
10:10
20m
Short-paper
Danger is My Middle Lane: Simulations From Real-World Dangerous Roads
SSBSE RENE/NIER
Antony Bartlett TU Delft, The Netherlands, Annibale Panichella Delft University of Technology
09:00 - 10:30
Tutorial I - Methodology and Guidelines for Evaluating Multi-objective Search-Based Software EngineeringTutorials at Cajá
09:00
90m
Tutorial
Methodology and Guidelines for Evaluating Multi-objective Search-Based Software Engineering
Tutorials
Miqing Li University of Birmingham, Tao Chen University of Birmingham
09:00 - 10:30
Tutorial II - Software engineering and gender: a tutorialTutorials at Jaca
09:00
90m
Tutorial
Software engineering and gender: a tutorial
Tutorials
Letizia Jaccheri Norwegian University of Science and Technology (NTNU), Anh Nguyen Duc University College of Southeast Norway
09:00 - 10:30
Opening + Keynote1 + AIware VisionAIware Main Track / AIware Late Breaking Arxiv Track at Mandacaru
Chair(s): Dayi Lin Centre for Software Excellence, Huawei Canada
09:00
15m
Day opening
Welcome and opening
AIware Main Track

09:15
45m
Keynote
Building AI Agents for Software Engineering Tasks
AIware Main Track
Gustavo Soares Microsoft
10:00
5m
Paper
Automatic Programming vs. Artificial Intelligence
AIware Main Track
James Noble Independent. Wellington, NZ
DOI
10:05
5m
Paper
Towards AI for Software Systems
AIware Main Track
Nafise Eskandani ABB Corporate Research Center, Guido Salvaneschi University of St. Gallen
DOI
10:10
5m
Paper
Morescient GAI for Software Engineering
AIware Late Breaking Arxiv Track
Marcus Kessel University of Mannheim, Colin Atkinson University of Mannheim
Pre-print
10:15
15m
Live Q&A
Session Q&A and topic discussions
AIware Main Track

09:00 - 10:30
QSE-NE TrackQSE-NE at Manga Rosa
09:00
5m
Day opening
Opening Message
QSE-NE
C: Muhammad Azeem Akbar LUT University
09:05
20m
Paper
QCSHQD: Quantum Computing as a Service for Hybrid Classical-Quantum Software Development: A Vision
QSE-NE
A: Maryam Tavassoli Sabzevari University of Oulu, A: Matteo Esposito University of Oulu, A: Davide Taibi University of Oulu and Tampere University , A: Arif Ali Khan University of Oulu
Pre-print
09:25
20m
Paper
Classi/Q: Towards a Translation Framework to Bridge the Classical-Quantum Programming Gap
QSE-NE
A: Matteo Esposito University of Oulu, A: Maryam Tavassoli Sabzevari University of Oulu, A: Boshuai Ye Aalto University, A: Davide Falessi University of Rome Tor Vergata, Italy, A: Arif Ali Khan University of Oulu, A: Davide Taibi University of Oulu and Tampere University
DOI Pre-print
09:45
20m
Talk
Gate Branch Coverage: A Metric for Quantum Software Testing
QSE-NE
A: Daniel Fortunato , A: José Campos University of Porto, Portugal, A: Rui Abreu Meta & University of Porto
10:05
20m
Talk
A Conceptual Framework for Quantum Integration Challenges in 6G Technology
QSE-NE
A: Saima Rafi University of Murcia, A: Muhammad Azeem Akbar LUT University, A: Sajjad Mahmood King Fahd University of Petroleum & Minerals
09:00 - 10:30
Introduction and flash keynotes 2030 Software Engineering at Pitanga
09:00
90m
Meeting
Overall Program
2030 Software Engineering
Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
09:00 - 10:30
Opening + Program AnalysisDoctoral Symposium at Sapoti
Chair(s): Sérgio Soares Universidade Federal de Pernambuco, Igor Steinmacher Northern Arizona University, Wei Yang University of Texas at Dallas
09:00
10m
Day opening
Opening
Doctoral Symposium
Wing Lam George Mason University, Maria Teresa Baldassarre Department of Computer Science, University of Bari
09:10
20m
Talk
Customized Approach for IoT Device Compliance: Classification Tool and Adaptive Protections
Doctoral Symposium
Ivonildo Pereira Gomes Neto Federal University of Pernambuco
File Attached
09:30
20m
Talk
Learning to Analyze Program Behaviors
Doctoral Symposium
Aashish Yadavally University of Texas at Dallas
Pre-print
09:50
20m
Talk
Library Migration in Python Applications
Doctoral Symposium
Mohayeminul Islam University of Alberta
File Attached
10:10
20m
Talk
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
Doctoral Symposium
Pre-print
10:30 - 11:00
Coffee BreakSocial Events at Foyer

Coffee Break + Poster Presentations [Afternoon students]

10:30
30m
Coffee break
Break
Social Events

11:00 - 12:30
SSBSE Research TrackSSBSE Research Papers at Acerola
11:00
30m
Research paper
Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function
SSBSE Research Papers
Jianghao Wang University of Nebraska-Lincoln, Clay Stevens University of Nebraska-Lincoln, Brooke Kidmose , Myra Cohen Iowa State University, Hamid Bagheri University of Nebraska-Lincoln
11:30
30m
Research paper
Higher Fault Detection Through Novel Density Estimators in Unit Test Generation
SSBSE Research Papers
Annibale Panichella Delft University of Technology, Mitchell Olsthoorn Delft University of Technology
12:00
30m
Research paper
Many Independent Objective Estimation of Distribution Search for Android Testing
SSBSE Research Papers
Michael Auer University of Passau, Andreas Strobl , Gordon Fraser University of Passau
11:00 - 12:30
Tutorial II - Software engineering and gender: a tutorialTutorials at Jaca
11:00
90m
Tutorial
Software engineering and gender: a tutorial
Tutorials
Letizia Jaccheri Norwegian University of Science and Technology (NTNU), Anh Nguyen Duc University College of Southeast Norway
11:00 - 12:30
Industry Talk1 + SE for AIwareAIware Late Breaking Arxiv Track / AIware Industry Statements and Demo Track / AIware Main Track at Mandacaru
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
11:00
20m
Industry talk
Agents for Data Science: From Raw Data to AI-generated Notebooks Using LLMs and Code Execution
AIware Industry Statements and Demo Track
Jiahao Cai Google
11:20
10m
Paper
Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning
AIware Main Track
Eduardo de Conto Nanyang Technological University; CNRS@CREATE, Blaise Genest IPAL - CNRS - CNRS@CREATE, Arvind Easwaran Nanyang Technological University
DOI Pre-print
11:30
10m
Paper
Green AI in Action: Strategic Model Selection for Ensembles in Production
AIware Main Track
Nienke Nijkamp Delft University of Technology, June Sallou Delft University of Technology, Niels van der Heijden University of Amsterdam, Luís Cruz Delft University of Technology
DOI Pre-print
11:40
5m
Paper
Towards Responsible AI in the Era of Generative AI: A Reference Architecture for Designing Foundation Model based Systems
AIware Late Breaking Arxiv Track
Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Xiwei (Sherry) Xu Data61, CSIRO, Zhenchang Xing CSIRO’s Data61; Australian National University, Jon Whittle CSIRO's Data61 and Monash University
Pre-print
11:45
5m
Paper
Towards Responsible Generative AI: A Reference Architecture for Designing Foundation Model based Agents
AIware Late Breaking Arxiv Track
Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Xiwei (Sherry) Xu Data61, CSIRO, Zhenchang Xing CSIRO’s Data61; Australian National University, Stefan Harrer CSIRO's Data61, Jon Whittle CSIRO's Data61 and Monash University
Pre-print
11:50
5m
Paper
Agent Design Pattern Catalogue: A Collection of Architectural Patterns for Foundation Model based Agents
AIware Late Breaking Arxiv Track
Yue Liu Data61, CSIRO, Sin Kit Lo CSIRO Data61, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Dehai Zhao CSIRO's Data61, Xiwei (Sherry) Xu Data61, CSIRO, Stefan Harrer CSIRO's Data61, Jon Whittle CSIRO's Data61 and Monash University
Pre-print
11:55
35m
Live Q&A
Session Q&A and topic discussions
AIware Main Track

11:00 - 12:30
QSE-NE Track Session-2QSE-NE at Manga Rosa
Chair(s): Muhammad Azeem Akbar LUT University
11:00
20m
Talk
Integrating Quantum Computing and Blockchain: Building the Foundations of Secure, Efficient 6G Technology
QSE-NE
A: Muhammad Zohaib LUT University, A: Fahad S. Altuwaijri Qassim University, A: Sami Hyrynsalmi LUT University
11:20
20m
Talk
Quantum Software Engineering: A New Genre of Computing
QSE-NE
Muhammad Azeem Akbar LUT University, Arif Ali Khan University of Oulu, Sajjad Mahmood King Fahd University of Petroleum & Minerals, Saima Rafi University of Murcia
11:00 - 12:30
11:00 - 12:30
Software Evolution + Life During PhD PanelDoctoral Symposium at Sapoti
Chair(s): Sérgio Soares Universidade Federal de Pernambuco, Igor Steinmacher Northern Arizona University, Wei Yang University of Texas at Dallas
11:00
20m
Talk
Test specification and exploration of polyglot programs
Doctoral Symposium
Philémon Houdaille DIVERSE Team, IRISA-INRIA, CNRS, Université Rennes 1
File Attached
11:20
20m
Talk
Semantic Conflict Analysis in Continuous Software Integration with Semantic Merging Tool
Doctoral Symposium
Matheus Barbosa de Oliveira Federal University of Pernambuco
File Attached
11:40
50m
Panel
Life During PhD Panel
Doctoral Symposium
Igor Steinmacher Northern Arizona University, Sérgio Soares Universidade Federal de Pernambuco, Wei Yang University of Texas at Dallas, Wing Lam George Mason University
12:30 - 14:00
12:30
90m
Lunch
Lunch
Social Events

14:00 - 15:30
SSBSE Challenge TrackSSBSE Challenge at Acerola
14:00
22m
Short-paper
Iterative Refactoring of Real-World Open-Source Programs with Large Language Models
SSBSE Challenge
Jinsu Choi , Gabin An Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology
14:22
22m
Short-paper
Approximating Stochastic Quantum Noise through Genetic Programming
SSBSE Challenge
Asmar Muqeet Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics
14:45
22m
Short-paper
Fuzzing-Based Differential Testing For Quantum Simulators
SSBSE Challenge
Daniel Blackwell University College London, Justyna Petke University College London, Yazhuo cao , Avner Bensoussan
15:07
22m
Short-paper
GreenStableYolo: Optimizing Inference Time and Image Quality of Text-to-Image Generation
SSBSE Challenge
Jingzhi Gong Loughborough University, Sisi Li , Giordano d'Aloisio University of L'Aquila, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou), Yulong Ye University of Birmingham, William B. Langdon University College London, Federica Sarro University College London
14:00 - 15:30
Tutorial IV - A Developer’s Guide to Building and Testing Accessible Mobile AppsTutorials at Cajá
14:00
90m
Tutorial
A Developer’s Guide to Building and Testing Accessible Mobile Apps
Tutorials
Juan Pablo Sandoval Alcocer Pontificia Universidad Católica de Chile, Leonel Merino Pontificia Universidad Católica de Chile, Alison Fernandez-Blanco Pontificia Universidad Católica de Chile, William Ravelo-Mendez Universidad de los Andes, Colombia, Camilo Escobar-Velásquez Universidad de los Andes, Mario Linares-Vásquez Universidad de los Andes
14:00 - 15:30
Tutorial III - A Tutorial on Software Engineering for FMwareTutorials at Jaca
14:00
90m
Tutorial
A Tutorial on Software Engineering for FMware
Tutorials
Filipe Cogo Centre for Software Excellence, Huawei Canada, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Dayi Lin Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University
14:00 - 15:30
Industry Talk2 + Human AI ConversationAIware Main Track / AIware Industry Statements and Demo Track at Mandacaru
Chair(s): Qinghua Lu Data61, CSIRO
14:00
20m
Industry talk
AI Assistant in JetBrains IDE: Insights and Challenges
AIware Industry Statements and Demo Track
Andrey Sokolov JetBrains Research
14:20
10m
Paper
Unveiling the Potential of a Conversational Agent in Developer Support: Insights from Mozilla’s PDF.js Project
AIware Main Track
João Correia PUC-Rio, Morgan C. Nicholson University of São Paulo, Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Caio Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marco Castelluccio Mozilla, Marco Gerosa Northern Arizona University, Alessandro Garcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Igor Steinmacher Northern Arizona University
DOI Pre-print
14:30
10m
Paper
From Human-to-Human to Human-to-Bot Conversations in Software Engineering
AIware Main Track
Ranim Khojah Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg
DOI Pre-print
14:40
10m
Paper
RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations
AIware Main Track
Param Biyani Microsoft, Yasharth Bajpai Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Sumit Gulwani Microsoft
DOI
14:50
5m
Paper
Unveiling Assumptions: Exploring the Decisions of AI Chatbots and Human Testers
AIware Main Track
Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg
DOI
14:55
35m
Live Q&A
Session Q&A and topic discussions
AIware Main Track

14:00 - 15:30
14:00
90m
Meeting
Overall Program
2030 Software Engineering
Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
15:30 - 16:00
Coffee BreakSocial Events at Foyer

Coffee Break + Poster Presentations [Morning students]

15:30
30m
Coffee break
Break
Social Events

16:00 - 18:00
Hot off the PressSSBSE Hot off the Press at Acerola
16:00
20m
Research paper
SSBSE Summary of Adaptive Search-based Repair of Deep Neural Networks
SSBSE Hot off the Press
Davide Li Calsi Politecnico di Milano, Matias Duran Trinity College Dublin, Ireland, Thomas Laurent Lero@Trinity College Dublin, Xiao-Yi Zhang University of Science and Technology Beijing, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Anthony Ventresque Trinity College Dublin & Lero, Ireland
16:20
20m
Research paper
SSBSE Summary of EvoCLINICAL: Evolving Cyber-cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System
SSBSE Hot off the Press
Chengjie Lu Simula Research Laboratory and University of Oslo, Xu Qinghua , Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway
16:40
20m
Research paper
Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments
SSBSE Hot off the Press
Christian Birchler Zurich University of Applied Sciences & University of Bern, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Pouria Derakhshanfar JetBrains Research, Sebastiano Panichella Zurich University of Applied Sciences, Annibale Panichella Delft University of Technology
17:00
30m
Day closing
Announcements and closing
SSBSE Hot off the Press

17:30
30m
Meeting
SBSE Steering Committee meeting
SSBSE Hot off the Press

16:00 - 18:00
Tutorial IV - A Developer’s Guide to Building and Testing Accessible Mobile AppsTutorials at Cajá
16:00
90m
Tutorial
A Developer’s Guide to Building and Testing Accessible Mobile Apps
Tutorials
Juan Pablo Sandoval Alcocer Pontificia Universidad Católica de Chile, Leonel Merino Pontificia Universidad Católica de Chile, Alison Fernandez-Blanco Pontificia Universidad Católica de Chile, William Ravelo-Mendez Universidad de los Andes, Colombia, Camilo Escobar-Velásquez Universidad de los Andes, Mario Linares-Vásquez Universidad de los Andes
16:00 - 18:00
Tutorial III - A Tutorial on Software Engineering for FMwareTutorials at Jaca
16:00
90m
Tutorial
A Tutorial on Software Engineering for FMware
Tutorials
Filipe Cogo Centre for Software Excellence, Huawei Canada, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Dayi Lin Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University
16:00 - 18:00
Security and Safety + Round Table + Day1 ClosingAIware Main Track / AIware Late Breaking Arxiv Track at Mandacaru
Chair(s): Thomas Zimmermann Microsoft Research, Ahmed E. Hassan Queen’s University
16:00
5m
Paper
An AI System Evaluation Framework for Advancing AI Safety: Terminology, Taxonomy, Lifecycle Mapping
AIware Main Track
Boming Xia CSIRO's Data61 & University of New South Wales, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Zhenchang Xing CSIRO's Data61
DOI
16:05
5m
Paper
Measuring Impacts of Poisoning on Model Parameters and Embeddings for Large Language Models of Code
AIware Main Track
Aftab Hussain University of Houston, Md Rafiqul Islam Rabin University of Houston, Amin Alipour University of Houston
DOI
16:10
10m
Paper
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
AIware Main Track
Ummay Kulsum North Carolina State University, Haotian Zhu Singapore Management University, Bowen Xu North Carolina State University, Marcelo d'Amorim North Carolina State University
DOI
16:20
5m
Paper
Trojans in Large Language Models of Code: A Critical Review through a Trigger-Based Taxonomy
AIware Late Breaking Arxiv Track
Aftab Hussain University of Houston, Md Rafiqul Islam Rabin University of Houston, Toufique Ahmed University of California at Davis, Bowen Xu North Carolina State University, Premkumar Devanbu UC Davis, Amin Alipour University of Houston
Pre-print
16:25
25m
Live Q&A
Session Q&A and topic discussions
AIware Main Track

16:50
60m
Panel
Round Table
AIware Main Track

17:50
10m
Day closing
Day 1 summary and closing
AIware Main Track

16:00 - 18:00
16:00 - 18:00
Empirical Aspects + Life After PhD Panel + ClosingDoctoral Symposium at Sapoti
Chair(s): César França CESAR School, Raula Gaikovina Kula Nara Institute of Science and Technology, Ronnie de Souza Santos University of Calgary
16:00
20m
Talk
Open Science in Software Engineering: Unpacking the Black Box of Artifact Sharing
Doctoral Symposium
Ana Paula Vasconcelos Universidade Federal de Pernambuco / Universidade do Estado de Mato Grosso
File Attached
16:20
20m
Talk
The Replication Crisis in Software Engineering: Guidelines for the Scientific Community in dealing with Threats to Validity and their Mitigation Actions and the Impact of the 3R
Doctoral Symposium
Ivanildo Azevedo Universidade Federal de Pernambuco
File Attached
16:40
50m
Panel
Life After PhD Panel
Doctoral Symposium
César França CESAR School, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Raula Gaikovina Kula Nara Institute of Science and Technology, Ronnie de Souza Santos University of Calgary
17:30
10m
Day closing
Closing
Doctoral Symposium
Maria Teresa Baldassarre Department of Computer Science, University of Bari , Wing Lam George Mason University

Tue 16 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Morning session 1PROMISE at Acerola
09:00
5m
Day opening
Opening
PROMISE

09:05
55m
Keynote
SEA4DQ keynote 1 (Denys Poshyvanyk)
PROMISE

10:00
15m
Talk
Graph Neural Network vs. Large Language Model: A Comparative Analysis for Bug Report Priority and Severity Prediction
PROMISE
Jagrit Acharya University of Calgary, Gouri Ginde (Deshpande) University of Calgary
DOI
10:15
15m
Talk
A Hitchhiker’s Guide to Jailbreaking ChatGPT via Prompt Engineering
PROMISE
Yi Liu Nanyang Technological University, Gelei Deng Nanyang Technological University, Zhengzi Xu Nanyang Technological University, Yuekang Li The University of New South Wales, Yaowen Zheng Institute of Information Engineering at Chinese Academy of Sciences, Ying Zhang Virginia Tech, Lida Zhao Nanyang Technological University, Tianwei Zhang Nanyang Technological University, Kailong Wang Huazhong University of Science and Technology
DOI
09:00 - 10:30
09:00
30m
Talk
Opening by the Organizers
New Faculty Symposium
Dan Hao Peking University, Kathryn Stolee North Carolina State University, Wesley Assunção North Carolina State University
09:30
30m
Talk
Academic Vibrancy
New Faculty Symposium
Laurie Williams North Carolina State University
10:00
30m
Talk
Getting the most out of teaching
New Faculty Symposium
Christoph Treude Singapore Management University
09:00 - 10:30
Opening Day2 + Keynote2 + AIware for Domain-specific ApplicationsAIware Late Breaking Arxiv Track / AIware Main Track at Mandacaru
Chair(s): Jie M. Zhang King's College London
09:00
5m
Day opening
Opening for day 2
AIware Main Track

09:05
45m
Keynote
Semantic-Aware AI: Elevating the Future of Software Development
AIware Main Track
Baishakhi Ray Columbia University, New York; AWS AI Lab
09:50
10m
Paper
SolMover: Smart Contract Code Translation Based on Concepts
AIware Main Track
Rabimba Karanjai University of Houston, Lei Xu Kent State University, Weidong Shi University of Houston
DOI
10:00
5m
Paper
The Art of Programming: Challenges in Generating Code for Creative ApplicationsAIware Best Vision Paper Award
AIware Main Track
Michael Cook King’s College London
DOI
10:05
5m
Paper
Neuro-Symbolic Approach to Certified Scientific Software Synthesis
AIware Main Track
Hamid Bagheri University of Nebraska-Lincoln, Mehdi Mirakhorli Rochester Institute of Technology, Mohamad Fazelnia University of Hawaii at Manoa, Ibrahim Mujhid University of Hawaii at Manoa, Md Rashedul Hasan University of Nebraska-Lincoln
DOI
10:10
5m
Paper
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
AIware Late Breaking Arxiv Track
Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Christoph Laaber Simula Research Laboratory, Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway
Pre-print
10:15
15m
Live Q&A
Session Q&A and topic discussions
AIware Main Track

09:00 - 10:30
09:00 - 10:30
Opening & Academic KeynoteMODAL@FSE at Pitomba
Chair(s): Wing Lam George Mason University
09:30
15m
Day opening
Welcome ceremony
MODAL@FSE

09:45
45m
Keynote
Keynote: Ting Su
MODAL@FSE
Ting Su East China Normal University
09:00 - 10:30
LEVEL 1 - GAME TESTINGFaSE4Games at Sapoti
09:00
30m
Day opening
Introduction and Welcome
FaSE4Games
Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Cristiano Politowski Concordia University, Canada
09:30
30m
Paper
Unit test generation using large language models for Unity game development
FaSE4Games
Ciprian Paduraru University of Bucharest, Alin Stefanescu University of Bucharest, Augustin Jianu certSIGN
10:00
30m
Paper
Combining Neuroevolution with the Search for Novelty to Improve the Generation of Test Inputs for Games
FaSE4Games
Patric Feldmeier University of Passau, Gordon Fraser University of Passau
10:30 - 11:00
Coffee BreakSocial Events at Foyer
10:30
30m
Coffee break
Break
Social Events

11:00 - 12:30
Morning session 2PROMISE at Acerola
11:00
60m
Talk
The Ever-Evolving Promises of Data in Software Ecosystems: Models, AI, and Analytics (Keynote)
PROMISE
Raula Gaikovina Kula Nara Institute of Science and Technology
DOI
12:00
15m
Talk
Smarter Project Selection for Software Engineering Research
PROMISE
Tapajit Dey Carnegie Mellon University Software Engineering Institute, Jonathan Loungani Carnegie Mellon University, James Ivers Carnegie Mellon University
DOI
12:15
15m
Talk
Evaluating the Quality of Open Source Ansible Playbooks: An Executability Perspective
PROMISE
Pemsith Mendis Auburn University, Wilson Reaves Auburn University, Muhammad Ali Babar School of Computer Science, The University of Adelaide, Yue Zhang Auburn University, Akond Rahman Auburn University
DOI
11:00 - 12:30
11:00
30m
Talk
Imagination in Research
New Faculty Symposium
Abhik Roychoudhury National University of Singapore
11:30
30m
Talk
Working with students
New Faculty Symposium
Xiangyu Zhang Purdue University
12:00
30m
Talk
Funding & Publishing
New Faculty Symposium
Denys Poshyvanyk William & Mary
11:00 - 12:30
Industry Talk3 + AIware for CodeAIware Main Track / AIware Industry Statements and Demo Track at Mandacaru
Chair(s): Yiling Lou Fudan University
11:00
20m
Industry talk
AI-assisted User Intent Formalization for Programs: Problem and Applications
AIware Industry Statements and Demo Track
Shuvendu K. Lahiri Microsoft Research
11:20
10m
Paper
Identifying the Factors That Influence Trust in AI Code CompletionACM SIGSOFT Distinguished Paper Award
AIware Main Track
Adam Brown Google, Sarah D'Angelo Google, Ambar Murillo Google, Ciera Jaspan Google, Collin Green Google
DOI
11:30
10m
Paper
A Transformer-Based Approach for Smart Invocation of Automatic Code CompletionACM SIGSOFT Distinguished Paper Award
AIware Main Track
Aral de Moor Delft University of Technology, Arie van Deursen Delft University of Technology, Maliheh Izadi Delft University of Technology
DOI
11:40
10m
Paper
Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems
AIware Main Track
Sasan Azizian University of Nebraska-Lincoln, Elham Rastegari Creighton University, Hamid Bagheri University of Nebraska-Lincoln
DOI
11:50
10m
Paper
Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
AIware Main Track
Sylvain Kouemo Ngassom Polytechnique Montréal, Arghavan Moradi Dakhel Polytechnique Montreal, Florian Tambon Polytechnique Montréal, Foutse Khomh Polytechnique Montréal
DOI
12:00
30m
Live Q&A
Session Q&A and topic discussions
AIware Main Track

11:00 - 12:30
11:00 - 12:30
Lightning Talks & Program Analysis PanelMODAL@FSE at Pitomba
Chair(s): Wei Yang University of Texas at Dallas
11:00
45m
Talk
Lightning (5-10 min.) Talks - All Participants
MODAL@FSE

11:45
45m
Panel
Panel: Program Analysis for Mobile Apps
MODAL@FSE
Tien N. Nguyen University of Texas at Dallas, Ting Su East China Normal University, Zhendong Su ETH Zurich
11:00 - 12:30
LEVEL 2 - GAME DEVELOPMENTFaSE4Games at Sapoti
11:00
30m
Paper
Towards the Automatic Replication of Gameplays to Support Game Debugging
FaSE4Games
Stefano Campanella REVEAL @ Software Institute - USI, Lugano, Switzerland, Emanuela Guglielmi University of Molise, Rocco Oliveto University of Molise, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Simone Scalabrino University of Molise
11:30
30m
Paper
A Data-driven Analysis of Player Personalities for Different Game Genres
FaSE4Games
Xiaozhou Li University of Oulu, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu and Tampere University
12:30 - 14:00
12:30
90m
Lunch
Lunch
Social Events

14:00 - 15:30
Afternoon session 1PROMISE at Acerola
14:00
60m
Talk
Responsible AI Engineering from a Data Perspective (Keynote)
PROMISE
Qinghua Lu Data61, CSIRO
DOI
15:00
15m
Talk
Sociotechnical Dynamics in Open Source Smart Contract Repositories: An Exploratory Data Analysis of Curated High Market Value Projects
PROMISE
Saori Costa State University of Ceará, Matheus Paixao State University of Ceará, Igor Steinmacher Northern Arizona University, Pamella Soares de Sousa State University of Ceará, Allysson Allex Araújo Federal University of Cariri, Jerffeson Teixeira de Souza State University of Ceara, Brazil
DOI
15:15
15m
Talk
A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability
PROMISE
Giacomo Ibba University of Cagliari - Department of Mathematics and Computer Science, Sabrina Aufiero University College London, Rumyana Neykova Brunel University London, Silvia Bartolucci University College London, Marco Ortu University of Cagliari, Roberto Tonelli University of Cagliari, Giuseppe Destefanis Brunel University London
DOI
14:00 - 15:30
14:00
30m
Talk
Collaboration with others
New Faculty Symposium
Baishakhi Ray Columbia University, New York; AWS AI Lab
14:30
30m
Talk
Building Bridges for Sustainable Research
New Faculty Symposium
Igor Steinmacher Northern Arizona University
15:00
30m
Talk
Closing
New Faculty Symposium
Dan Hao Peking University, Kathryn Stolee North Carolina State University, Wesley Assunção North Carolina State University
14:00 - 15:30
Industry Talk4 + AIware for Software Lifecycle ActivitiesAIware Main Track / AIware Industry Statements and Demo Track / AIware Late Breaking Arxiv Track at Mandacaru
Chair(s): Filipe Cogo Centre for Software Excellence, Huawei Canada
14:00
20m
Industry talk
AI in Software Engineering at Google: Progress and the Path Ahead
AIware Industry Statements and Demo Track
Satish Chandra Google, Inc
14:20
10m
Paper
A Comparative Analysis of Large Language Models for Code Documentation Generation
AIware Main Track
Shubhang Shekhar Dvivedi IIIT Delhi, Vyshnav Vijay IIIT Delhi, Sai Leela Rahul Pujari IIIT Delhi, Shoumik Lodh IIIT Delhi, Dhruv Kumar Indraprastha Institute of Information Technology, Delhi
DOI
14:30
10m
Paper
AI-Assisted Assessment of Coding Practices in Modern Code Review
AIware Main Track
Manushree Vijayvergiya Google, Malgorzata Salawa Google, Ivan Budiselic Google, Dan Zheng Google DeepMind, Pascal Lamblin Google, Marko Ivanković Google; Universität Passau, Juanjo Carin Google, Mateusz Lewko Google Inc, Jovan Andonov Google, Goran Petrović Google Inc, Danny Tarlow Google, Petros Maniatis Google DeepMind, René Just University of Washington
DOI
14:40
10m
Paper
The Role of Generative AI in Software Development Productivity: A Pilot Case Study
AIware Main Track
Mariana Coutinho CESAR School, Lorena Marques CESAR School, Anderson Santos CESAR School, Marcio Dahia CESAR School, Cesar França CESAR School, Ronnie de Souza Santos University of Calgary
DOI
14:50
10m
Paper
Effectiveness of ChatGPT for Static Analysis: How Far Are We?
AIware Main Track
Mohammad Mahdi Mohajer York University, Reem Aleithan York University, Canada, Nima Shiri Harzevili York University, Moshi Wei York University, Alvine Boaye Belle York University, Hung Viet Pham York University, Song Wang York University
DOI
15:00
5m
Paper
Addressing Compiler Errors: Stack Overflow or Large Language Models?
AIware Late Breaking Arxiv Track
Patricia Widjojo The University of Melbourne, Christoph Treude Singapore Management University
Pre-print
15:05
25m
Live Q&A
Session Q&A and topic discussions
AIware Main Track

14:00 - 15:30
14:00 - 15:30
Keynote & Mobile Testing PanelMODAL@FSE at Pitomba
Chair(s): Wei Yang University of Texas at Dallas
14:00
45m
Keynote
Keynote
MODAL@FSE
Xin Xia Huawei Technologies
14:45
45m
Panel
Panel: Mobile Testing
MODAL@FSE
Alessandra Gorla IMDEA Software Institute, Jingling Sun University of Electronic Science and Technology of China, Xiangyu Zhang Purdue University
14:00 - 15:30
BOSS FIGHT - KEYNOTEFaSE4Games at Sapoti
14:00
90m
Keynote
Keynote talk with Prof. Rodrigo Santos
FaSE4Games
Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro
15:30 - 16:00
Coffee BreakSocial Events at Foyer
15:30
30m
Coffee break
Break
Social Events

16:00 - 18:00
Afternoon session 2PROMISE at Acerola
16:00
15m
Talk
MoreFixes: A Large-Scale Dataset of CVE Fix Commits Mined through Enhanced Repository Discovery
PROMISE
Jafar Akhoundali Leiden University, Sajad Rahim Nouri Islamic Azad University of Ramsar, Kristian Rietveld Leiden University, Olga Gadyatskaya
DOI
16:15
15m
Talk
A Pilot Study in Surveying Data Challenges of Automatic Software Engineering Tasks
PROMISE
Liming Dong CSIRO’s Data61, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61
DOI
16:30
15m
Talk
Prioritising GitHub Priority Labels
PROMISE
James Caddy University of Adelaide, Christoph Treude Singapore Management University
DOI
16:45
15m
Talk
Predicting Fairness of ML Software Configurations
PROMISE
Salvador Robles Herrera University of Texas at El Paso, Verya Monjezi University of Texas at El Paso, Vladik Kreinovich University of Texas at El Paso, Ashutosh Trivedi University of Colorado Boulder, Saeid Tizpaz-Niari University of Texas at El Paso
DOI
17:00
5m
Day closing
Closing
PROMISE

16:00 - 18:00
Industry Talk5 + AIware challenge + Day2 ClosingAIware Industry Statements and Demo Track / AIware Challenge Track / AIware Main Track at Mandacaru
Chair(s): Mei Nagappan University of Waterloo, Tianyi Zhang Purdue University
16:00
20m
Industry talk
AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors
AIware Industry Statements and Demo Track
Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
16:20
5m
Other
Challenge Introduction
AIware Challenge Track

16:25
10m
Talk
Investigating the Potential of Using Large Language Models for Scheduling
AIware Challenge Track
Deddy Jobson Mercari, Li Yilin Mercari
DOI
16:35
10m
Talk
Automated Scheduling for Thematic Coherence in Conferences
AIware Challenge Track
Mahzabeen Emu Queen’s University, Tasnim Ahmed Queen’s University, Salimur Choudhury Queen’s University
DOI
16:45
10m
Talk
Conference Program Scheduling using Genetic Algorithms
AIware Challenge Track
Rucha Deshpande Purdue University, USA, Aishwarya Devi Akila Pandian Purdue University, Vigneshwaran Dharmalingam Purdue University
DOI
16:55
15m
Awards
Challenge Q&A, discussions, and winner announcement
AIware Challenge Track

17:10
20m
Day closing
Day 2 closing
AIware Main Track

16:00 - 18:00
Concluding Remarks2030 Software Engineering at Pitanga
16:00 - 18:00
Community Infrastructure Panel & ClosingMODAL@FSE at Pitomba
Chair(s): Wing Lam George Mason University
16:00
45m
Panel
Panel: Community Dataset and Infrastructure
MODAL@FSE
Oscar Chaparro William & Mary, Shane McIntosh University of Waterloo, Xin Xia Huawei Technologies
16:45
15m
Day closing
Closing discussions
MODAL@FSE

16:00 - 18:00
CONTINUE?FaSE4Games at Sapoti
16:00
60m
Panel
Round table discussion.
FaSE4Games

17:00
30m
Day closing
Closing
FaSE4Games

18:00 - 19:30
TOSEM Editorial Board MeetingSocial Events at Pitanga
Chair(s): Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
18:00
90m
Meeting
TOSEM Editorial Board Meeting
Social Events

Wed 17 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:30
Welcome SessionPlenary Events at Plenary Hall
Chair(s): Marcelo d'Amorim North Carolina State University
09:00
30m
Day opening
Welcome to FSE 2024
Plenary Events
Marcelo d'Amorim North Carolina State University, Leopoldo Teixeira Federal University of Pernambuco, David Lo Singapore Management University, Lin Tan Purdue University
09:30 - 10:30
Keynote Thomas ZimmermannPlenary Events at Plenary Hall
Chair(s): David Lo Singapore Management University
09:30
60m
Keynote
The Incredible Machine: Developer Productivity and the Impact of AI on Productivity
Plenary Events
Thomas Zimmermann Microsoft Research
10:30 - 11:00
Coffee BreakSocial Events at Foyer
10:30
30m
Coffee break
Break
Social Events

10:30 - 11:00
Poster Session 1Posters at Lounge
10:30
30m
Poster
MicroSensor: Towards an Extensible Tool for the Static Analysis of Microservices Systems in Continuous Integration
Posters
Edson Soares Instituto Atlantico & State University of Ceara (UECE), Matheus Paixao State University of Ceará, Allysson Allex Araújo Federal University of Cariri
10:30
30m
Poster
SORBET: A Framework to Evaluate the Robustness of LiDAR 3D Object Detection and Its Impacts on Autonomous Driving
Posters
Tri Minh-Triet Pham Concordia University, Jinqiu Yang Concordia University
10:30
30m
Poster
An Analysis of the Costs and Benefits of Autocomplete in IDEs
Posters
Shaokang Jiang University of California, San Diego, Michael Coblenz University of California, San Diego
10:30
30m
Poster
Go the Extra Mile: Fixing Propagated Error-Handling Bugs
Posters
Haoran Liu National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Huiping Zhou National University of Defense Technology, Haifang Zhou National University of Defense Technology, Shanshan Li National University of Defense Technology
10:30
30m
Poster
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences
Posters
Luyao Liu College of Computer, National University of Defense Technology, Guofeng Zhang College of Computer, National University of Defense Technology, Zhenbang Chen College of Computer, National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China
10:30
30m
Poster
Do Large Language Models Generate Similar Codes from Mutated Prompts?: A Case Study of Gemini Pro
Posters
Hetvi Patel IIT Gandhinagar, Kevin Amit Shah IIT Gandhinagar, Shouvick Mondal IIT Gandhinagar
DOI Pre-print Media Attached File Attached
10:30
30m
Poster
Towards Realistic SATD Identification Through Machine Learning Models: Ongoing Research and Preliminary Results
Posters
Eliakim Gama State University of Ceará, Matheus Paixao State University of Ceará, Mariela I. Cortés State University of Ceará, Lucas Monteiro State University of Ceará
DOI Pre-print
10:30
30m
Poster
Building Software Engineering Capacity through a University Open Source Program Office
Posters
Ekaterina Holdener Saint Louis University, Daniel Shown Saint Louis University
10:30
30m
Poster
Inferring Natural Preconditions via Program Transformation
Posters
Elizabeth Dinella Bryn Mawr College, Shuvendu K. Lahiri Microsoft Research, Mayur Naik UPenn
10:30
30m
Poster
RFNIT: Robotic Framework for Non-Invasive Testing
Posters
Davi Simoes Freitas Centro de Informática at Universidade Federal de Pernambuco, Breno Miranda Centro de Informática at Universidade Federal de Pernambuco, Juliano Iyoda Centro de Informática at Universidade Federal de Pernambuco
11:00 - 12:30
Software Maintenance and Comprehension 1Research Papers / Ideas, Visions and Reflections / Demonstrations at Acerola
Chair(s): Wesley Assunção North Carolina State University
11:00
18m
Talk
Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-Task Learning
Research Papers
Xiaoling Zhang Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,, Zhengzi Xu Nanyang Technological University, shouguo yang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Zhi Li Institute of Information Engineering, Chinese Academy of Sciences, China, Zhiqiang Shi Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,
DOI Pre-print
11:18
18m
Talk
Only diff is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language ModelDistinguished Paper Award
Research Papers
Jiawei Li University of California, Irvine, David Faragó Innoopract GmbH & QPR Technologies, Christian Petrov Innoopract GmbH, Iftekhar Ahmed University of California, Irvine
11:36
18m
Talk
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations
Research Papers
Jun Lyu Nanjing University, Shanshan Li Software Institute, Nanjing University, He Zhang Nanjing University, Lanxin Yang Nanjing University, Bohan Liu Nanjing University, Manuel Rigger National University of Singapore
11:54
18m
Talk
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
Research Papers
Malinda Dilhara University of Colorado Boulder, Abhiram Bellur University of Colorado Boulder, Timofey Bryksin JetBrains Research, Danny Dig University of Colorado Boulder, JetBrains Research
Pre-print
12:12
9m
Talk
Variability-Aware Differencing with DiffDetectiveBest Demo Paper
Demonstrations
Paul Maximilian Bittner Paderborn University, Alexander Schultheiß Paderborn University, Benjamin Moosherr University of Ulm, Timo Kehrer University of Bern, Thomas Thüm Paderborn University
Pre-print Media Attached
12:21
9m
Talk
From Models to Practice: Enhancing OSS Project Sustainability with Evidence-Based Advice
Ideas, Visions and Reflections
Nafiz Imtiaz Khan Department of Computer Science, University of California, Davis, Vladimir Filkov University of California at Davis, USA
Link to publication DOI
11:00 - 12:30
Human Aspects 1Research Papers / Industry Papers at Mandacaru
Chair(s): Christoph Treude Singapore Management University
11:00
18m
Talk
"The Law Doesn’t Work Like a Computer": Exploring Software Licensing Issues Faced by Legal PractitionersDistinguished Paper Award
Research Papers
Nathan Wintersgill William & Mary, Trevor Stalnaker William & Mary, Laura A. Heymann William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary
11:18
18m
Talk
AI-assisted Code Authoring at Scale: Fine-tuning, deploying, and mixed methods evaluation
Research Papers
Vijayaraghavan Murali Meta Platforms Inc., Chandra Sekhar Maddila Meta Platforms, Inc., Imad Ahmad Meta Platforms, Inc., Michael Bolin Meta Platforms, Inc., Daniel Cheng Meta Platforms Inc., Negar Ghorbani Meta Platforms Inc., Renuka Fernandez Meta Platforms, Inc., Nachiappan Nagappan Meta Platforms, Inc., Peter C Rigby Meta / Concordia University
11:36
18m
Talk
An Analysis of the Costs and Benefits of Autocomplete in IDEs
Research Papers
Shaokang Jiang University of California, San Diego, Michael Coblenz University of California, San Diego
Pre-print
11:54
18m
Talk
Shadows in the Interface: A Comprehensive Study on Dark Patterns
Research Papers
Liming Nie Nanyang Technological University, Yangyang Zhao Zhejiang Sci-Tech University, Chenglin Li Zhejiang Sci-Tech University, Xuqiong Luo Changsha University of Science and Technology, Yang Liu Nanyang Technological University
12:12
9m
Talk
Paths to Testing: Why Women Enter and Remain in Software Testing?
Industry Papers
Kleice Silva CESAR School, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary, Ronnie de Souza Santos University of Calgary
11:00 - 12:30
Formal VerificationDemonstrations / Journal First / Research Papers / Industry Papers at Pitanga
Chair(s): Yunja Choi Kyungpook National University
11:00
18m
Talk
A Transferability Study of Interpolation-Based Hardware Model Checking to Software VerificationDistinguished Paper Award
Research Papers
Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Marek Jankola LMU Munich, Nian-Ze Lee LMU Munich
DOI Media Attached
11:18
9m
Talk
CoqPyt: Proof Navigation in Python in the Era of LLMs
Demonstrations
Pedro Carrott Imperial College London, Nuno Saavedra INESC-ID and IST, University of Lisbon, Kyle Thompson University of California, San Diego, Sorin Lerner University of California at San Diego, João F. Ferreira INESC-ID and IST, University of Lisbon, Emily First University of California, San Diego
DOI Pre-print
11:27
9m
Talk
How We Built Cedar: A Verification-Guided Approach
Industry Papers
Craig Disselkoen Amazon Web Services, Aaron Eline Amazon, Shaobo He Amazon Web Services, Kyle Headley Unaffiliated, MIchael Hicks Amazon, Kesha Hietala Amazon Web Services, John Kastner Amazon Web Services, Anwar Mamat University of Maryland, Matt McCutchen , Neha Rungta Amazon Web Services, Bhakti Shah University of St. Andrews, Emina Torlak Amazon Web Services, USA, Andrew Wells Amazon Web Services
11:36
18m
Talk
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
Journal First
Claudio Menghi University of Bergamo; McMaster University, Christos Tsigkanos University of Bern, Switzerland, Mehrnoosh Askarpour McMaster University, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Gricel Vázquez University of York, UK, Radu Calinescu University of York, UK, Sergio García Volvo Cars Corporation, Sweden
11:54
18m
Talk
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Journal First
Donato Clun Imperial College London, Donghwan Shin University of Sheffield, Antonio Filieri AWS and Imperial College London, Domenico Bianculli University of Luxembourg
12:12
18m
Talk
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
Journal First
Federico Formica McMaster University, Tony Fan McMaster University, Akshay Rajhans Mathworks, Vera Pantelic McMaster University, Mark Lawford McMaster University, Claudio Menghi University of Bergamo; McMaster University
11:00 - 12:30
Code Search and CompletionIndustry Papers / Research Papers at Pitomba
Chair(s): Akond Rahman Auburn University
11:00
18m
Talk
Leveraging Large Language Models for the Auto-remediation of Microservice Applications - An Experimental Study
Industry Papers
Komal Sarda York University, Zakeya Namrud York University, Marin Litoiu York University, Canada, Larisa Shwartz IBM T.J. Watson Research, Ian Watts IBM Canada
11:18
18m
Talk
CodePlan: Repository-level Coding using LLMs and Planning
Research Papers
Ramakrishna Bairi Microsoft Research, India, Atharv Sonwane Microsoft Research, India, Aditya Kanade Microsoft Research, India, Vageesh D C Microsoft Research, India, Arun Iyer Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research Indua, B. Ashok Microsoft Research. India, Shashank Shet Microsoft Research. India
11:36
18m
Talk
An Empirical Study of Code Search in Intelligent Coding Assistant: Perceptions, Expectations, and Directions
Industry Papers
Chao Liu Chongqing University, Xindong Zhang Alibaba Cloud Computing Co. Ltd., Hongyu Zhang Chongqing University, Zhiyuan Wan Zhejiang University, Zhan Huang Chongqing University, Meng Yan Chongqing University
11:54
18m
Talk
DeciX: Explain Deep Learning Based Code Generation Applications
Research Papers
Simin Chen University of Texas at Dallas, Zexin Li University of California, Riverside, Wei Yang University of Texas at Dallas, Cong Liu University of California, Riverside
12:12
18m
Talk
IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion
Research Papers
Bolun Li Shandong Normal University, Zhihong Sun Shandong Normal University, Tao Huang Shandong Normal University, Hongyu Zhang Chongqing University, Yao Wan Huazhong University of Science and Technology, Chen Lyu Shandong Normal University, Ge Li Peking University, Zhi Jin Peking University
12:30 - 14:00
12:30
90m
Lunch
Lunch
Social Events

12:30 - 14:00
FSE Steering Committee MeetingSocial Events at Sapoti
Chair(s): Abhik Roychoudhury National University of Singapore
12:30
90m
Meeting
FSE Steering Committee
Social Events

14:00 - 15:30
Processes, Requirements, and ArchitectureIndustry Papers / Journal First / Research Papers / Demonstrations at Acerola
Chair(s): Annibale Panichella Delft University of Technology
14:00
18m
Talk
On the Usefulness of Automatically Generated Microservice Architectures
Journal First
Luiz Carvalho Pontifical Catholic University of Rio de Janeiro, Brazil, Thelma Elita Colanzi State University of Maringa, Brazil, Wesley Assunção North Carolina State University, Alessandro Garcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Juliana Alves Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello Federal University of Rio de Janeiro (UFRJ), Maria Julia de Lima Tecgraf Institute, Pontifical Catholic University of Rio de Janeiro, Brazil, Carlos Lucena Pontifical Catholic University of Rio de Janeiro, Brazil
14:18
18m
Talk
An LGPD Compliance Inspection Checklist to Assess IoT Solutions
Industry Papers
Ivonildo Pereira Gomes Neto Federal University of Pernambuco, João Mendes Federal University of Maranhão, Waldemar Pires Ferreira Neto Rural Federal University of Pernambuco, Luis Jorge Enrique Rivero Cabrejos Federal University of Maranhão, Brazil, Davi Viana Federal University of Maranhão, Sérgio Soares Universidade Federal de Pernambuco
14:36
18m
Talk
Automated Smell Detection and Recommendation in Natural Language Requirements
Journal First
Alvaro Veizaga University of Luxembourg, Seung Yeob Shin University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:54
9m
Talk
Supporting Early Architectural Decision-Making Through Tradeoff Analysis: A Study with Volvo Cars
Industry Papers
Karl Öqvist Chalmers | University of Gothenburg, Jacob Messinger Chalmers | University of Gothenburg, Rebekka Wohlrab Chalmers University of Technology
15:03
9m
Talk
MicroKarta: Visualising Microservice Architectures
Demonstrations
Oscar Manglaras University of Adelaide, Alex Farkas University of Adelaide, Peter Fule Swordfish Computing, Christoph Treude Singapore Management University, Markus Wagner Monash University, Australia
15:12
18m
Talk
Understanding Developers' Discussions and Perceptions on Non-Functional Requirements: The Case of the Spring EcosystemDistinguished Paper Award
Research Papers
Anderson Oliveira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), João Lucas Correia Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Wesley Assunção North Carolina State University, Juliana Alves Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello Federal University of Rio de Janeiro (UFRJ), Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Caio Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Paulo Vítor C. F. Libório Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Alessandro Garcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
DOI Pre-print
14:00 - 15:30
Empirical Studies 1Industry Papers / Research Papers / Journal First at Mandacaru
Chair(s): Ronnie de Souza Santos University of Calgary
14:00
18m
Talk
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation
Research Papers
Yibo He Peking University, Jiaming Huang Peking University, Hao Yu Peking University, Tao Xie Peking University
14:18
18m
Talk
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Applications
Research Papers
Shuqing Li The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Jianping Zhang The Chinese University of Hong Kong, Yujia Zhang Harbin Institute of Technology, Yepang Liu Southern University of Science and Technology, Jiazhen Gu The Chinese University of Hong Kong, Yun Peng The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print
14:36
18m
Talk
Decision Making for Managing Automotive Platforms: An Interview Survey on the Sate-of-Practice
Industry Papers
Philipp Zellmer Volkswagen AG & Harz University of Applied Sciences, Jacob Krüger Eindhoven University of Technology, Thomas Leich Harz University of Applied Sciences, Germany
14:54
18m
Talk
Evaluation framework for autonomous systems: the case of Programmable Electronic Medical Systems
Journal First
Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Martina De Sanctis Gran Sasso Science Institute, Angelo Gargantini University of Bergamo, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Elvinia Riccobene Computer Science Dept., University of Milan, Patrizia Scandurra University of Bergamo, Italy
15:12
18m
Talk
Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive Industry
Industry Papers
Lennart Holsten Volkswagen AG & Harz University of Applied Sciences, Jacob Krüger Eindhoven University of Technology, Thomas Leich Harz University of Applied Sciences, Germany
14:00 - 15:30
Testing 1Research Papers / Journal First at Pitanga
Chair(s): Xi Zheng Macquarie University
14:00
18m
Talk
Test Input Prioritization for 3D Point Clouds
Journal First
Yinghua LI University of Luxembourg, Xueqi Dang University of Luxembourg, Lei Ma The University of Tokyo & University of Alberta, Jacques Klein University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg
14:18
18m
Talk
Evaluating and Improving ChatGPT for Unit Test Generation
Research Papers
Zhiqiang Yuan Fudan University, Mingwei Liu Fudan University, Shiji Ding Fudan University, Kaixin Wang Fudan University, Yixuan Chen Yale University, Xin Peng Fudan University, Yiling Lou Fudan University
14:36
18m
Talk
Bounding Random Test Set Size with Computational Learning Theory
Research Papers
Neil Walkinshaw University of Sheffield, Michael Foster The University of Sheffield, José Miguel Rojas The University of Sheffield, Robert Hierons The University of Sheffield
Pre-print
14:54
18m
Talk
COSTELLO: Contrastive Testing for Embedding-based Large Language Model as a Service Embeddings
Research Papers
Weipeng Jiang Xi'an Jiaotong University, Juan Zhai University of Massachusetts, Amherst, Shiqing Ma University of Massachusetts, Amherst, Xiaoyu Zhang Xi'an Jiaotong University, Chao Shen Xi'an Jiaotong University
15:12
18m
Talk
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution
Research Papers
Jaehan Yoon Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University
14:00 - 15:30
AI4SE 1Research Papers at Pitomba
Chair(s): Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
14:00
18m
Talk
Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-context Learning
Research Papers
Yubo Mai Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Xing Hu Zhejiang University, Lingfeng Bao Zhejiang University, Yu Liu Zhejiang University, JianLing Sun Zhejiang University
14:18
18m
Talk
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
Research Papers
Zian Su Purdue University, Xiangzhe Xu Purdue University, Ziyang Huang Purdue University, Zhuo Zhang Purdue University, Yapeng Ye Purdue University, Jianjun Huang Renmin University of China, Xiangyu Zhang Purdue University
14:36
18m
Talk
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs
Research Papers
Yanfu Yan William & Mary, Nathan Cooper William & Mary, Kevin Moran University of Central Florida, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Denys Poshyvanyk William & Mary, Steve Rich Cisco Systems
14:54
18m
Talk
Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
Research Papers
Zhen Yang Shandong University, Fang Liu Beihang University, Zhongxing Yu Shandong University, Jacky Keung City University of Hong Kong, Jia Li Peking University, Shuo Liu City University of Hong Kong, Hong Yifan City University of Hong Kong, Xiaoxue Ma City University of Hong Kong, Zhi Jin Peking University, Ge Li Peking University
Pre-print
15:12
18m
Talk
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
Research Papers
Yuxi Li Huazhong University of Science and Technology, Yi Liu Nanyang Technological University, Gelei Deng Nanyang Technological University, Ying Zhang Virginia Tech, Wenjia Song Virginia Tech, Ling Shi Nanyang Technological University, Kailong Wang Huazhong University of Science and Technology, Yuekang Li The University of New South Wales, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology
15:30 - 16:00
Coffee BreakSocial Events at Foyer
15:30
30m
Coffee break
Break
Social Events

15:30 - 17:30
15:30
13m
Talk
Comparing Gemini Pro and GPT-3.5 in Algorithmic Problems
Student Research Competition
15:43
13m
Talk
Detecting Code Comment Inconsistencies Using LLM and Program Analysis
Student Research Competition
Yichi Zhang Nanjing University
15:56
13m
Talk
Enhancing Code Representation for Improved Graph Neural Network-Based Fault Localization
Student Research Competition
Md Nakhla Rafi Concordia University
16:10
13m
Talk
Evaluating Social Bias in Code Generation Models
Student Research Competition
Lin Ling Concordia University
16:23
13m
Talk
Productionizing PILAR as a Logstash plugin
Student Research Competition
Aaron Abraham University of Waterloo, Kevin Zhang University of Waterloo, Yash Dani University of Waterloo
16:36
13m
Talk
Studying Privacy Leaks in Android App Logs
Student Research Competition
Zhiyuan Chen Rochester Institute of Technology
16:50
13m
Talk
Towards a Theory for Source Code Rejuvenation
Student Research Competition
Walter Lucas Monteiro de Mendonça University of Brasília
17:03
13m
Talk
Toward systematizing hot fixing for production software
Student Research Competition
Carol Hanna University College London
17:16
13m
Call for papers
Unlocking the Full Potential of AI Chatbots: A Guide to Maximizing Your Digital Companions
Student Research Competition
Chihao Yu University of California, San Diego
16:00 - 18:00
Program Analysis and Performance 1Research Papers / Industry Papers / Demonstrations / Ideas, Visions and Reflections at Acerola
Chair(s): Alessandra Gorla IMDEA Software Institute
16:00
18m
Talk
DyPyBench: A Benchmark of Executable Python Software
Research Papers
Islem BOUZENIA University of Stuttgart, Bajaj Piyush Krishan University of Stuttgart, Michael Pradel University of Stuttgart
16:18
18m
Talk
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point SlicingDistinguished Paper Award
Research Papers
DOI Pre-print
16:36
18m
Talk
PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
Research Papers
Yoel Kim Kyungpook National University, Yunja Choi Kyungpook National University
DOI File Attached
16:54
18m
Talk
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence LearningDistinguished Paper Award
Research Papers
Aashish Yadavally University of Texas at Dallas, Yi Li University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
Pre-print
17:12
18m
Talk
Checking Complex Source Code-level Constraints using Runtime Verification
Industry Papers
Joshua Heneage Dawes University of Luxembourg, Domenico Bianculli University of Luxembourg
17:30
9m
Talk
XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges
Demonstrations
Ke Wang Peking University, Yue Li Peking University, Che Wang Peking University, China, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen
17:39
9m
Talk
Rapid Taint Assisted Concolic Execution (TACE)
Demonstrations
Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Norbert Tihanyi Technology Innovation Institute, Mthandazo Ndhlovu Technology Innovation Institute, Mohamed Amine Ferrag Technology Innovation Institute, Lucas C. Cordeiro University of Manchester, UK
DOI
17:48
9m
Talk
Verification of Programs with Common Fragments
Ideas, Visions and Reflections
Ivan Postolski University of Buenos Aires, Víctor Braberman ICC (UBA-CONICET), Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Sebastian Uchitel Imperial College and University of Buenos Aires
16:00 - 18:00
Program Repair and SynthesisDemonstrations / Research Papers / Ideas, Visions and Reflections at Mandacaru
Chair(s): Fernanda Madeiral Vrije Universiteit Amsterdam
16:00
18m
Talk
A Deep Dive into Large Language Models for Automated Bug Localization and Repair
Research Papers
Soneya Binta Hossain University of Virginia, Nan Jiang Purdue University, Qiang Zhou Amazon Web Services, Xiaopeng LI Amazon Web Services, Wen-Hao Chiang Amazon Web Services, Yingjun Lyu Amazon Web Services, Hoan Nguyen Amazon Web Services, Omer Tripp Amazon Web Services
DOI
16:18
18m
Talk
CORE: Resolving Code Quality Issues Using LLMs
Research Papers
Nalin Wadhwa Microsoft Research, India, Jui Pradhan Microsoft Research, India, Atharv Sonwane Microsoft Research, India, Surya Prakash Sahu Microsoft Research, India, Nagarajan Natarajan Microsoft Research India, Aditya Kanade Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research Indua
16:36
18m
Talk
Towards Effective Multi-Hunk Bug Repair: Detecting, Creating, Evaluating, and Understanding Indivisible Bugs
Research Papers
Qi Xin Wuhan University, Haojun Wu Wuhan University, Jinran Tang Wuhan University, Xinyu Liu Wuhan University, Steven P. Reiss Brown University, Jifeng Xuan Wuhan University
16:54
18m
Talk
ProveNFix: Temporal Property guided Program RepairDistinguished Paper Award
Research Papers
Yahui Song National University of Singapore, Xiang Gao Beihang University, Wenhua Li National University of Singapore, Wei-Ngan Chin National University of Singapore, Abhik Roychoudhury National University of Singapore
DOI Pre-print
17:12
18m
Talk
Towards AI-Assisted Synthesis of Verified Dafny Methods
Research Papers
Md Rakib Hossain Misu University of California Irvine, Crista Lopes University of California Irvine, Iris Ma University of California Irvine, James Noble Independent. Wellington, NZ
DOI Pre-print
17:30
9m
Talk
Execution-free program repair
Ideas, Visions and Reflections
Bertrand Meyer Constructor Institute Schaffhausen, Li Huang Constructor Institute Schaffhausen, Ilgiz Mustafin Constructor Institute, Manuel Oriol Constructor Institute Schaffhausen
17:39
9m
Talk
ConDefects: A Complementary Dataset to Address the Data Leakage Concern for LLM-based Fault Localization and Program Repair
Demonstrations
Yonghao Wu Beijing University of Chemical Technology, Zheng Li Beijing University of Chemical Technology, Jie M. Zhang King's College London, Yong Liu Beijing University of Chemical Technology
17:48
9m
Talk
ASAC: A Benchmark for Algorithm Synthesis
Demonstrations
Zhao Zhang Peking University, Yican Sun Peking University, Ruyi Ji Peking University, Siyuan Li Peking University, Xuanyu Peng University of California, San Diego, Zhechong Huang Peking University, Sizhe Li Peking University, Tianran Zhu Peking University, Yingfei Xiong Peking University
Pre-print Media Attached
16:00 - 18:00
16:00
18m
Talk
Metamorphic Testing of Secure Multi-Party Computation (MPC) Compilers
Research Papers
Dongwei Xiao Hong Kong University of Science and Technology, Zhibo Liu The Hong Kong University of Science and Technology, Qi Pang Carnegie Mellon University, Shuai Wang The Hong Kong University of Science and Technology, Yichen LI Hong Kong University of Science and Technology
16:18
18m
Talk
Mobile Bug Report Reproduction via Global Search on the App UI Model
Research Papers
Zhaoxu Zhang University of Southern California, Fazle Mohammed Tawsif University of Southern California, Komei Ryu University of Southern California, Tingting Yu University of Connecticut, William G.J. Halfond University of Southern California
16:36
18m
Talk
FinHunter: Improved Search-based Test Generation for Structural Testing of FinTech Systems
Industry Papers
Xuanwen Ding East China Normal University, Qingshun Wang East China Normal University, Dan Liu East China Normal University, Lihua Xu New York University Shanghai, Jun Xiao Ant Group Co. Ltd., Bojun Zhang Ant Group Co. Ltd., Xue Li Ant Group Co. Ltd., Liang Dou East China Normal University, Liang He East China Normal University, Tao Xie Peking University
16:54
9m
Talk
Tests4Py: A Benchmark for System Testing
Demonstrations
Marius Smytzek CISPA Helmholtz Center for Information Security, Martin Eberlein Humboldt University of Berlin, Batuhan Serce CISPA Helmholtz Center for Information Security, Lars Grunske Humboldt-Universität zu Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print Media Attached
17:03
9m
Talk
On Polyglot Program Testing
Ideas, Visions and Reflections
Philémon Houdaille DIVERSE Team, IRISA-INRIA, CNRS, Université Rennes 1, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Gunter Mussbacher McGill University
DOI Pre-print
17:12
9m
Talk
Ctest4J: A Practical Configuration Testing Framework for Java
Demonstrations
Shuai Wang University of Illinois at Urbana-Champaign, Xinyu Lian University of Illinois at Urbana-Champaign, Qingyu Li University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign
Pre-print
17:21
9m
Talk
Predicting Test Results without Execution
Ideas, Visions and Reflections
Pre-print Media Attached
17:30
9m
Talk
Py-holmes: Causal Testing for Deep Neural Networks in Python
Demonstrations
Wren McQueary George Mason University, sadia afrin mim George Mason University, Md Nishat Raihan George Mason University, Justin Smith Lafayette College, Brittany Johnson George Mason University
Pre-print
17:39
9m
Talk
AndroLog: Android Instrumentation and Code Coverage Analysis
Demonstrations
Jordan Samhi CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
DOI Pre-print
17:48
9m
Talk
PathSpotter: Exploring Tested Paths to Discover Missing Tests
Demonstrations
Pre-print Media Attached
16:00 - 18:00
AI4SE 2Industry Papers / Research Papers at Pitomba
Chair(s): Jingyue Li Norwegian University of Science and Technology (NTNU)
16:00
18m
Talk
MonitorAssistant: Simplifying Cloud Service Monitoring via Large Language Models
Industry Papers
Zhaoyang Yu Tsinghua University, Minghua Ma Microsoft Research, Chaoyun Zhang Microsoft, Si Qin Microsoft Research, Yu Kang Microsoft Research, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft, Yingnong Dang Microsoft Azure, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Dan Pei Tsinghua University, Qingwei Lin Microsoft, Dongmei Zhang Microsoft Research
16:18
18m
Talk
Code-Aware Prompting: A study of Coverage guided Test Generation in Regression Setting using LLM
Research Papers
Gabriel Ryan Columbia University, Siddhartha Jain AWS AI Labs, Mingyue Shang AWS AI Labs, Shiqi Wang AWS AI Labs, Xiaofei Ma AWS AI Labs, Murali Krishna Ramanathan AWS AI Labs, Baishakhi Ray Columbia University, New York; AWS AI Lab
16:36
18m
Talk
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM’s Quantum Computers
Industry Papers
Asmar Muqeet Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Paolo Arcaini National Institute of Informatics
16:54
18m
Talk
Multi-line AI-assisted Code Authoring
Industry Papers
Omer Dunay Meta Platforms, Inc., Daniel Cheng Meta Platforms Inc., Adam Tait Meta Platforms, Inc., Parth Thakkar Meta Platforms, Inc., Peter C Rigby Meta / Concordia University, Andy Chiu Meta Platforms, Inc., Imad Ahmad Meta Platforms, Inc., Arun Ganesan Meta Platforms, Inc., Chandra Sekhar Maddila Meta Platforms, Inc., Vijayaraghavan Murali Meta Platforms Inc., Ali Tayyebi Meta Platforms Inc., Nachiappan Nagappan Meta Platforms, Inc.
17:12
18m
Talk
Combating Missed Recalls in E-commerce Search: a CoT-prompting Testing Approach
Industry Papers
Shengnan Wu School of Computer Science, Fudan University, Yongxiang Hu Fudan University, Yingchuan Wang School of Computer Science, Fudan University, Jiazhen Gu The Chinese University of Hong Kong, Jin Meng Meituan Inc., Liujie Fan Meituan Inc., Zhongshi Luan Meituan Inc., Xin Wang Fudan University, Yangfan Zhou Fudan University
Pre-print
17:30
18m
Talk
Automated Unit Test Improvement using Large Language Models at Meta
Industry Papers
Mark Harman Meta Platforms, Inc. and UCL, Jubin Chheda Meta platforms, Anastasia Finogenova Meta platforms, Inna Harper Meta, Alexandru Marginean Meta platforms, Shubho Sengupta Meta platforms, Eddy Wang Meta platforms, Nadia Alshahwan Meta Platforms, Beliz Gokkaya Meta Platforms
16:00 - 18:00
Fault Diagnosis and Root Cause Analysis 1Demonstrations / Research Papers / Industry Papers at Sapoti
Chair(s): Muhammad Ali Gulzar Virginia Tech
16:00
18m
Talk
A Quantitative and Qualitative Evaluation of LLM-based Explainable Fault Localization
Research Papers
Sungmin Kang Korea Advanced Institute of Science and Technology, Gabin An Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology
Pre-print
16:18
18m
Talk
BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection
Research Papers
Luan Pham RMIT University, Huong Ha RMIT University, Hongyu Zhang Chongqing University
Pre-print
16:36
18m
Talk
Fault Diagnosis for Test Alarms in Microservices Through Multi-source Data
Industry Papers
Shenglin Zhang Nankai University, Jun Zhu Nankai University, Bowen Hao Nankai University, Yongqian Sun Nankai University, Xiaohui Nie CNIC, CAS, Jingwen Zhu Nankai University, Xilin Liu Huawei Cloud, Xiaoqian Li Huawei Cloud, Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Dan Pei Tsinghua University
16:54
18m
Talk
Costs and Benefits of Machine Learning Software Defect Prediction: Industrial Case Study
Industry Papers
Szymon Stradowski Wroclaw University of Science and Technology & NOKIA, Lech Madeyski Wroclaw University of Science and Technology
17:12
18m
Talk
Chain-of-Event: Interpretable Root Cause Analysis for Microservices through Automatically Learning Weighted Event Causal Graph
Industry Papers
Zhenhe Yao Tsinghua University, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Wenxiao Chen Tsinghua University, Hanzhang Wang Walmart Global Tech, Liangfei Su eBay, USA, Huai Jiang eBay, USA, Zhe Xie Tsinghua University, Xiaohui Nie CNIC, CAS, Dan Pei Tsinghua University
17:30
18m
Talk
ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems
Research Papers
Guangba  Yu Sun Yat-sen University, Pengfei Chen Sun Yat-sen University, Zilong He Sun Yat-sen University, Qiuyu Yan Tencent, Yu Luo Tencent, Fangyuan Li Tencent, Zibin Zheng Sun Yat-sen University
DOI Pre-print
17:48
9m
Talk
MineCPP: Mining Bug Fix Pairs and Their Structures
Demonstrations
Sai Krishna Avula IIT Gandhinagar, Shouvick Mondal IIT Gandhinagar
DOI Pre-print Media Attached
18:15 - 19:30
SIGSOFT Townhall SessionSocial Events at Plenary Hall
Chair(s): Thomas Zimmermann Microsoft Research
18:15
75m
Meeting
SIGSOFT Townhall Session
Social Events

19:30 - 21:00
Welcome Reception & CocktailSocial Events at Plenary Hall
19:30
90m
Social Event
Welcome Reception & Cocktail
Social Events

Thu 18 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:30
Test of Time AwardPlenary Events at Plenary Hall
09:00
30m
Keynote
Are mutants a valid substitute for real faults in software testing?
Plenary Events
René Just University of Washington, Darioush Jalali University of Washington, USA, Laura Inozemtseva , Michael D. Ernst University of Washington, Reid Holmes University of British Columbia, Gordon Fraser University of Passau
Link to publication DOI
09:30 - 10:30
Keynote Zhendong SuPlenary Events at Plenary Hall
Chair(s): Lin Tan Purdue University
09:30
60m
Keynote
Software Science at the Core of Computer Science
Plenary Events
Zhendong Su ETH Zurich
10:30 - 11:00
Coffee BreakSocial Events at Foyer
10:30
30m
Coffee break
Break
Social Events

10:30 - 11:00
Poster Session 2Posters at Lounge
10:30
30m
Poster
DyPyBench: A Benchmark of Executable Python Software
Posters
Islem BOUZENIA University of Stuttgart, Bajaj Piyush Krishan University of Stuttgart, Michael Pradel University of Stuttgart
10:30
30m
Poster
Shadows in the Interface: A Comprehensive Study on Dark Patterns
Posters
Liming Nie Nanyang Technological University, Yangyang Zhao Zhejiang Sci-Tech University, Chenglin Li Zhejiang Sci-Tech University, Xuqiong Luo Changsha University of Science and Technology, Yang Liu Nanyang Technological University
10:30
30m
Poster
Do Large Language Models Recognize Python Identifier Swaps in their Generated Code?
Posters
Sagar Bhikan Chavan IIT Gandhinagar, Shouvick Mondal IIT Gandhinagar
DOI Pre-print Media Attached File Attached
10:30
30m
Poster
Understanding Developers' Discussions and Perceptions on Non-Functional Requirements: The Case of the Spring Ecosystem
Posters
Anderson Oliveira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), João Lucas Correia Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Wesley Assunção North Carolina State University, Juliana Alves Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello Federal University of Rio de Janeiro (UFRJ), Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Caio Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Paulo Vítor C. F. Libório Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Alessandro Garcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
10:30
30m
Poster
ProveNFix: Temporal Property guided Program Repair
Posters
Yahui Song National University of Singapore, Xiang Gao Beihang University, Wenhua Li National University of Singapore, Wei-Ngan Chin National University of Singapore, Abhik Roychoudhury National University of Singapore
10:30
30m
Poster
PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
Posters
Yoel Kim Kyungpook National University, Yunja Choi Kyungpook National University
10:30
30m
Poster
A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification
Posters
Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Marek Jankola LMU Munich, Nian-Ze Lee LMU Munich
DOI Media Attached
10:30
30m
Poster
Evaluating and Improving ChatGPT for Unit Test Generation
Posters
Zhiqiang Yuan Fudan University, Mingwei Liu Fudan University, Shiji Ding Fudan University, Kaixin Wang Fudan University, Yixuan Chen Yale University, Xin Peng Fudan University, Yiling Lou Fudan University
10:30
30m
Poster
Testing AI Systems Leveraging Graph Perturbation
Posters
Zhaorui Yang University of California, Riverside, Haichao Zhu Tencent America, Qian Zhang University of California, Riverside
10:30
30m
Poster
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
Posters
Aashish Yadavally University of Texas at Dallas, Yi Li University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
10:30
30m
Poster
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
Posters
Malinda Dilhara University of Colorado Boulder, Abhiram Bellur University of Colorado Boulder, Timofey Bryksin JetBrains Research, Danny Dig University of Colorado Boulder, JetBrains Research
10:30
30m
Poster
A Deep Dive into Large Language Models for Bug Fixing
Posters
Soneya Binta Hossain University of Virginia, Nan Jiang Purdue University, Qiang Zhou Amazon Web Services, Xiaopeng LI Amazon Web Services, Wen-Hao Chiang Amazon Web Services, Yingjun Lyu Amazon Web Services, Hoan Nguyen Amazon Web Services, Omer Tripp Amazon Web Services
10:30
30m
Poster
A Quantitative and Qualitative Evaluation of LLM-based Explainable Fault Localization
Posters
Sungmin Kang Korea Advanced Institute of Science and Technology, Gabin An Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology
10:30
30m
Poster
IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion
Posters
Bolun Li Shandong Normal University, Zhihong Sun Shandong Normal University, Tao Huang Shandong Normal University, Hongyu Zhang Chongqing University, Yao Wan Huazhong University of Science and Technology, Chen Lyu Shandong Normal University, Ge Li Peking University, Zhi Jin Peking University
11:00 - 12:30
Empirical Studies 2Ideas, Visions and Reflections / Research Papers / Industry Papers / Journal First at Acerola
Chair(s): Iftekhar Ahmed University of California, Irvine
11:00
18m
Talk
State Reconciliation Defects in Infrastructure as Code
Research Papers
Md Mahadi Hassan Auburn University, John Salvador Auburn University, Shubhra Kanti Karmaker Santu Auburn University, Akond Rahman Auburn University
Pre-print
11:18
18m
Talk
Understanding and Detecting Annotation-induced Faults of Static Analyzers
Research Papers
Huaien Zhang The Hong Kong Polytechnic University, Southern University of Science and Technology, Yu Pei The Hong Kong Polytechnic University, Shuyun Liang Southern University of Science and Technology, Shin Hwei Tan Concordia University
11:36
18m
Talk
What Makes a Code Review Useful to OpenDev Developers? An Empirical Investigation
Journal First
Asif Kamal Turzo Wayne State University, Amiangshu Bosu Wayne State University
11:54
9m
Talk
The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking
Ideas, Visions and Reflections
Justyna Petke University College London, Matias Martinez Universitat Politècnica de Catalunya (UPC), Maria Kechagia University College London, Aldeida Aleti Monash University, Federica Sarro University College London
12:03
9m
Talk
Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool
Industry Papers
Lennon Chaves SIDIA Institute of Science and Technology, Flávia Oliveira Sidia Institute of Science and Technology, Leonardo Tiago Sidia Institute of Science and Technology
12:12
9m
Talk
Reproducibility Debt: Challenges and Future Pathways
Ideas, Visions and Reflections
Zara Hassan Australian National University, Christoph Treude Singapore Management University, Michael Norrish Australian National University, Graham Williams Australian National University, Alex Potanin Australian National University
Link to publication DOI
12:21
9m
Talk
A Vision on Open Science for the Evolution of Software Engineering Research and Practice
Ideas, Visions and Reflections
Edson OliveiraJr State University of Maringá, Fernanda Madeiral Vrije Universiteit Amsterdam, Alcemir Rodrigues Santos State University of Piauí, Christina von Flach Federal University of Bahia, Sérgio Soares Universidade Federal de Pernambuco
Pre-print
11:00 - 12:30
Human Aspects 2Research Papers at Mandacaru
Chair(s): Bianca Trinkenreich Colorado State University
11:00
18m
Talk
Can GPT-4 Replicate Empirical Software Engineering Research?
Research Papers
Jenny T. Liang Carnegie Mellon University, Carmen Badea Microsoft Research, Christian Bird Microsoft Research, Robert DeLine Microsoft Research, Denae Ford Microsoft Research, Nicole Forsgren Microsoft Research, Thomas Zimmermann Microsoft Research
Pre-print
11:18
18m
Talk
Do Code Generation Models Think Like Us? - A Study of Attention Alignment between Large Language Models and Human Programmers
Research Papers
Bonan Kou Purdue University, Shengmai Chen Purdue University, Zhijie Wang University of Alberta, Lei Ma The University of Tokyo & University of Alberta, Tianyi Zhang Purdue University
Pre-print
11:36
18m
Talk
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion
Research Papers
Md Shamimur Rahman University of Saskatchewan, Canada, Zadia Codabux University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada
11:54
18m
Talk
Effective Teaching through Code Reviews: Patterns and Anti-Patterns
Research Papers
Anita Sarma Oregon State University, Nina Chen Google
DOI
12:12
18m
Talk
An empirical study on code review activity prediction in practice
Research Papers
Doriane Olewicki Queen's University, Sarra Habchi Ubisoft Montréal, Bram Adams Queen's University
Pre-print
11:00 - 12:30
Program Analysis and Performance 2Research Papers at Pitanga
Chair(s): Rahul Purandare University of Nebraska-Lincoln
11:00
18m
Talk
Adapting Multi-objectivized Software Configuration Tuning
Research Papers
Tao Chen University of Birmingham, Miqing Li University of Birmingham
Pre-print
11:18
18m
Talk
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Research Papers
Madeline Endres University of Massachusetts Amherst, Sarah Fakhoury Microsoft Research, Saikat Chakraborty Microsoft Research, Shuvendu K. Lahiri Microsoft Research
11:36
18m
Talk
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
Research Papers
Matteo Paltenghi University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print
11:54
18m
Talk
Abstraction-Aware Inference of Metamorphic Relations
Research Papers
Agustin Nolasco University of Rio Cuarto, Facundo Molina IMDEA Software Institute, Renzo Degiovanni Luxembourg Institute of Science and Technology, Alessandra Gorla IMDEA Software Institute, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Mike Papadakis University of Luxembourg, Sebastian Uchitel Imperial College and University of Buenos Aires, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
12:12
18m
Talk
Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning
Research Papers
Jingzhi Gong Loughborough University, Tao Chen University of Birmingham
Pre-print
11:00 - 12:30
Software Maintenance and Comprehension 2Research Papers at Pitomba
Chair(s): Denys Poshyvanyk William & Mary
11:00
18m
Talk
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis
Research Papers
Georgios-Petros Drosos ETH Zurich, Thodoris Sotiropoulos ETH Zurich, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Dimitris Mitropoulos University of Athens
DOI Pre-print
11:18
18m
Research paper
Characterizing Python Library Migrations
Research Papers
Mohayeminul Islam University of Alberta, Ajay Jha North Dakota State University, Ildar Akhmetov Northeastern University, Sarah Nadi New York University Abu Dhabi, University of Alberta
DOI Pre-print
11:36
18m
Talk
PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages
Research Papers
Kai Gao Peking University, Weiwei Xu Peking University, Wenhao Yang Peking University, Minghui Zhou Peking University
DOI Pre-print
11:54
18m
Talk
Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models
Research Papers
zejun zhang Australian National University, Zhenchang Xing CSIRO's Data61, Xiaoxue Ren Zhejiang University, Qinghua Lu Data61, CSIRO, Xiwei (Sherry) Xu Data61, CSIRO
12:12
18m
Talk
Dependency-Induced Waste in Continuous Integration: An Empirical Study of Unused Dependencies in the NPM Ecosystem
Research Papers
Nimmi Weeraddana University of Waterloo, Mahmoud Alfadel University of Waterloo, Shane McIntosh University of Waterloo
DOI Pre-print
12:30 - 14:00
12:30
90m
Lunch
Lunch
Social Events

12:30 - 14:00
FSE'25 PC MeetingSocial Events at Sapoti
Chair(s): Denys Poshyvanyk William & Mary, Dongmei Zhang Microsoft Research
12:30
90m
Meeting
FSE'25 PC Lunch
Social Events

12:30 - 14:00
12:30
90m
Lunch
LGBTQIA+ Lunch
Social Events
O: Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, O: Ronnie de Souza Santos University of Calgary
14:00 - 15:30
Empirical Studies 3Research Papers / Journal First at Acerola
Chair(s): Shane McIntosh University of Waterloo
14:00
18m
Talk
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications
Research Papers
Dhanushka Jayasuriya University of Auckland, Valerio Terragni University of Auckland, Jens Dietrich Victoria University of Wellington, Kelly Blincoe University of Auckland
14:18
18m
Talk
Analyzing the BizDev Interface in an Enterprise Context: A Case of Developers Acting in Business
Journal First
Breno de França UNICAMP, Caique Moreira Instituto de Computação - Universidade Estadual de Campinas, Tayana Conte Universidade Federal do Amazonas
Link to publication DOI File Attached
14:36
18m
Talk
Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow
Journal First
Florian Tambon Polytechnique Montréal, Amin Nikanjam École Polytechnique de Montréal, Le An Polytechnique Montreal, Foutse Khomh Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal
Link to publication DOI Authorizer link
14:54
18m
Talk
AROMA: Automatic Reproduction of Maven Artifacts
Research Papers
Mehdi Keshani Delft University of Technology, Tudor-Gabriel Velican Delft University of Technology, Gideon Bot Delft University of Technology, Sebastian Proksch Delft University of Technology
15:12
18m
Talk
An Empirical Study of Task Infections in Ansible Scripts
Journal First
Akond Rahman Auburn University, Dibyendu Brinto Bose Graduate Student, Yue Zhang Auburn University, Rahul Pandita GitHub, Inc.
Link to publication Authorizer link Pre-print
14:00 - 15:30
14:00
18m
Talk
Harnessing Neuron Stability to Improve DNN Verification
Research Papers
Hai Duong George Mason University, Dong Xu University of Virginia, ThanhVu Nguyen George Mason University, Matthew B Dwyer University of Virginia
14:18
18m
Talk
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions
Research Papers
Ying Xiao King's College London / Southern University of Science and Technology, Jie M. Zhang King's College London, Yepang Liu Southern University of Science and Technology, Mohammad Reza Mousavi King's College London, Sicen Liu Southern University of Science and Technology, Dingyuan Xue Southern University of Science and Technology
14:36
9m
Talk
Using Run-time Information to Enhance Static Analysis of Machine Learning Code in Notebooks
Ideas, Visions and Reflections
Yiran Wang Linköping University, José Antonio Hernández López Linkoping University, Ulf Nilsson Linköping University, Daniel Varro Linköping University / McGill University
Link to publication DOI
14:45
9m
Talk
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications
Ideas, Visions and Reflections
Quan Zhang Tsinghua University, Binqi Zeng Central South University, Chijin Zhou Tsinghua University, Gwihwan Go Tsinghua University, Heyuan Shi Central South University, Yu Jiang Tsinghua University
14:54
18m
Talk
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks
Journal First
Zohreh Aghababaeyan University of Ottawa, Canada, Manel Abdellatif Software and Information Technology Engineering Department, École de Technologie Supérieure, Mahboubeh Dadkhah The School of EECS, University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
15:12
9m
Talk
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Ideas, Visions and Reflections
Xi Zheng Macquarie University, Aloysius K. Mok University of Texas at Austin, Ruzica Piskac Yale University, Yong Jae Lee University of Wisconsin Madison, Bhaskar Krishnamachari University of Southern California, Dakai Zhu The University of Texas at San Antonio, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee University of Pennsylvania
15:21
9m
Talk
GAISSALabel: A tool for energy labeling of ML models
Demonstrations
Pau Duran Universitat Politècnica de Catalunya (UPC), Joel Castaño Fernández Universitat Politècnica de Catalunya (UPC), Cristina Gómez Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech
Link to publication Pre-print
14:00 - 15:30
Security and Privacy 1Ideas, Visions and Reflections / Industry Papers / Research Papers at Pitanga
Chair(s): Gias Uddin York University, Canada
14:00
18m
Talk
Investigating Documented Privacy Changes in Android OS
Research Papers
Chuan Yan University of Queensland, Mark Huasong Meng National University of Singapore, Fuman Xie University of Queensland, Guangdong Bai University of Queensland
14:18
9m
Talk
A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data
Ideas, Visions and Reflections
Issam Sedki Concordia University
14:27
9m
Talk
Personal Data-Less Personalized Software Applications
Ideas, Visions and Reflections
Sana Belguith University of Bristol, Inah Omoronyia University of Bristol, Ruzanna Chitchyan University of Bristol
14:36
18m
Talk
Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-coded Credentials
Research Papers
Yizhan Huang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Weibin Wu Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
14:54
18m
Talk
Unveil the Mystery of Critical Software Vulnerabilities
Industry Papers
Shengyi Pan Zhejiang University, Lingfeng Bao Zhejiang University, Jiayuan Zhou Huawei, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Shanping Li Zhejiang University
15:12
9m
Talk
AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting
Industry Papers
Mert Toslali IBM Research, Edward Snible IBM Research, Jing Chen IBM Research, Alan Cha IBM Research, USA, Sandeep Singh IBM, Michael Kalantar IBM Research, Srinivasan Parthasarathy IBM Research
14:00 - 15:30
Software Maintenance and Comprehension 3Research Papers / Journal First at Pitomba
Chair(s): Xin Xia Huawei Technologies
14:00
18m
Talk
Revealing Software Development Work Patterns with PR-Issue Graph Topologies
Research Papers
Cleidson de Souza Federal University of Pará, Brazil, Emilie Ma University of British Columbia, Jesse Wong University of British Columbia, Dongwook Yoon University of British Columbia, Ivan Beschastnikh University of British Columbia
14:18
18m
Talk
Using acceptance tests to predict merge conflict risk
Journal First
Thaís Rocha UFAPE - Universidade Federal do Agreste de Pernambuco, Paulo Borba Federal University of Pernambuco
Pre-print
14:36
18m
Talk
Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions
Research Papers
Tao Xiao Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Christoph Treude Singapore Management University, Kenichi Matsumoto Nara Institute of Science and Technology
Pre-print Media Attached
14:54
18m
Talk
SimLLM: Measuring Semantic Similarity in Code Summaries Using a Large Language Model-Based Approach
Research Papers
Xin Jin Meta, Zhiqiang Lin The Ohio State University
15:12
18m
Talk
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations
Research Papers
David Broneske DZHW Hannover, Germany, Sebastian Kittan Otto-von-Guericke Unviersity Magdeburg, Germany, Jacob Krüger Eindhoven University of Technology
14:00 - 15:30
15:30 - 16:00
Coffee BreakSocial Events at Foyer
15:30
30m
Coffee break
Break
Social Events

15:30 - 16:00
Poster Session 3Posters at Lounge
15:30
30m
Poster
Can GPT-4 Replicate Empirical Software Engineering Research?
Posters
Jenny T. Liang Carnegie Mellon University, Carmen Badea Microsoft Research, Christian Bird Microsoft Research, Robert DeLine Microsoft Research, Denae Ford Microsoft Research, Nicole Forsgren Microsoft Research, Thomas Zimmermann Microsoft Research
15:30
30m
Poster
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Posters
Tae Eun Kim KAIST, Jaeseung Choi Sogang University, Seongjae Im KAIST, Kihong Heo KAIST, Sang Kil Cha KAIST
Link to publication Media Attached File Attached
15:30
30m
Poster
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
Posters
Yuxi Li Huazhong University of Science and Technology, Yi Liu Nanyang Technological University, Gelei Deng Nanyang Technological University, Ying Zhang Virginia Tech, Wenjia Song Virginia Tech, Ling Shi Nanyang Technological University, Kailong Wang Huazhong University of Science and Technology, Yuekang Li The University of New South Wales, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology
15:30
30m
Poster
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion
Posters
Md Shamimur Rahman University of Saskatchewan, Canada, Zadia Codabux University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada
15:30
30m
Poster
CodePlan: Repository-level Coding using LLMs and Planning
Posters
Ramakrishna Bairi Microsoft Research, India, Atharv Sonwane Microsoft Research, India, Aditya Kanade Microsoft Research, India, Vageesh D C Microsoft Research, India, Arun Iyer Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research Indua, B. Ashok Microsoft Research. India, Shashank Shet Microsoft Research. India
15:30
30m
Poster
Understanding and Detecting Annotation-induced Faults of Static Analyzers
Posters
Huaien Zhang The Hong Kong Polytechnic University, Southern University of Science and Technology, Yu Pei The Hong Kong Polytechnic University, Shuyun Liang Southern University of Science and Technology, Shin Hwei Tan Concordia University
15:30
30m
Poster
Partial Solution Based Constraint Solving Cache in Symbolic Execution
Posters
Ziqi Shuai School of Computer, National University of Defense Technology, China, Zhenbang Chen College of Computer, National University of Defense Technology, Kelin Ma School of Computer, National University of Defense Technology, China, Kunlin Liu School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Jun Sun School of Information Systems, Singapore Management University, Singapore, Ji Wang School of Computer, National University of Defense Technology, China
15:30
30m
Poster
Characterizing Python Library Migrations
Posters
Mohayeminul Islam University of Alberta, Ajay Jha North Dakota State University, Ildar Akhmetov Northeastern University, Sarah Nadi New York University Abu Dhabi, University of Alberta
File Attached
15:30
30m
Poster
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing
Posters
Sabaat Haroon Virginia tech, Chris Brown Virginia Tech, Muhammad Ali Gulzar Virginia Tech
15:30
30m
Poster
BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection
Posters
Luan Pham RMIT University, Huong Ha RMIT University, Hongyu Zhang Chongqing University
15:30
30m
Poster
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Applications
Posters
Shuqing Li The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Jianping Zhang The Chinese University of Hong Kong, Yujia Zhang Harbin Institute of Technology, Yepang Liu Southern University of Science and Technology, Jiazhen Gu The Chinese University of Hong Kong, Yun Peng The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
15:30
30m
Poster
CORE: Resolving Code Quality Issues Using LLMs
Posters
Nalin Wadhwa Microsoft Research, India, Jui Pradhan Microsoft Research, India, Atharv Sonwane Microsoft Research, India, Surya Prakash Sahu Microsoft Research, India, Nagarajan Natarajan Microsoft Research India, Aditya Kanade Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research Indua
15:30
30m
Poster
Abstraction-Aware Inference of Metamorphic Relations
Posters
Agustin Nolasco University of Rio Cuarto, Facundo Molina IMDEA Software Institute, Renzo Degiovanni Luxembourg Institute of Science and Technology, Alessandra Gorla IMDEA Software Institute, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Mike Papadakis University of Luxembourg, Sebastian Uchitel Imperial College and University of Buenos Aires, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
15:30
30m
Poster
State Reconciliation Defects in Infrastructure as Code
Posters
Md Mahadi Hassan Auburn University, John Salvador Auburn University, Shubhra Kanti Karmaker Santu Auburn University, Akond Rahman Auburn University
16:00 - 18:00
Log Analysis and DebuggingResearch Papers / Industry Papers at Acerola
Chair(s): Domenico Bianculli University of Luxembourg
16:00
18m
Talk
Go Static: Contextualized Logging Statement Generation
Research Papers
Yichen LI The Chinese University of Hong Kong, Yintong Huo The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Michael Lyu The Chinese University of Hong Kong
16:18
18m
Talk
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing
Research Papers
Sabaat Haroon Virginia tech, Chris Brown Virginia Tech, Muhammad Ali Gulzar Virginia Tech
16:36
18m
Talk
DTD: Comprehensive and Scalable Testing for Debuggers
Research Papers
Hongyi Lu Southern University of Science and Technology/Hong Kong University of Science and Technology, Zhibo Liu The Hong Kong University of Science and Technology, Shuai Wang The Hong Kong University of Science and Technology, Fengwei Zhang Southern University of Science and Technology
16:54
9m
Talk
Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly Validation
Industry Papers
Dong Jae Kim Concordia University, Steven Locke , Tse-Hsun (Peter) Chen Concordia University, Andrei Toma ERA Environmental Management Solutions, Sarah Sajedi ERA Environmental Management Solutions, Steve Sporea , Laura Weinkam
17:03
18m
Talk
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-based Anomaly Detection Techniques
Research Papers
Max Landauer AIT Austrian Institute of Technology, Florian Skopik AIT Austrian Institute of Technology, Markus Wurzenberger AIT Austrian Institute of Technology
17:21
18m
Research paper
LILAC: Log Parsing using LLMs with Adaptive Parsing Cache
Research Papers
Zhihan Jiang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Yichen LI The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Yintong Huo The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Jiazhen Gu The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print
17:39
18m
Talk
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime StateDistinguished Paper Award
Research Papers
Haiyu Huang Sun Yat-sen University, Xiaoyu Zhang HUAWEI CLOUD COMPUTING TECHNOLOGIES CO. LTD., Pengfei Chen Sun Yat-sen University, Zilong He Sun Yat-sen University, Zhiming Chen Sun Yat-sen University, Guangba  Yu Sun Yat-sen University, Hongyang Chen Sun Yat-sen University, Chen Sun Huawei
Pre-print
16:00 - 18:00
SE4AI 2Research Papers / Industry Papers / Demonstrations / Journal First at Mandacaru
Chair(s): Wei Yang University of Texas at Dallas
16:00
18m
Talk
Natural Is The Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models
Research Papers
Yan Wang Central University of Finance and Economics, Xiaoning Li Central University of Finance and Economics, Tien N. Nguyen University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Chao Ni School of Software Technology, Zhejiang University, Ling Ding Central University of Finance and Economics
Pre-print Media Attached File Attached
16:18
18m
Talk
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software
Research Papers
Ophir Carmel The Hebrew University of Jerusalem, Guy Katz The Hebrew University of Jerusalem
16:36
9m
Talk
Decide: Knowledge-based Version Incompatibility Detection in Deep Learning Stacks
Demonstrations
Zihan Zhou The University of Hong Kong, Zhongkai Zhao National University of Singapore, Bonan Kou Purdue University, Tianyi Zhang Purdue University
DOI Pre-print Media Attached
16:45
18m
Talk
Test input prioritization for Machine Learning Classifiers
Journal First
Xueqi Dang University of Luxembourg, Yinghua LI University of Luxembourg, Mike Papadakis University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
17:03
18m
Talk
How Far Are We with Automated Machine Learning? Characterization and Challenges of AutoML Toolkits
Journal First
Md Abdullah Al Alamin University of Calgary, Gias Uddin York University, Canada
17:21
18m
Talk
Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4
Industry Papers
Xuchao Zhang Microsoft, Supriyo Ghosh Microsoft, Chetan Bansal Microsoft Research, Rujia Wang Microsoft, Minghua Ma Microsoft Research, Yu Kang Microsoft Research, Saravan Rajmohan Microsoft
17:39
18m
Talk
Exploring LLM-based Agents for Root Cause Analysis
Industry Papers
Devjeet Roy Washington State University, Xuchao Zhang Microsoft, Rashi Bhave Microsoft Research, Chetan Bansal Microsoft Research, Pedro Las-Casas Microsoft, Rodrigo Fonseca Microsoft Research, Saravan Rajmohan Microsoft
16:00 - 18:00
16:00
18m
Talk
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Journal First
Federico Formica McMaster University, Tony Fan McMaster University, Claudio Menghi University of Bergamo; McMaster University
16:18
9m
Talk
Monitoring the Execution of 14K Tests: Methods Tend to Have One Path that Is Significantly More Executed
Ideas, Visions and Reflections
Pre-print Media Attached
16:36
18m
Talk
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
Research Papers
weigang he East China Normal University / University of Technology Sydney, Peng Di Ant Group, Mengli Ming East China Normal University, Chengyu Zhang ETH Zurich, Ting Su East China Normal University, Shijie Li Ant Group, Yulei Sui UNSW
16:54
18m
Talk
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators
Research Papers
Jinyin Chen Zhejiang University of Technology, Chengyu Jia Zhejiang University of Technology, Yunjie Yan Zhejiang University of Technology, Jie Ge Zhejiang University of Technology, haibin zheng Zhejiang University of Technology, Yao Cheng TÜV SÜD Asia Pacific Pte. Ltd.
17:12
9m
Talk
ExLi : An Inline-Test Generation Tool for Java
Demonstrations
Yu Liu University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, Owolabi Legunsen Cornell University, Milos Gligoric The University of Texas at Austin
17:21
9m
Talk
ATheNA-S: a Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise
Demonstrations
Federico Formica McMaster University, Mohammad Mahdi Mahboob McMaster University, Mehrnoosh Askarpour McMaster University, Claudio Menghi University of Bergamo; McMaster University
17:30
9m
Talk
Test Polarity: Detecting Positive and Negative Tests
Ideas, Visions and Reflections
Pre-print Media Attached
17:39
18m
Talk
Java JIT Testing with Template Extraction
Research Papers
Zhiqiang Zang The University of Texas at Austin, Fu-Yao Yu The University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, August Shi The University of Texas at Austin, Milos Gligoric The University of Texas at Austin
DOI Pre-print
16:00 - 18:00
AI4SE 3Industry Papers / Demonstrations / Journal First at Pitomba
Chair(s): Maliheh Izadi Delft University of Technology
16:00
18m
Talk
Rethinking Software Engineering in the Era of Foundation Models
Industry Papers
Ahmed E. Hassan Queen’s University, Dayi Lin Centre for Software Excellence, Huawei Canada, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Keheliya Gallaba Centre for Software Excellence, Huawei Canada, Filipe Cogo Centre for Software Excellence, Huawei Canada, Boyuan Chen Centre for Software Excellence, Huawei Canada, Haoxiang Zhang Huawei, Kishanthan Thangarajah Centre for Software Excellence, Huawei Canada, Gustavo Oliva Centre for Software Excellence, Huawei Canada, Jiahuei (Justina) Lin Centre for Software Excellence, Huawei Canada, Wali Mohammad Abdullah Centre for Software Excellence, Huawei Canada, Zhen Ming (Jack) Jiang York University
16:18
18m
Talk
LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud Incidents
Industry Papers
Shizhuo Zhang University of Illinois Urbana-Champaign, Xuchao Zhang Microsoft, Chetan Bansal Microsoft Research, Pedro Las-Casas Microsoft, Rodrigo Fonseca Microsoft Research, Saravan Rajmohan Microsoft
16:36
18m
Talk
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
Industry Papers
Xinyi Wang Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Aitor Arrieta Mondragon University, Paolo Arcaini National Institute of Informatics , Maite Arratibel Orona
16:54
18m
Talk
X-lifecycle Learning for Cloud Incident Management using LLMs
Industry Papers
Drishti Goel Microsoft, Fiza Husain Microsoft, Aditya Kumar Singh Microsoft, Supriyo Ghosh Microsoft, Anjaly Parayil Microsoft, Chetan Bansal Microsoft Research, Xuchao Zhang Microsoft, Saravan Rajmohan Microsoft
Media Attached
17:12
18m
Talk
Neat: Mobile App Layout Similarity Comparison based on Graph Convolutional Networks
Industry Papers
Zhu Tao ByteDance, Yongqiang Gao ByteDance, Jiayi Qi ByteDance, Chao Peng ByteDance, China, Qinyun Wu Bytedance Ltd., Xiang Chen ByteDance, Ping Yang Bytedance Network Technology
17:30
18m
Talk
Transformers and Meta-Tokenization in Sentiment Analysis for Software Engineering
Journal First
Nathan Cassee Eindhoven University of Technology, Andrei Agaronian Eindhoven University of Technology, Eleni Constantinou University of Cyprus, Nicole Novielli University of Bari, Alexander Serebrenik Eindhoven University of Technology
17:48
9m
Talk
EM-Assist: Safe automated ExtractMethod refactoring with LLMs
Demonstrations
Dorin Pomian University of Colorado Boulder, Abhiram Bellur University of Colorado Boulder, Malinda Dilhara University of Colorado Boulder, Zarina Kurbatova JetBrains Research, Egor Bogomolov JetBrains Research, Andrey Sokolov JetBrains Research, Timofey Bryksin JetBrains Research, Danny Dig University of Colorado Boulder, JetBrains Research
Pre-print
16:00 - 18:00
FuzzingDemonstrations / Journal First / Ideas, Visions and Reflections / Research Papers / Industry Papers at Sapoti
Chair(s): Maxime Lamothe Polytechnique Montreal, Montreal, Canada
16:00
18m
Talk
Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling
Industry Papers
Jie Liang , Mingzhe Wang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, China, Jianzhong Liu ShanghaiTech University, Yu Jiang Tsinghua University
16:18
18m
Talk
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Industry Papers
Călin Georgescu Delft University of Technology, Mitchell Olsthoorn Delft University of Technology, Pouria Derakhshanfar JetBrains Research, Marat Akhin JetBrains Research, Annibale Panichella Delft University of Technology
16:36
18m
Talk
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Research Papers
Tae Eun Kim KAIST, Jaeseung Choi Sogang University, Seongjae Im KAIST, Kihong Heo KAIST, Sang Kil Cha KAIST
Pre-print Media Attached
16:54
9m
Talk
When Fuzzing Meets LLMs: Challenges and Opportunities
Ideas, Visions and Reflections
Yu Jiang Tsinghua University, Jie Liang , Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Chijin Zhou Tsinghua University, Yuheng Shen Tsinghua University, Zhiyong Wu Tsinghua University, China, Jingzhou Fu Tsinghua University, Mingzhe Wang Tsinghua University, Shanshan Li National University of Defense Technology, Quan Zhang Tsinghua University
Pre-print
17:03
9m
Talk
Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing
Ideas, Visions and Reflections
Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
17:12
9m
Talk
VinJ: An Automated Tool for Large-Scale Software Vulnerability Data Generation
Demonstrations
Yu Nong Washington State University, Haoran Yang Washington State University, Feng Chen University of Texas at Dallas, Haipeng Cai Washington State University
DOI Pre-print Media Attached
17:30
18m
Talk
The Human Side of Fuzzing: Challenges Faced by Developers During Fuzzing Activities
Journal First
Olivier Nourry Kyushu University, Yutaro Kashiwa Nara Institute of Science and Technology, Bin Lin Radboud University, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Michele Lanza Software Institute - USI, Lugano, Yasutaka Kamei Kyushu University
19:30 - 22:30
19:30
3h
Dinner
Conference Dinner + Awards
Social Events

Fri 19 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:30
Test of Time Award Runner-Up Honorable MentionPlenary Events at Plenary Hall
09:00
30m
Keynote
An empirical analysis of flaky tests
Plenary Events
Qingzhou Luo University of Illinois at Urbana-Champaign, Farah Hariri University of Illinois at Urbana-Champaign, Lamyaa Eloussi , Darko Marinov University of Illinois at Urbana-Champaign
Link to publication DOI
09:30 - 10:30
Keynote Myra CohenPlenary Events at Plenary Hall
Chair(s): Marcelo d'Amorim North Carolina State University
09:30
60m
Keynote
It’s Organic: Software Testing of Emerging Domains
Plenary Events
Myra Cohen Iowa State University
10:30 - 11:00
Coffee BreakSocial Events at Foyer
10:30
30m
Coffee break
Break
Social Events

10:30 - 11:00
Poster Session 4Posters at Lounge
10:30
30m
Poster
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications
Posters
Dhanushka Jayasuriya University of Auckland, Valerio Terragni University of Auckland, Jens Dietrich Victoria University of Wellington, Kelly Blincoe University of Auckland
10:30
30m
Poster
Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-coded Credentials
Posters
Yizhan Huang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Weibin Wu Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
10:30
30m
Poster
Natural Is The Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models
Posters
Yan Wang Central University of Finance and Economics, Xiaoning Li Central University of Finance and Economics, Tien N. Nguyen University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Chao Ni School of Software Technology, Zhejiang University, Ling Ding Central University of Finance and Economics
10:30
30m
Poster
PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages
Posters
Kai Gao Peking University, Weiwei Xu Peking University, Wenhao Yang Peking University, Minghui Zhou Peking University
10:30
30m
Poster
"The Law Doesn’t Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
Posters
Nathan Wintersgill William & Mary, Trevor Stalnaker William & Mary, Laura A. Heymann William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary
10:30
30m
Poster
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction
Posters
Gengyi Sun University of Waterloo, Sarra Habchi Ubisoft Montréal, Shane McIntosh University of Waterloo
10:30
30m
Poster
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions
Posters
Ying Xiao King's College London / Southern University of Science and Technology, Jie M. Zhang King's College London, Yepang Liu Southern University of Science and Technology, Mohammad Reza Mousavi King's College London, Sicen Liu Southern University of Science and Technology, Dingyuan Xue Southern University of Science and Technology
10:30
30m
Poster
Do Code Generation Models Think Like Us? - A Study of Attention Alignment between Large Language Models and Human Programmers
Posters
Bonan Kou Purdue University, Shengmai Chen Purdue University, Zhijie Wang University of Alberta, Lei Ma The University of Tokyo & University of Alberta, Tianyi Zhang Purdue University
10:30
30m
Poster
Dependency-Induced Waste in Continuous Integration: An Empirical Study on NPM Dependencies
Posters
Nimmi Weeraddana University of Waterloo, Mahmoud Alfadel University of Waterloo, Shane McIntosh University of Waterloo
10:30
30m
Poster
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators
Posters
Jinyin Chen Zhejiang University of Technology, Chengyu Jia Zhejiang University of Technology, Yunjie Yan Zhejiang University of Technology, Jie Ge Zhejiang University of Technology, haibin zheng Zhejiang University of Technology, Yao Cheng TÜV SÜD Asia Pacific Pte. Ltd.
10:30
30m
Poster
Investigating Documented Privacy Changes in Android OS
Posters
Chuan Yan University of Queensland, Mark Huasong Meng National University of Singapore, Fuman Xie University of Queensland, Guangdong Bai University of Queensland
10:30
30m
Poster
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
Posters
Matteo Paltenghi University of Stuttgart, Michael Pradel University of Stuttgart
10:30
30m
Poster
Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions
Posters
Tao Xiao Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Christoph Treude Singapore Management University, Kenichi Matsumoto Nara Institute of Science and Technology
10:30
30m
Poster
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis
Posters
Georgios-Petros Drosos ETH Zurich, Thodoris Sotiropoulos ETH Zurich, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Dimitris Mitropoulos University of Athens
11:00 - 12:30
Human Aspects 3Research Papers / Industry Papers at Mandacaru
Chair(s): Eduardo Santana de Almeida Federal University of Bahia
11:00
18m
Talk
Exploring Hybrid Work Realities: A Case Study with Software Professionals From Underrepresented Groups
Industry Papers
Ronnie de Souza Santos University of Calgary, Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Robson T. de Souza Santos UNINASSAU, Jorge Correia-Neto Universidade Federal Rural de Pernambuco
11:18
18m
Talk
Rocks Coding, Not Development–A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks
Research Papers
Wei Wang Beijing University of Posts and Telecommunications, Huilong Ning Beijing University of Posts and Telecommunications, Gaowei Zhang Beijing University of Posts and Telecommunications, Libo Liu School of Computing and Information Systems, University of Melbourne, Yi Wang Beijing University of Posts and Telecommunications
DOI Pre-print
11:36
18m
Talk
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
Research Papers
Ranim Khojah Chalmers | University of Gothenburg, Mazen Mohamad Chalmers | RISE - Research Institutes of Sweden, Philipp Leitner Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg
Pre-print
11:54
18m
Talk
How to Gain Commit Rights in Modern Top Open Source Communities?
Research Papers
Xin Tan Beihang University, Yan Gong Beihang University, Geyu Huang Beihang University, Haohua Wu Beihang University, Li Zhang Beihang University
DOI Pre-print
12:12
18m
Talk
How does Simulation-based Testing for Self-driving Cars match Human Perception?
Research Papers
Christian Birchler Zurich University of Applied Sciences & University of Bern, Tanzil Kombarabettu Mohammed University of Zurich, Pooja Rani University of Zurich, Teodora Nechita Zurich University of Applied Sciences, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences
11:00 - 12:30
Testing 4Research Papers / Industry Papers at Pitanga
Chair(s): Antonia Bertolino National Research Council, Italy
11:00
18m
Talk
Partial Solution Based Constraint Solving Cache in Symbolic Execution
Research Papers
Ziqi Shuai School of Computer, National University of Defense Technology, China, Zhenbang Chen College of Computer, National University of Defense Technology, Kelin Ma School of Computer, National University of Defense Technology, China, Kunlin Liu School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Jun Sun School of Information Systems, Singapore Management University, Singapore, Ji Wang School of Computer, National University of Defense Technology, China
Pre-print
11:18
18m
Talk
Natural Symbolic Execution-based Testing for Big Data Analytics
Research Papers
Yaoxuan Wu UCLA, Ahmad Humayun Virginia Tech, Muhammad Ali Gulzar Virginia Tech, Miryung Kim UCLA and Amazon Web Services
Pre-print
11:36
18m
Talk
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems
Research Papers
Xiaoyan Zhu Zhejiang Sci-Tech University, Mingyue Jiang Zhejiang Sci-Tech University, Xiao-Yi Zhang University of Science and Technology Beijing, Liming Nie Nanyang Technological University, Zuohua Ding Zhejiang Sci-Tech University
11:54
18m
Talk
Observation-based unit test generation at Meta
Industry Papers
Mark Harman Meta Platforms, Inc. and UCL, Rotem Tal Meta platforms, Alexandru Marginean Meta platforms, Eddy Wang Meta platforms, Nadia Alshahwan Meta Platforms
12:12
18m
Talk
Property-based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
Industry Papers
Jingling Sun University of Electronic Science and Technology of China, Ting Su East China Normal University, Jun Sun School of Information Systems, Singapore Management University, Singapore, Jianwen Li East China Normal University, China, Mengfei Wang ByteDance, Geguang Pu East China Normal University, China
11:00 - 12:30
AI4SE 4 Research Papers at Pitomba
Chair(s): Wesley Assunção North Carolina State University
11:00
18m
Talk
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge DistillationDistinguished Paper Award
Research Papers
Oussama Ben Sghaier DIRO, Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
11:18
18m
Talk
Learning to Detect and Localize Multilingual Bugs
Research Papers
Haoran Yang Washington State University, Yu Nong Washington State University, Tao Zhang Macau University of Science and Technology, Xiapu Luo The Hong Kong Polytechnic University, Haipeng Cai Washington State University
DOI Pre-print
11:36
18m
Talk
Mining Action Rules for Defect Reduction Planning
Research Papers
Khouloud Oueslati Polytechnique Montréal, Canada, Gabriel Laberge Polytechnique Montréal, Canada, Maxime Lamothe Polytechnique Montreal, Foutse Khomh Polytechnique Montréal
11:54
18m
Talk
Predicting Failures of Autoscaling Distributed Applications
Research Papers
Giovanni Denaro University of Milano - Bicocca, Noura El Moussa USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Rahim Heydarov USI Università della Svizzera Italiana, Francesco Lomio SIT Schaffhausen Institute of Technology, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Ketai Qiu USI Università della Svizzera Italiana
DOI Pre-print
12:12
18m
Talk
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction
Research Papers
Gengyi Sun University of Waterloo, Sarra Habchi Ubisoft Montréal, Shane McIntosh University of Waterloo
12:30 - 14:00
Diversity LunchDiversity and Inclusion at Hotel Restaurant
Chair(s): Tayana Conte Universidade Federal do Amazonas, Rashina Hoda Monash University
12:30
90m
Lunch
Diversity Lunch
Diversity and Inclusion
Tayana Conte Universidade Federal do Amazonas, Rashina Hoda Monash University
12:30 - 14:00
12:30
90m
Lunch
Lunch
Social Events

14:00 - 15:30
Security and Privacy 2Industry Papers / Research Papers at Acerola
Chair(s): Kihong Heo KAIST
14:00
18m
Talk
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
Research Papers
Simin Chen University of Texas at Dallas, XiaoNing Feng Taiyuan University of Technology, Xiaohong Han Taiyuan University of Technology, Cong Liu University of California, Riverside, Wei Yang University of Texas at Dallas
14:18
18m
Talk
Demystifying Invariant Effectiveness for Securing Smart Contracts
Research Papers
Zhiyang Chen University of Toronto, Ye Liu Nanyang Technological University, Sidi Mohamed Beillahi University of Toronto, Yi Li Nanyang Technological University, Fan Long University of Toronto
Link to publication Pre-print Media Attached
14:36
18m
Talk
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?Distinguished Paper Award
Research Papers
Kaixuan Li East China Normal University, Yue Xue Metatrust Labs, Sen Chen Tianjin University, Han Liu East China Normal University, Kairan Sun Nanyang Technological University, Ming Hu Singapore Management University, Haijun Wang Xi'an Jiaotong University, Yang Liu Nanyang Technological University, Yixiang Chen East China Normal University
Pre-print
14:54
18m
Talk
On the Contents and Utility of IoT Cybersecurity Guidelines
Research Papers
Jesse Chen University of Arizona, Dharun Anandayuvaraj Purdue University, James C. Davis Purdue University, Sazzadur Rahaman University of Arizona
DOI Pre-print
15:12
18m
Talk
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community
Industry Papers
Jing Luo Central South University, Heyuan Shi Central South University, Yongchao Zhang Alibaba, Runzhe Wang Alibaba Group, Yuheng Shen Tsinghua University, Yuao Chen Alibaba, Rongkai Liu Central South University, Xiaohai Shi Alibaba Group, Chao Hu Central South University, Yu Jiang Tsinghua University
14:00 - 15:30
Program Analysis and Performance 3Research Papers at Mandacaru
Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
14:00
18m
Talk
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-specific Code Embeddings
Research Papers
Zirui Song The Chinese University of Hong Kong, Jiongyi Chen National University of Defense Technology, Kehuan Zhang The Chinese University of Hong Kong
14:18
18m
Talk
Active Monitoring Mechanism for Control-based Self-Adaptive Systems
Research Papers
Yi Qin State Key Laboratory for Novel Software Technology, Nanjing University, Yanxiang Tong State Key Laboratory for Novel Software Technology, Nanjing University, Yifei Xu State Key Laboratory for Novel Software Technology, Nanjing University, Chun Cao State Key Laboratory for Novel Software Technology, Nanjing University, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University
14:36
18m
Talk
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs
Research Papers
Haoran Liu National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Yan Lei Chongqing University, Yue Yu National University of Defense Technology, Yu Jiang Tsinghua university, Xiaoguang Mao National University of Defense Technology, Liao Xiangke National University of Defense Technology
14:54
18m
Talk
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
Research Papers
Chengpeng Wang The Hong Kong University of Science and Technology, Jipeng Zhang The Hong Kong University of Science and Technology, Rongxin Wu School of Informatics, Xiamen University, Charles Zhang The Hong Kong University of Science and Technology
15:12
18m
Talk
Decomposing Software Verification Using Distributed Summary Synthesis
Research Papers
Dirk Beyer LMU Munich, Matthias Kettl LMU Munich, Thomas Lemberger LMU Munich
DOI Media Attached File Attached
14:00 - 15:30
Fault Diagnosis and Root Cause Analysis 2Research Papers / Industry Papers at Pitanga
Chair(s): Xi Zheng Macquarie University
14:00
18m
Talk
Illuminating the Gray Zone: Non-Intrusive Gray Failure Localization in Server Operating Systems
Industry Papers
Shenglin Zhang Nankai University, Yongxin Zhao Nankai University, Xiao Xiong Nankai University, Yongqian Sun Nankai University, Xiaohui Nie CNIC, CAS, Jiacheng Zhang Nankai University, Fenglai Wang Huawei Technologies Ltd., Xian Zheng Huawei Technologies Ltd., Yuzhi Zhang Nankai University, Dan Pei Tsinghua University
DOI File Attached
14:18
18m
Talk
Towards Better Graph Neural Network-based Fault Localization Through Enhanced Code Representation
Research Papers
Md Nakhla Rafi Concordia University, Dong Jae Kim Concordia University, An Ran Chen University of Alberta, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang Department of Computer Science, University of Manitoba, Canada
14:36
18m
Talk
Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
Industry Papers
Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Zhipeng Xue , Xing Hu Zhejiang University, Weiyi Shang University of Waterloo, Xin Xia Huawei Technologies
14:00 - 15:30
Software Maintenance and Comprehension 4Research Papers / Demonstrations / Ideas, Visions and Reflections / Industry Papers at Pitomba
Chair(s): Timo Kehrer University of Bern
14:00
18m
Talk
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization
Research Papers
Yifan Zhang Vanderbilt University, Jiliang Li Vanderbilt University, Zachary Karas Vanderbilt University, Aakash Bansal University of Notre Dame, Toby Jia-Jun Li University of Notre Dame, Collin McMillan University of Notre Dame, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
14:18
18m
Talk
Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code Using Deep Neural Networks
Research Papers
Tarek Alakmeh University of Zurich, David Reich University of Potsdam, Lena Jäger University of Zurich, Thomas Fritz University of Zurich
DOI Pre-print
14:36
18m
Talk
R2I: A Relative Readability Metric for Decompiled Code
Research Papers
Haeun Eom Sungkyunkwan University, Dohee Kim Sungkyunkwan University, Sori Lim Sungkyunkwan University, Hyungjoon Koo Sungkyunkwan University, Sungjae Hwang Sungkyunkwan University
14:54
9m
Talk
CognitIDE: An IDE Plugin for Mapping Physiological Measurements to Source Code
Demonstrations
Fabian Stolp Hasso Plattner Institute, University of Potsdam, Malte Stellmacher Hasso Plattner Institute, University of Potsdam, Bert Arnrich Hasso Plattner Institute, University of Potsdam
Link to publication DOI Media Attached
15:03
9m
Talk
The lion, the ecologist and the plankton: a classification of species in multi-bot ecosystems
Ideas, Visions and Reflections
Dimitrios Platis Neat, Linda Erlenhov Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg
Link to publication
15:12
18m
Talk
S.C.A.L.E: a CO2-aware Scheduler for OpenShift at ING
Industry Papers
Jurriaan Den Toonder TU Delft & ING, Paul Braakman ING, Thomas Durieux TU Delft
14:00 - 15:30
PanelDiversity and Inclusion at Sapoti
Chair(s): Tayana Conte Universidade Federal do Amazonas, Rashina Hoda Monash University
14:00
90m
Panel
Diversity and Inclusion Panel
Diversity and Inclusion
P: Bianca Trinkenreich Colorado State University, P: Letizia Jaccheri Norwegian University of Science and Technology (NTNU)
15:30 - 16:00
Coffee BreakSocial Events at Foyer
15:30
30m
Coffee break
Break
Social Events

15:30 - 16:00
Poster Session 5Posters at Lounge
15:30
30m
Poster
Predicting Failures of Autoscaling Distributed Applications
Posters
Giovanni Denaro University of Milano - Bicocca, Noura El Moussa USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Rahim Heydarov USI Università della Svizzera Italiana, Francesco Lomio SIT Schaffhausen Institute of Technology, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Ketai Qiu USI Università della Svizzera Italiana
15:30
30m
Poster
On the Contents and Utility of IoT Cybersecurity Guidelines
Posters
Jesse Chen University of Arizona, Dharun Anandayuvaraj Purdue University, James C. Davis Purdue University, Sazzadur Rahaman University of Arizona
15:30
30m
Poster
Demystifying Invariant Effectiveness for Securing Smart Contracts
Posters
Zhiyang Chen University of Toronto, Ye Liu Nanyang Technological University, Sidi Mohamed Beillahi University of Toronto, Yi Li Nanyang Technological University, Fan Long University of Toronto
15:30
30m
Poster
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation
Posters
Oussama Ben Sghaier DIRO, Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
15:30
30m
Poster
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Posters
Kaixuan Li East China Normal University, Yue Xue Metatrust Labs, Sen Chen Tianjin University, Han Liu East China Normal University, Kairan Sun Nanyang Technological University, Ming Hu Singapore Management University, Haijun Wang Xi'an Jiaotong University, Yang Liu Nanyang Technological University, Yixiang Chen East China Normal University
15:30
30m
Poster
Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code Using Deep Neural Networks
Posters
Tarek Alakmeh University of Zurich, David Reich University of Potsdam, Lena Jäger University of Zurich, Thomas Fritz University of Zurich
15:30
30m
Poster
Decomposing Software Verification Using Distributed Summary Synthesis
Posters
Dirk Beyer LMU Munich, Thomas Lemberger LMU Munich, Matthias Kettl LMU Munich
DOI Pre-print
15:30
30m
Poster
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization
Posters
Yifan Zhang Vanderbilt University, Jiliang Li Vanderbilt University, Zachary Karas Vanderbilt University, Aakash Bansal University of Notre Dame, Toby Jia-Jun Li University of Notre Dame, Collin McMillan University of Notre Dame, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
15:30
30m
Poster
Mining Action Rules for Defect Reduction Planning
Posters
Khouloud Oueslati Polytechnique Montréal, Canada, Gabriel Laberge Polytechnique Montréal, Canada, Maxime Lamothe Polytechnique Montreal, Foutse Khomh Polytechnique Montréal
15:30
30m
Poster
How does Simulation-based Testing for Self-driving Cars match Human Perception?
Posters
Christian Birchler Zurich University of Applied Sciences & University of Bern, Tanzil Kombarabettu Mohammed University of Zurich, Pooja Rani University of Zurich, Teodora Nechita Zurich University of Applied Sciences, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences
15:30
30m
Poster
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
Posters
Ranim Khojah Chalmers | University of Gothenburg, Mazen Mohamad Chalmers | RISE - Research Institutes of Sweden, Philipp Leitner Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg
16:00 - 17:00
Closing SessionPlenary Events at Plenary Hall
16:00
60m
Day closing
Conference Closing, SRC awards, and FSE'25 Kick-off
Plenary Events
David Lo Singapore Management University, Lin Tan Purdue University, Tianyi Zhang Purdue University, Yang Liu Nanyang Technological University, Marcelo d'Amorim North Carolina State University, Leopoldo Teixeira Federal University of Pernambuco, Jingyue Li Norwegian University of Science and Technology (NTNU), Leonardo Montecchi Norwegian University of Science and Technology (NTNU)