ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Morning Session IGAS at Amadeo de Souza-Cardoso
Chair(s): Joan Arnedo Moreno

Welcome, Morning Keynote, and Research Paper Presentations on Topics in Automation

09:00
5m
Other
Welcome
GAS

09:05
45m
Keynote
Carlos Cetina, Professor with San Jorge University, presents Harnessing video game simulations: an opportunity to generate content and locate bugs
GAS

09:50
20m
Research paper
A Behavior-driven Development and Reinforcement Learning approach for videogame automated testing
GAS
P: Vincent Mastain , A: Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec
10:10
20m
Research paper
Handling Interfaces for the Procedural Generation of Complete Buildings
GAS
P: Damian Kutzias , A: Sebastian von Mammen Games Engineering, Julius-Maximilians-Universität Würzburg
09:00 - 10:30
KeynoteFTW at Amália Rodrigues
Chair(s): Martin Gruber BMW Group, University of Passau
09:00
90m
Keynote
Keynote
FTW
K: Darko Marinov University of Illinois at Urbana-Champaign
09:00 - 10:30
Opening and KeynoteFormaliSE at Eugénio de Andrade
Chair(s): Antónia Lopes University of Lisbon
09:00
10m
Day opening
Opening
FormaliSE

09:10
80m
Keynote
FormalISE: Reflections on Formal and Informal Methods in Software Engineering
FormaliSE
Cristian Cadar Imperial College London
09:00 - 10:30
Day 1 Opening Session / Keynote 1CHASE Full Papers / CHASE Journal-First at Fernando Pessoa
Chair(s): Birgit Penzenstadler Chalmers
09:00
10m
Day opening
Day 1 Opening
CHASE Full Papers
P: Daniel Graziotin University of Hohenheim
09:10
60m
Keynote
A Journey Into the Emotions of Software Developers
CHASE Full Papers
K: Nicole Novielli University of Bari
10:10
20m
Paper
Ethics in the Age of AI: An Analysis of AI Practitioners’ Awareness and ChallengesJournal-First
CHASE Journal-First
Aastha Pant Monash University, Rashina Hoda Monash University, Simone Spiegler Monash University, Kla Tantithamthavorn Monash University, Burak Turhan University of Oulu
09:00 - 10:30
Opening + Keynote 1SBFT at Glicínia Quartin
Chair(s): Alessio Gambi IMC University of Applied Sciences Krems
09:00
30m
Day opening
Introduction
SBFT
Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Vincenzo Riccio University of Udine
09:30
60m
Keynote
The Power of Fuzzing and Large Language Models
SBFT
Caroline Lemieux University of British Columbia
09:00 - 10:30
SESoS Opening & Keynote SpeakerSESoS at Lopes Graça
Chair(s): Antonia Bertolino National Research Council, Italy
09:00
30m
Day opening
SESoS Opening
SESoS
Francesca Lonetti CNR-ISTI, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
09:30
60m
Keynote
Collaboration or, wait -- diversity at large scale: How inclusive developers can engineer software for diverse end-users
SESoS
Daniela Damian University of Victoria
09:00 - 10:30
FORGE2024 Opening / Keynote 1 / PanelFORGE Keynotes / FORGE Panel at Luis de Freitas Branco
Chair(s): Xin Xia Huawei Technologies, Xing Hu Zhejiang University
09:00
10m
Day opening
Introduction from The Chairs
FORGE Keynotes

09:10
40m
Keynote
Keynote 1: Large Language Models for Test Case Repair
FORGE Keynotes
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
09:50
40m
Panel
Theme: Is There Space for Software Engineering Researchers to Contribute to AI4SE in The Era of Foundation Models?
FORGE Panel
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Denys Poshyvanyk William & Mary, Prem Devanbu University of California at Davis, Massimiliano Di Penta University of Sannio, Italy, David Lo Singapore Management University
09:00 - 10:30
Keynote 1SATrends at Maria Helena Vieira da Silva
Chair(s): Davide Taibi University of Oulu and Tampere University
09:00
90m
Keynote
Keynote 1: Matrushka and the spider - or the challenge to connect architectural knowledge across boundaries
SATrends
K: Remco de Boer ArchiXL & Vrije Universiteit (VU) Amsterdam
09:00 - 10:30
Opening and KeynoteCAIN Research and Experience Papers at Pequeno Auditório
Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute
09:00
30m
Day opening
Opening
CAIN Research and Experience Papers

09:30
60m
Keynote
Keynote by Pedro Bizarro - To have great machine learning models in production in harsh environments, first focus on the harsh environments
CAIN Research and Experience Papers

09:00 - 10:30
Opening sessionTechDebt Plenary at Vianna da Motta
Chair(s): Zadia Codabux University of Saskatchewan, Canada, Matthias Galster University of Canterbury, Rodrigo Spinola Virginia Commonwealth University

Voting for all presentations (except keynotes and invited talks): https://docs.google.com/forms/d/e/1FAIpQLSes4USLU1cav7r3gXoEkbAoCOQ9S2clhuXoAIBmkF3D1_U6aQ/viewform

09:00
15m
Day opening
Conference opening
TechDebt Plenary
P: Zadia Codabux University of Saskatchewan, Canada, P: Rodrigo Spinola Virginia Commonwealth University, G: Matthias Galster University of Canterbury
09:15
60m
Keynote
Keynote 1: Technical Debt: Are we human or are we dancer(s)?
TechDebt Plenary
K: Alexander Chatzigeorgiou University of Macedonia
10:15
15m
Keynote
Keynote Q&A
TechDebt Plenary
S: Zadia Codabux University of Saskatchewan, Canada, S: Rodrigo Spinola Virginia Commonwealth University
10:30 - 11:00
Coffee BreakCatering at Open Space
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Morning Session IIGAS at Amadeo de Souza-Cardoso
Chair(s): Dayi Lin Centre for Software Excellence, Huawei Canada

Research Paper Presentations on Topics in Testing and SQA

11:00
20m
Research paper
How to Measure Game Testing: a Survey of Coverage Metrics
GAS
Riccardo Coppola Politecnico di Torino, Tommaso Fulcini Politecnico di Torino, Serenella Manzi , Francesco Strada
11:20
20m
Research paper
From Boring to Boarding: Transforming Refactoring Education with Game-Based Learning
GAS
A: Wajdi Aljedaani University of North Texas, P: Anwar Ghammam , A: Mohamed Wiem Mkaouer University of Michigan - Flint, A: Marouane Kessentini University of Michigan - Flint
11:40
20m
Research paper
Improving Bug Reproduction through Game Engine State Analysis
GAS
P: Carlos Pinto , A: Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec
12:00
15m
Research paper
Super Mario in the Pernicious Kingdoms Classifying glitches in old games
GAS
11:00 - 12:30
Mitigating Flaky Failures in CIFTW at Amália Rodrigues
Chair(s): Tim A. D. Henderson Google
11:00
30m
Paper
Presubmit Rescue: Automatically Ignoring FlakyTest Executions
FTW
A: Minh Hoang Google, A: Adrian Berding
11:30
30m
Paper
Regression Test History Data for Flaky Test Research
FTW
A: Philipp Wendler , A: Stefan Winter Ulm University and LMU Munich
File Attached
12:00
30m
Paper
Predicting the Lifetime of Flaky Tests on Chrome
FTW
A: Samaneh Malmir Concordia University, A: Peter Rigby Concordia University; Meta
11:00 - 12:30
Automata and applicationsFormaliSE at Eugénio de Andrade
Chair(s): Domenico Bianculli University of Luxembourg
11:00
30m
Talk
Contract Automata: A Specification Language for Mode-Based Systems
FormaliSE
Alexander Weigl Karlsruhe Institute for Technology, Joshua Bachmeier FZI Forschungszentrum Informatik, Bernhard Beckert Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology
11:30
30m
Talk
Finite Automata synthesis from Interactions
FormaliSE
Erwan Mahe Université Paris-Saclay, CEA, List, Boutheina Bannour Université Paris-Saclay, CEA, List, Christophe Gaston Université Paris-Saclay, CEA, List, Arnault Lapitre Université Paris-Saclay, CEA, List, Pascale Le Gall CentraleSupelec
12:00
30m
Talk
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
FormaliSE
Olivier Zeyen University of Luxembourg, SnT, Maxime Cordy University of Luxembourg, Luxembourg, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France
11:00 - 12:30
Decision-making and selection processes in software developmentCHASE Full Papers at Fernando Pessoa
Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
11:00
20m
Full-paper
“How do people decide?”: A Model for Software Library SelectionFull Paper
CHASE Full Papers
Minaoar Hossain Tanzil University of Calgary, Canada, Gias Uddin York University, Canada, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary
DOI Pre-print
11:20
20m
Full-paper
The Roles, Responsibilities, and Skills of Engineers in the Era of Microservices-Based ArchitecturesFull Paper
CHASE Full Papers
Hamdy Michael Ayas Chalmers | University of Gothenburg, Regina Hebig Chalmers University of Technology & University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg
11:40
20m
Full-paper
Identification of human values from goal modelsFull Paper
CHASE Full Papers
Tahira Iqbal University of Tartu, Kuldar Taveter University of Tartu, Estonia, Tarmo Strenze , Waqar Hussain Monash University, Omar Haggag Monash University, Australia, John Alphonsus Matthews , Anu Piirisild
12:00
20m
Full-paper
From the Inside Out: Organizational Impact on Open-Source Communities and Contributor DiversityFull Paper
CHASE Full Papers
Hana Frluckaj , Huilian Sophie Qiu Northwestern University, Bogdan Vasilescu Carnegie Mellon University, Laura Dabbish Carnegie Mellon University
11:00 - 12:30
Keynote 2 + Research Track 1SBFT at Glicínia Quartin
Chair(s): Vincenzo Riccio University of Udine
11:00
60m
Keynote
Beyond the Class: A look into current trends in software testing education
SBFT
Anna Rita Fasolino Federico II University of Naples
12:00
15m
Paper
Automated Boundary Identification for Machine Learning Classifiers
SBFT
Felix Dobslaw Mid Sweden University, Robert Feldt Chalmers University of Technology, Sweden
12:15
15m
Talk
Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding
SBFT
Timo Blattner University of Bern, Christian Birchler Zurich University of Applied Sciences & University of Bern, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences
11:00 - 12:30
Technical Session 1: Systems-of-Systems & Ecosystems: EngineeringSESoS at Lopes Graça
Chair(s): Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro
11:00
20m
Paper
Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers
SESoS
Jialong Li Waseda University, Japan, Wallace Manzano University of São Paulo, Takuto Yamauchi , Elisa Yumi Nakagawa University of São Paulo, Nobuhiro Matsuyama Waseda University, Kenji Tei Waseda University
11:20
10m
Short-paper
Towards Model-Driven Dashboard Generation for Systems-of-Systems
SESoS
Maria Teresa Rossi University of Milano Bicocca, Italy, Alessandro Tundo TU Wien (TUW), Vienna, Austria, Leonardo Mariani University of Milano-Bicocca
11:30
20m
Paper
Sandboxing Adoption in Open Source Ecosystems
SESoS
Maysara Alhindi University of Bristol, Joseph Hallett University of Bristol
11:50
20m
Paper
Mediators in Systems-of-Systems and Ecosystems: A Systematic Literature Review and Conceptualization
SESoS
Jakob Axelsson Mälardalen University
12:10
20m
Paper
Towards Automatic Generation of Systems-of-Systems Architectural Configurations
SESoS
Marcos Vinicius de Freitas Borges Federal Institute of Maranhão, Wallace Manzano University of São Paulo, Lincoln Rocha Federal University of Ceará, Paulo Maia State University of Ceará, Elisa Yumi Nakagawa University of São Paulo
11:00 - 12:30
Foundation Models for Software Quality AssuranceFORGE Research Track at Luis de Freitas Branco
Chair(s): Matteo Ciniselli Università della Svizzera Italiana
11:00
14m
Full-paper
Deep Multiple Assertions GenerationFull Paper
FORGE Research Track
Hailong Wang Zhejiang University, Tongtong Xu Huawei, Bei Wang Huawei
11:14
14m
Full-paper
MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented GenerationFull Paper
FORGE Research Track
Guanyu Wang Beijing University of Posts and Telecommunications, Yuekang Li The University of New South Wales, Yi Liu Nanyang Technological University, Gelei Deng Nanyang Technological University, Li Tianlin Nanyang Technological University, Guosheng Xu Beijing University of Posts and Telecommunications, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology, Kailong Wang Huazhong University of Science and Technology
11:28
14m
Full-paper
Planning to Guide LLM for Code Coverage PredictionFull Paper
FORGE Research Track
Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
11:42
7m
Short-paper
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-BenchmarksNew Idea Paper
FORGE Research Track
Ashwin Prasad Shivarpatna Venkatesh University of Paderborn, Samkutty Sabu University of Paderborn, Amir Mir Delft University of Technology, Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, Eric Bodden
11:49
14m
Full-paper
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language ModelsFull Paper
FORGE Research Track
Jiahui Wu Simula Research Laboratory and University of Oslo, Chengjie Lu Simula Research Laboratory and University of Oslo, Aitor Arrieta Mondragon University, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
12:03
7m
Short-paper
Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance CasesNew Idea Paper
FORGE Research Track
Kimya Khakzad Shahandashti York University, Mithila Sivakumar York University, Mohammad Mahdi Mohajer York University, Alvine Boaye Belle York University, Song Wang York University, Timothy Lethbridge University of Ottawa
12:10
20m
Other
Discussion
FORGE Research Track

11:00 - 12:30
Software Architecture and InfrastructureSATrends at Maria Helena Vieira da Silva
Chair(s): Patricia Lago Vrije Universiteit Amsterdam
11:00
15m
Talk
On the need to merge architectural and infrastructural considerations
SATrends
A: Vasilios Andrikopoulos University of Groningen, A: Elisabetta Di Nitto Politecnico di Milano
11:15
15m
Talk
Self-sustaining Software Systems (S4): Towards Improved Interpretability and Adaptation
SATrends
A: Christian Cabrera Department of Computer Science and Technology, Univesity of Cambridge, A: Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, A: Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge
11:30
15m
Talk
Modular Monolith: Is This the Trend in Software Architecture?
SATrends
P: Ruoyu Su University of Oulu, A: Xiaozhou Li University of Oulu
11:45
45m
Talk
Working Session on new trends on software architecture
SATrends

11:00 - 12:30
Architecting, Designing, Managing, and Modeling AI-Enabled SystemsCAIN Industry Talks / CAIN Research and Experience Papers at Pequeno Auditório
Chair(s): Nicolás Cardozo Universidad de los Andes
11:00
10m
Talk
A Taxonomy of Foundation Model based Systems through the Lens of Software Architecture
CAIN Research and Experience Papers
Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Xiwei (Sherry) Xu Data61, CSIRO, Yue Liu CSIRO's Data61 & University of New South Wales, Zhenchang Xing CSIRO's Data61, Jon Whittle CSIRO's Data61 and Monash University
11:10
15m
Talk
Investigating the Impact of Solid Design Principles on Machine Learning Code UnderstandingDistinguished paper AwardDistinguished paper Award Candidate
CAIN Research and Experience Papers
Raphael Cabral Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Hugo Villamizar Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Tatiana Escovedo Pontifical Catholic University of Rio de Janeiro, Helio Côrtes Vieira Lopes PUC-Rio
Pre-print
11:25
10m
Industry talk
KnowING Intelligent Document Classification: A Deep Dive into Microservices and Efficient Models at ING
CAIN Industry Talks
A: Andrew Rutherfoord CWI; University of Groningen, A: Gert Vermeer , Andrea Capiluppi Brunel University
11:35
15m
Talk
An Exploratory Study of V-Model in Building ML-Enabled Software: A Systems Engineering PerspectiveDistinguished paper Award Candidate
CAIN Research and Experience Papers
Jie JW Wu University of British Columbia (UBC)
Pre-print
11:50
10m
Industry talk
Engineering Challenges in Industrial AI
CAIN Industry Talks
12:00
10m
Talk
Approach for Argumenting Safety on Basis of an Operational Design Domain
CAIN Research and Experience Papers
Gereon Weiss Fraunhofer IKS, Marc Zeller Siemens AG, Hannes Schoenhaar Siemens Corporate Technology, Christian Drabek Fraunhofer Institute for Cognitive Systems IKS, Andreas Kreutz Fraunhofer Institute for Cognitive Systems IKS
12:10
15m
Talk
The Impact of Knowledge Distillation on the Performance and Energy Consumption of NLP Models
CAIN Research and Experience Papers
Ye Yuan Vrije Universiteit Amsterdam, Jiacheng Shi Vrije Universiteit Amsterdam, Zongyao Zhang Vrije Universiteit Amsterdam, Kaiwei Chen Vrije Universiteit Amsterdam, Eloise Zhang Vrije Universiteit Amsterdam, Vincenzo Stoico Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam
11:00 - 12:30
Technical papersTechDebt Industry track / TechDebt Technical papers at Vianna da Motta
Chair(s): Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad
11:00
20m
Research paper
What you See is What you Get: Exploring the Relation between Code Aesthetics and TD Interest
TechDebt Technical papers
Theodoros Maikantis University of Macedonia, Iliana Natsiou University of Macedonia, Apostolos Ampatzoglou University of Macedonia, Alexander Chatzigeorgiou University of Macedonia, Stelios Xinogalos , Nikolaos Mittas International Hellenic University
11:20
5m
Live Q&A
Q&A
TechDebt Technical papers

11:25
20m
Research paper
Exploring Process Debt in Large-Scale Agile Software Development For Secure Telecom Solutions
TechDebt Technical papers
Hina Saeeda , Muhammad Ovais Ahmad Karlstad University, Tomas Gustavsson Karlstad University
11:45
5m
Live Q&A
Q&A
TechDebt Industry track

11:50
20m
Research paper
Increasing, not Diminishing: Investigating the Returns of Highly Maintainable Code
TechDebt Technical papers
Markus Borg CodeScene, Ilyana Pruvost , Enys Mones CodeScene, Adam Tornhill Codescene AB
Pre-print
12:10
5m
Live Q&A
Q&A
TechDebt Industry track

12:15
10m
Research paper
Different Debt: An Addition to the Technical Debt Dataset and a Demonstration Using Developer Personality
TechDebt Technical papers
Lorenz Graf-Vlachy University of Stuttgart, Stefan Wagner Technical University of Munich
Pre-print
12:25
5m
Live Q&A
Q&A
TechDebt Technical papers

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Debugging Flaky Tests in Different DomainsFTW at Amália Rodrigues
Chair(s): Owain Parry The University of Sheffield
14:00
30m
Paper
On the Impact of Hitting System Resource Limits on Test Flakiness
FTW
A: Fabian Leinen Technical University of Munich, A: Alexander Perathoner Technical University of Munich, A: Alexander Pretschner TU Munich
Pre-print Media Attached
14:30
30m
Paper
Flaky Tests in the AI Domain
FTW
A: Péter Attila Soha Department of Software Engineering, University of Szeged, A: Béla Vancsics , A: Tamás Gergely Department of Software Engineering, University of Szeged, A: Árpád Beszédes Department of Software Engineering, University of Szeged
15:00
30m
Paper
Can ChatGPT Repair Non-Order-Dependent Tests?
FTW
A: Yang Chen University of Illinois at Urbana-Champaign, A: Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
14:00 - 15:30
Timed behavior specification and verificationFormaliSE at Eugénio de Andrade
Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon
14:00
30m
Talk
Diagnosing Violations of Time-based Properties Captured in iCFTL
FormaliSE
Cristina Stratan University of Luxembourg, Joshua Heneage Dawes University of Luxembourg, Domenico Bianculli University of Luxembourg
14:30
30m
Talk
Time for Networks: Mutation Testing for Timed Automata Networks
FormaliSE
David Cortés Universidad del Valle, James Ortiz Université de Namur, Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Jesus Aranda Universidad del Valle, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens Université de Namur
15:00
30m
Talk
Verifying Opacity of Discrete-Timed Automata
FormaliSE
Julian Klein Technische Universität Berlin, Paul Kogel Technische Universität Berlin, Sabine Glesner Technische Universität Berlin
14:00 - 15:30
AI adoption and hybrid - recent trends in SECHASE Full Papers / CHASE Short Papers / CHASE Journal-First at Fernando Pessoa
Chair(s): Giuseppe Destefanis Brunel University London
14:00
10m
Short-paper
Challenges with Teamwork Quality and the Relationship to Project Success in Large-Scale Agile ProjectsShort Paper
CHASE Short Papers
Torgeir Dingsøyr Norwegian University of Science and Technology and SimulaMet, Phillip Schneider , Gunnar Rye Bergersen University of Oslo, Yngve Lindsjørn
Pre-print
14:10
20m
Full-paper
Hybrid Work meets Agile Software Development: A Systematic Mapping StudyFull Paper
CHASE Full Papers
Dron Khanna Free University of Bozen-Bolzano, Emily Laue Christensen IT University of Copenhagen, Saagarika Gosu Free University of Bozen-Bolzano, Xiaofeng Wang Free University of Bozen-Bolzano, Maria Paasivaara LUT University, Finland & Aalto University, Finland
Pre-print
14:30
20m
Full-paper
Post-Pandemic Hybrid Work in Software Companies: Findings from an Industrial Case StudyFull Paper
CHASE Full Papers
Pre-print
14:50
20m
Paper
Navigating the Complexity of Generative AI Adoption in Software EngineeringJournal-First
CHASE Journal-First
Daniel Russo Department of Computer Science, Aalborg University
14:00 - 15:30
Research Track 2 + Tutorial 1SBFT at Glicínia Quartin
Chair(s): Gunel Jahangirova King's College London
14:00
15m
Paper
Generator-based Fuzzing with Input Features
SBFT
Roman Kraus Fraunhofer FOKUS, Hoang Lam Nguyen Humboldt-Universität zu Berlin, Martin A. Schneider Fraunhofer FOKUS
14:15
15m
Paper
Syntest-JavaScript- Automated Unit-Level Test Case Generation for JavaScript
SBFT
Mitchell Olsthoorn Delft University of Technology, Dimitri Stallenberg Delft University of Technology, Annibale Panichella Delft University of Technology
14:30
30m
Tutorial
Fuzz Testing for Security (Part I)
SBFT
Thorsten Holz CISPA Helmholtz Center for Information Security
15:00
30m
Tutorial
SoKotHban: A King-of-the-Hill-style Search Optimisation Competition (Part II)
SBFT
Addison Crump CISPA Helmholtz Center for Information Security
14:00 - 15:30
Technical Session 2: Systems-of-Systems & Ecosystems: ApplicationsSESoS at Lopes Graça
Chair(s): Maria Teresa Rossi University of Milano Bicocca, Italy
14:00
20m
Paper
Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems
SESoS
Theodore Chambers University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Innsbruck
Pre-print
14:20
20m
Paper
Exploring Transparency as a Sustainability Goal in Software Ecosystems
SESoS
Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Patricia Lago Vrije Universiteit Amsterdam
14:40
10m
Short-paper
Exploring Trust Black-Swan Blindness in Social Internet of Vehicles (SIoV)
SESoS
Hind Bangui Masaryk University, Barbora Buhnova Masaryk University, Dasa Kusnirakova Masaryk University
14:50
10m
Short-paper
On an Exemplar Supporting Model-based Quality Assurance Research on Healthcare Systems-of-Systems
SESoS
Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg, Florian Ruehs Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers BTU Cottbus Senftenberg
15:00
10m
Short-paper
A Multilevel Modelling Framework for Quarry Site Operations
SESoS
Abdulkarim Habbab Volvo Construction Equipment, Anas Fattouh Mälardalen University, Bobbie Frank Volvo Construction Equipment, Elianne Lindmark Volvo Construction Equipment, Koteshwar Chirumalla Mälardalen University, Markus Bohlin Mälardalen University
14:00 - 15:30
Keynote 2 & Properties of Foundation ModelsFORGE Research Track / FORGE Keynotes at Luis de Freitas Branco
Chair(s): David Lo Singapore Management University, Feifei Niu University of Ottawa
14:00
40m
Keynote
Keynote 2: Towards an Interpretable Science of Deep Learning for Software Engineering: A Causal Inference View
FORGE Keynotes
Denys Poshyvanyk William & Mary
14:40
14m
Full-paper
Exploring the Impact of the Output Format on the Evaluation of Large Language Models for Code TranslationFull Paper
FORGE Research Track
Marcos Macedo Queen's University, Kingston, Ontario, Yuan Tian Queen's University, Kingston, Ontario, Filipe Cogo Centre for Software Excellence, Huawei Canada, Bram Adams Queen's University
Pre-print
14:54
7m
Short-paper
Is Attention All You Need? Toward a Conceptual Model for Social Awareness in Large Language ModelsNew Idea Paper
FORGE Research Track
Gianmario Voria University of Salerno, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno
Pre-print
15:01
14m
Full-paper
An Exploratory Investigation into Code License Infringements in Large Language Model Training DatasetsFull Paper
FORGE Research Track
Jonathan Katzy Delft University of Technology, Răzvan Mihai Popescu Delft University of Technology, Arie van Deursen Delft University of Technology, Maliheh Izadi Delft University of Technology
15:15
15m
Other
Discussion
FORGE Research Track

14:00 - 15:30
Organizational Structure SATrends at Maria Helena Vieira da Silva
Chair(s): Luciano Baresi Politecnico di Milano
14:00
15m
Talk
Understanding the Causes of Microservice Logical Coupling: an Exploratory Study
SATrends
P: Dario Amoroso d'Aragona Tampere University, A: Xiaozhou Li University of Oulu, A: Andrea Janes Free University of Bozen-Bolzano
14:15
15m
Talk
A Framework for Microservice Organizational Structure Optimization
SATrends
P: Xiaozhou Li University of Oulu, A: Michele Albano Aalborg University
14:30
60m
Talk
Working Session on Organizational Structure
SATrends
P: Remco de Boer ArchiXL & Vrije Universiteit (VU) Amsterdam
14:00 - 15:30
Data Engineering and Management for AI-Enabled SystemsCAIN Research and Experience Papers / CAIN Industry Talks at Pequeno Auditório
Chair(s): Marc Zeller Siemens AG
14:00
15m
Talk
What About the Data? A Mapping Study on Data Engineering for AI Systems
CAIN Research and Experience Papers
Petra Heck Fontys University of Applied Sciences
Pre-print
14:15
15m
Talk
Unmasking Data Secrets: An Empirical Investigation into Data Smells and Their Impact on Data Quality
CAIN Research and Experience Papers
Gilberto Recupito University of Salerno, Raimondo Rapacciuolo University of Salerno, Dario Di Nucci University of Salerno, Fabio Palomba University of Salerno
14:30
15m
Talk
An Exploratory Study of Dataset and Model Management in Open Source Machine Learning ApplicationsDistinguished paper Award Candidate
CAIN Research and Experience Papers
Tajkia Rahman Toma University of Alberta, Cor-Paul Bezemer University of Alberta
14:45
10m
Talk
DVC in Open Source AI-development: The Action and the Reaction
CAIN Research and Experience Papers
Lorena Barreto Simedo Pacheco Concordia University, Musfiqur Rahman Concordia University, Fazle Rabbi Concordia University, Pouya Fathollahzadeh Queen’s University, Ahmad Abdellatif University of Calgary, Emad Shihab Concordia University, Tse-Hsun (Peter) Chen Concordia University, Jinqiu Yang Concordia University, Ying Zou Queen's University, Kingston, Ontario
14:55
10m
Industry talk
Structuring the world of unstructured text data – Balancing business requirements, training data availability, and model performance.
CAIN Industry Talks
15:05
10m
Industry talk
Invited: Artificial Intelligence Projects, a quest between meaningful use cases, data, and unfulfilled desires.
CAIN Industry Talks
A: Andreas Jedlitschka Fraunhofer IESE
15:15
15m
Live Q&A
Data : Q&A Session
CAIN Research and Experience Papers

14:00 - 15:30
14:00
5m
ERF introduction
TechDebt Emerging Researchers' Forum
S: Tushar Sharma Dalhousie University
14:05
15m
Research paper
Towards a Technical Debt for Recommender System
TechDebt Emerging Researchers' Forum
Sergio Moreschini Tampere University, Valentina Lenarduzzi University of Oulu, Ludovik Coba Roku Inc
14:20
10m
Live Q&A
Q&A
TechDebt Emerging Researchers' Forum
S: Tushar Sharma Dalhousie University
14:30
25m
Panel
Panel
TechDebt Emerging Researchers' Forum
S: Tushar Sharma Dalhousie University, P: Nicolás E. Díaz Ferreyra Hamburg University of Technology, P: Thomas Durieux TU Delft, P: Alexander Chatzigeorgiou University of Macedonia
14:55
5m
Industry talk
Industry track introduction
TechDebt Industry track
15:00
20m
Industry talk
AI-based consolidation of text modules
TechDebt Industry track
P: Robert Weidinger Versicherungskammer Bayern
15:20
10m
Live Q&A
Q&A
TechDebt Industry track

15:30 - 16:00
Coffee BreakCatering at Open Space
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Afternoon Session IVGAS at Amadeo de Souza-Cardoso
Chair(s): Kendra Cooper Independent

Panel with Q & A and Closing Remarks

16:00
75m
Panel
Emerging Advanced Technologies for Games and Software Engineering
GAS

17:15
15m
Other
Closing Remarks
GAS

16:00 - 17:30
Discussion PanelFTW at Amália Rodrigues
Chair(s): Phil McMinn University of Sheffield
16:00
90m
Panel
Discussion Panel
FTW
P: Jonathan Bell Northeastern University, P: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, P: Mark Harman Meta Platforms, Inc. and UCL, P: Darko Marinov University of Illinois at Urbana-Champaign, P: Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity
16:00 - 17:30
Formal methods for cyber-physical systems and requirements engineeringFormaliSE at Eugénio de Andrade
Chair(s): Cristian Cadar Imperial College London
16:00
30m
Talk
Automated Repair of Violated Eventually Properties in Concurrent Programs
FormaliSE
Irman Faqrizal Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Quentin Nivon Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Gwen Salaün University of Grenoble Alpes
16:30
30m
Talk
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
FormaliSE
Raniah Alghamdi University of Waterloo and King Abdulaziz University, Richard Trefler University of Waterloo
17:00
30m
Talk
Formal Methods in Requirements Engineering: Survey and Future Directions
FormaliSE
Robert Lorch GE Research, Baoluo Meng GE Research, Kit Siu GE Research, Abha Moitra General Electric Research, Michael Durling GE Research, Saswata Paul GE Research, Sarat Chandra Varanasi GE Research, Craig McMillan GE Aerospace
16:00 - 17:30
User experience and software documentation / ClosingCHASE Full Papers / CHASE Journal-First / CHASE Short Papers at Fernando Pessoa
Chair(s): Silvia Abrahão Universitat Politècnica de València
16:00
10m
Short-paper
UX Debt: Developers Borrow While Users PayShort Paper
CHASE Short Papers
Sebastian Baltes University of Bayreuth, Veronika Dashuber QAware GmbH
Pre-print
16:10
10m
Short-paper
Development of Data-driven Persona Including User Behavior and Pain Point through Clustering with User Log of B2B SoftwareShort Paper
CHASE Short Papers
Rie Sera , Hironori Washizaki Waseda University, Junyan Chen , Yoshiaki Fukazawa Waseda University, Masahiro Taga , Kazuyuki Nakagawa , Yusuke Sakai , Kiyoshi Honda Osaka Institute of Technology
16:20
10m
Short-paper
Why People Contribute Software DocumentationShort Paper
CHASE Short Papers
Deeksha M. Arya McGill University, Jin L.C. Guo McGill University, Martin P. Robillard McGill University
Pre-print
16:30
20m
Paper
Enablers and Barriers of Empathy in Software Developer and User Interactions: A Mixed Methods Case StudyJournal-First
CHASE Journal-First
Hashini Gunatilake , John Grundy Monash University, Rashina Hoda Monash University, ingo Mueller Monash University
Link to publication DOI Pre-print
16:50
10m
Day closing
Day 1 Closing Remarks
CHASE Full Papers

16:00 - 17:30
Tool Competitions 1SBFT at Glicínia Quartin
Chair(s): Ali Mohammed Al-Ameen Mohammed Zurich University of Applied Sciences (ZHAW), Christian Birchler Zurich University of Applied Sciences & University of Bern, José Campos University of Porto, Portugal, Huaming Chen The University of Sydney, Pouria Derakhshanfar JetBrains Research, Nicolas Erni , Rahul Gopinath University of Sydney, Philipp Görz , Stephan Lukasczyk University of Passau, Sebastiano Panichella Zurich University of Applied Sciences, Joschua Schilling , Valerio Terragni University of Auckland, Xi Wu The University of Sydney
16:00
30m
Other
Fuzzing Tool Competition
SBFT
Rahul Gopinath University of Sydney, Joschua Schilling , Philipp Görz , Xi Wu The University of Sydney, Huaming Chen The University of Sydney
16:30
30m
Other
Java Tool Competition
SBFT
José Campos University of Porto, Portugal, Valerio Terragni University of Auckland
17:00
30m
Other
Python Tool Competition
SBFT
Sebastiano Panichella Zurich University of Applied Sciences, Stephan Lukasczyk University of Passau, Pouria Derakhshanfar JetBrains Research, Christian Birchler Zurich University of Applied Sciences & University of Bern, Nicolas Erni
16:00 - 17:30
Keynote Speaker II & Closing and AwardsSESoS at Lopes Graça
Chair(s): Francesca Lonetti CNR-ISTI
16:00
60m
Keynote
Towards Data- and AI-Centricity
SESoS
Jan Bosch Chalmers University of Technology
17:00
30m
Day closing
Closing and Awards
SESoS
Francesca Lonetti CNR-ISTI, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
16:00 - 17:30
FORGE2024 Awards & Foundation Models for Code and Documentation GenerationFORGE Research Track at Luis de Freitas Branco
Chair(s): Antonio Mastropaolo Università della Svizzera italiana
16:00
10m
Awards
Award Ceremony
FORGE Research Track

16:10
7m
Short-paper
Fine Tuning Large Language Model for Secure Code GenerationNew Idea Paper
FORGE Research Track
Junjie Li Concordia University, Aseem Sangalay Delhi Technological University, Cheng Cheng Concordia University, Yuan Tian Queen's University, Kingston, Ontario, Jinqiu Yang Concordia University
16:17
14m
Full-paper
Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case StudyFull Paper
FORGE Research Track
Tim van Dam Delft University of Technology, Frank van der Heijden Delft University of Technology, Philippe de Bekker Delft University of Technology, Berend Nieuwschepen Delft University of Technology, Marc Otten Delft University of Technology, Maliheh Izadi Delft University of Technology
16:31
7m
Short-paper
On Evaluating the Efficiency of Source Code Generated by LLMsNew Idea Paper
FORGE Research Track
Changan Niu Software Institute, Nanjing University, Ting Zhang Singapore Management University, Chuanyi Li Nanjing University, Bin Luo Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
16:38
14m
Full-paper
PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4Full Paper
FORGE Research Track
Seif Abukhalaf Polytechnique Montreal, Mohammad Hamdaqa Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal
16:52
7m
Short-paper
Creative and Correct: Requesting Diverse Code Solutions from AI Foundation ModelsNew Idea Paper
FORGE Research Track
Scott Blyth Monash University, Christoph Treude Singapore Management University, Markus Wagner Monash University, Australia
16:59
7m
Short-paper
Commit Message Generation via ChatGPT: How Far Are We?New Idea Paper
FORGE Research Track
Yifan Wu Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Siyu Yu The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen)
17:06
24m
Other
Discussion
FORGE Research Track

16:00 - 17:30
Keynote 2SATrends at Maria Helena Vieira da Silva
Chair(s): Henry Muccini University of L'Aquila, Italy
16:00
90m
Keynote
Keynote 2: Playing with Abstractions: Can LLMs be Architects New Best Friend?
SATrends
Henry Muccini University of L'Aquila, Italy, K: Karthik Vaidhyanathan IIIT Hyderabad
16:00 - 18:00
Generative AI EngineeringCAIN Industry Talks / CAIN Research and Experience Papers at Pequeno Auditório
Chair(s): Ipek Ozkaya Carnegie Mellon University
16:00
15m
Talk
Developer Experiences with a Contextualized AI Coding Assistant: Usability, Expectations, and Outcomes
CAIN Research and Experience Papers
Gustavo Pinto Federal University of Pará (UFPA) and Zup Innovation, Cleidson de Souza Federal University of Pará, Brazil, Thayssa Rocha Zup Innovation & UFPA, Igor Steinmacher Northern Arizona University, Alberto de Souza Zup Innovation, Edward Monteiro StackSpot
16:15
10m
Talk
Privacy and Copyright Protection in Generative AI: A Lifecycle Perspective
CAIN Research and Experience Papers
Dawen (David) Zhang CSIRO's Data61, Boming Xia CSIRO's Data61 & University of New South Wales, Yue Liu CSIRO's Data61 & University of New South Wales, Xiwei (Sherry) Xu Data61, CSIRO, Thong Hoang CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Mark Staples CSIRO, Australia, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61
16:25
10m
Industry talk
Innovating Translation: Lessons Learned from BWX Generative Language Engine
CAIN Industry Talks
Vanilson Burégio Bureau Works, A: Iverson Pereira Bureau Works, Henrique Cabral
16:35
15m
Talk
Towards a Responsible AI Metrics Catalogue: A Collection of Metrics for AI AccountabilityDistinguished paper Award Candidate
CAIN Research and Experience Papers
Boming Xia CSIRO's Data61 & University of New South Wales, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61, Sung Une (Sunny) Lee CSIRO's Data61, Yue Liu CSIRO's Data61 & University of New South Wales, Zhenchang Xing CSIRO's Data61
Pre-print
16:50
10m
Live Q&A
GenAI : Q&A
CAIN Research and Experience Papers

17:00
60m
Panel
Industry Panel
CAIN Industry Talks

16:00 - 17:30
Industry sessionTechDebt Industry track at Vianna da Motta
Chair(s): Florian Deissenboeck CQSE GmbH
16:00
20m
Industry talk
OutSystems AI Mentor System - Technical Debt Dashboard
TechDebt Industry track
P: Alexandre Lemos OutSystems, P: Joana Coutinho
16:20
10m
Live Q&A
Q&A
TechDebt Industry track

16:30
20m
Industry talk
Don't Fight but Embrace TechDebts
TechDebt Industry track
P: Dirk Kröhan QAware GmbH
16:50
10m
Live Q&A
Q&A
TechDebt Industry track

17:00
20m
Industry talk
The Hidden Cost: Technical Debt and Its Ambiguous Influence on UX
TechDebt Industry track
Veronika Dashuber QAware GmbH
17:20
10m
Live Q&A
Q&A
TechDebt Industry track

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Developing secure softwareEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): Awais Rashid University of Bristol, UK
09:00
5m
Day opening
Wokshop opening
EnCyCriS/SVM
W: Coralie Esnoul Institute For Energy Technology (IFE)
09:05
45m
Keynote
Keynote: If you build it, they (probably) won’t come
EnCyCriS/SVM
K: Adam Joinson School of Management University of Bath
09:50
20m
Full-paper
WasmCFuzz: Structure-aware Fuzzing for Wasm Compilers
EnCyCriS/SVM
A: Xiangwei Zhang College of Intelligence and Computing, Tianjin University, A: Junjie Wang College of Intelligence and Computing, Tianjin University, A: Xiaoning Du Monash University, Australia, A: Shuang Liu Tianjin University
10:10
20m
Full-paper
Mitigating Security Issues in GitHub Actions
EnCyCriS/SVM
A: Hassan Onsori Delicheh University of Mons, Belgium, A: Tom Mens University of Mons
09:00 - 10:30
Conference Opening & KeynoteAST at Amália Rodrigues
Chair(s): Francesca Lonetti CNR-ISTI, Mehrdad Saadatmand RISE Research Institutes of Sweden
09:00
30m
Other
Chairs Welcome
AST
Christof J. Budnik Siemens Corporation, Corporate Technology, Jenny Li Kean University, USA, Mehrdad Saadatmand RISE Research Institutes of Sweden
09:30
60m
Keynote
Exploring the landscape: Software Testing in the AI Era
AST
Media Attached File Attached
09:00 - 10:30
09:00
90m
Keynote
Automated Testing and Maintenance of Mobile Applications: Are We There Yet?
MOBILESoft Research Track
K: Mattia Fazzini University of Minnesota
09:00 - 10:30
Session 1RoSE at Cottinelli Telmo
Chair(s): Ivano Malavolta Vrije Universiteit Amsterdam

Welcome to RoSE ’24

Keynote: “Seeing the forest instead of the trees: Assessing context of use for robotics software engineering methods and tools.” Ingo Luetkebohle

Energy Efficiency of ROS Nodes in Different Languages: Publisher/Subscriber Case Studies. Michel Albonico, Paulo Júnior Varela, Adair José Rohling and Andreas Wortmann

09:00 - 10:30
Early Morning SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
09:00
20m
Paper
An Empirical Comparison of Code Generation Approaches for Ansible
InteNSE
Benjamin Darnell University of California, Santa Barbara, Hetarth Chopra University of Illinois at Urbana-Champaign, Aaron Councilman Univ of Illinois Urbana-Champaign, David Grove IBM Research, Vikram S. Adve University of Illinois at Urbana-Champaign, USA
09:20
70m
Keynote
Towards an Interpretable Science of Deep Learning for Software Engineering: A Causal Inference View
InteNSE
Denys Poshyvanyk William & Mary
09:00 - 10:30
KeynoteFormaliSE at Eugénio de Andrade
Chair(s): Carlo A. Furia Università della Svizzera italiana (USI)
09:00
90m
Keynote
Two-way collaboration between flow and proof in SPARKBA
FormaliSE
Claire Dross AdaCore
09:00 - 10:30
Day 2 Opening Session with Awards / Keynote 2CHASE Full Papers at Fernando Pessoa
Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
09:00
15m
Day opening
Day 2 Opening with Awards
CHASE Full Papers
P: Daniel Graziotin University of Hohenheim
09:15
60m
Keynote
The Surprising Implications of Realism for Human Factors Research
CHASE Full Papers
K: Paul Ralph Dalhousie University
09:00 - 10:30
Opening Day 2 + Keynote 3SBFT at Glicínia Quartin
Chair(s): Alessio Gambi IMC University of Applied Sciences Krems
09:00
30m
Day opening
Introduction
SBFT
Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Vincenzo Riccio University of Udine
09:30
60m
Keynote
Search-based Testing and Analysis for Block-Based Learners’ Programs
SBFT
Gordon Fraser University of Passau
09:00 - 10:30
Opening, Keynote, Design ExplorationDesigning at Lopes Graça
Chair(s): Yuanfang Cai Drexel University
09:00
10m
Day opening
Opening
Designing

09:10
60m
Keynote
Evolving System Design While Tracking Live Pitches and Players For Thousands of Games!
Designing
10:10
10m
Talk
Design Spaces and How Software Designers Use Them: a sampler
Designing
Mary Shaw Carnegie Mellon University, Marian Petre School of Computing and Communications, The Open University, UK
10:20
10m
Talk
The Architect in the Maze: On the Effective Usage of Automated Design Exploration
Designing
Andres Diaz Pace UNICEN University, David Garlan Carnegie Mellon University
10:30
10m
Talk
Challenges in Creating Effective Automated Design Environments: an experience report from the domain of generative manufacturing
Designing
David Garlan Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA, Javier Camara University of Málaga, Rebekka Wohlrab Chalmers University of Technology
09:00 - 10:30
Session1: Opening + Keynote by Alessandra RussoSEAMS Research Track at Luis de Freitas Branco
09:00
30m
Talk
SEAMS 2024 Opening
SEAMS Research Track

09:30
60m
Keynote
Keynote: Advances on Symbolic Machine Learning and Recent Applications to Software Engineering
SEAMS Research Track
Alessandra Russo Imperial College London
09:00 - 10:30
Opening & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Cristian Cadar Imperial College London
09:00
30m
Day opening
Opening Remarks
KLEE
Cristian Cadar Imperial College London
09:30
46m
Keynote
Software Complexity, Path Complexity, and Branch Selectivity
KLEE
Tevfik Bultan University of California at Santa Barbara
09:00 - 10:30
Keynote and PostersCAIN Posters / CAIN Research and Experience Papers at Pequeno Auditório
Chair(s): Jan Bosch Chalmers University of Technology, Henry Muccini University of L'Aquila, Italy
09:00
3m
Talk
A Domain Specific Language for Specification of Risk-oriented Object Detection Requirements
CAIN Posters
Junji Hashimoto GREE, Inc., Nobukazu Yoshioka Waseda University
09:03
3m
Talk
AI Security Continuum: Concept and Challenges
CAIN Posters
Hironori Washizaki Waseda University, Nobukazu Yoshioka Waseda University
09:06
3m
Talk
A Roadmap for Enriching Jupyter Notebooks Documentation with Kaggle Data
CAIN Posters
Mojtaba Mostafavi Department of Computer Engineering of Sharif University of Technology, Hamed Jahantigh Department of Computer Engineering of Sharif University of Technology, Alireza Asadi Department of Computer Engineering of Sharif University of Technology, Sepehr Kianian Department of Computer Engineering of Sharif University of Technology, Ashkan Khademian Department of Computer Engineering of Sharif University of Technology, Abbas Heydarnoori Bowling Green State University
09:09
3m
Talk
Automating Patch Set Generation from Code Reviews Using Large Language Models
CAIN Posters
Md Tajmilur Rahman Gannon University
09:12
3m
Talk
Data Selection Driven by Item Difficulty: On Investigating Data Efficient Practice for Hyperparameter Search
CAIN Posters
Gustavo Rodrigues dos Reis NAVER LABS Europe/LIG - UGA, Adrian Mos NAVER LABS Europe, Mario Cortes Cornax LIG - UGA, Cyril Labbé LIG - UGA
09:15
3m
Talk
Beyond Syntax: Unleashing the Power of Computational Notebooks Code Metrics in Documentation Generation
CAIN Posters
Mojtaba Mostafavi Department of Computer Engineering of Sharif University of Technology, Ashkan Khademian Department of Computer Engineering of Sharif University of Technology, Sepehr Kianian Department of Computer Engineering of Sharif University of Technology, Alireza Asadi Department of Computer Engineering of Sharif University of Technology, Hamed Jahantigh Department of Computer Engineering of Sharif University of Technology, Abbas Heydarnoori Bowling Green State University
09:18
3m
Talk
Can causality accelerate experimentation in software systems?
CAIN Posters
Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, Han-Bo Li Department of Computer Science and Technology, University of Cambridge, Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge
09:21
3m
Talk
Custom Developer GPT for Ethical AI Solutions
CAIN Posters
Lauren Olson Vrije Universiteit Amsterdam
Pre-print
09:24
3m
Talk
Evaluation of The Generality of Multi-view Modeling Framework for ML Systems
CAIN Posters
Jati H. Husen Waseda University, Japan, Jomphon Runpakprakun Waseda University, Japan, Sun Chang Waseda University, Japan, Hironori Washizaki Waseda University, Hnin Thandar Tun Waseda University, Japan, Nobukazu Yoshioka Waseda University, Japan, Yoshiaki Fukazawa Waseda University
09:27
3m
Talk
Prompt Smells: An Omen for Undesirable Generative AI Outputs
CAIN Posters
Krishna Ronanki University Of Gothenburg, Beatriz Cabrero-Daniel University of Gothenburg, Christian Berger Chalmers University of Technology, Sweden
09:30
3m
Talk
Taxonomy of Generative AI Applications for Risk Assessment
CAIN Posters
Hiroshi Tanaka Fujitsu Limited, Tokyo, Japan, Masaru Ide Fujitsu Limited, Jun Yajima Fujitsu Limited, Sachiko Onodera Fujitsu Limited, Kazuki Munakata Fujitsu Limited, Tokyo, Japan, Nobukazu Yoshioka Waseda University, Japan
09:35
55m
Keynote
Keynote by Christian Kästner - From Models to Systems: On the Role of Software Engineering for Machine Learning
CAIN Research and Experience Papers
Christian Kästner Carnegie Mellon University
09:00 - 10:30
Opening + Awards + Keynote / ICPC Keynotes at Sophia de Mello Breyner Andresen
Chair(s): Igor Steinmacher Northern Arizona University, Mario Linares-Vasquez Universidad de los Andes, Olga Baysal Carleton University, Kevin Moran University of Central Florida
09:00
15m
Talk
Opening SessionICPCICPC Opening Session
ICPC Opening

09:15
15m
Awards
ICPC 2024 AwardsICPC AwardsICPC
ICPC Opening

09:30
60m
Talk
Keynote 1: Program Comprehension in the Era of Large Language Models: Achievements and ChallengesICPCICPC Keynote
ICPC Keynotes
Gabriele Bavota Software Institute @ Università della Svizzera Italiana
09:00 - 10:30
Technical papers and networkingTechDebt Plenary / TechDebt Technical papers at Vianna da Motta
Chair(s): Marek Stochel Motorola Solutions
09:00
10m
Research paper
Debt Stories: Capturing Social and Technical Debt in the Industry
TechDebt Technical papers
Nicolas Riquet University of Namur, Xavier Devroey University of Namur, Benoît Vanderose University of Namur
DOI Pre-print
09:10
5m
Live Q&A
Q&A
TechDebt Technical papers

09:15
5m
Research paper
Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case
TechDebt Technical papers
Mikel Robredo University of Oulu, Nyyti Saarimäki Tampere University, Rafael Peñaloza , Davide Taibi University of Oulu and Tampere University , Valentina Lenarduzzi University of Oulu
09:20
5m
Live Q&A
Q&A
TechDebt Technical papers

09:25
5m
Talk
A Design of an Empirical Survey to Investigate Technical Debt in Blockchain Based Projects (talk and poster only)
TechDebt Technical papers
P: Andrej Katin , P: Nebojša Taušan INFORA Research Group doo, P: Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad, P: Miroslav Stefanović University of Novi Sad, P: Sonja Ristić University of Novi Sad
09:30
5m
Live Q&A
Q&A
TechDebt Technical papers

09:35
20m
Talk
Technical Debt Management (invited talk)
TechDebt Plenary
P: Paris Avgeriou University of Groningen, The Netherlands
09:55
5m
Live Q&A
Q&A (invited talk)
TechDebt Plenary

10:00
30m
Poster
Posters and networking
TechDebt Plenary
S: Tim Menzies North Carolina State University, S: Daniel Feitosa University of Groningen, P: Markus Borg CodeScene, P: Mikel Robredo University of Oulu, P: Nyyti Saarimäki Tampere University, P: Rafael Peñaloza , P: Davide Taibi University of Oulu and Tampere University , P: Valentina Lenarduzzi University of Oulu, P: Andrej Katin , P: Nebojša Taušan INFORA Research Group doo, P: Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad, P: Miroslav Stefanović University of Novi Sad, P: Sonja Ristić University of Novi Sad, S: Joost Visser Leiden University
10:30 - 11:00
Coffee BreakCatering at Open Space
10:30
30m
Coffee break
Break
Catering

10:30 - 11:00
Coffee for MSR newcomersMSR Social Events at Open Space (reserved area)
Chair(s): Federica Sarro University College London, Alexander Serebrenik Eindhoven University of Technology
10:30
30m
Coffee break
Coffee for MSR newcomers
MSR Social Events
Federica Sarro University College London, Alexander Serebrenik Eindhoven University of Technology
11:00 - 12:30
Ecosystems, Reuse and APIs & TutorialsMSR Data and Tool Showcase Track / MSR Technical Papers / MSR Tutorials at Almada Negreiros
Chair(s): Mahmoud Alfadel University of Waterloo, Ayushi Rastogi University of Groningen, The Netherlands
11:00
12m
Talk
Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems
MSR Technical Papers
Gwenyth Lincroft Northeastern University, Minsung Cho Northeastern University, Mahsa Bazzaz Northeastern University, Katherine Hough Northeastern University, Jonathan Bell Northeastern University
Pre-print Media Attached
11:12
12m
Talk
Boosting API Misuse Detection via Integrating API Constraints from Multiple Sources
MSR Technical Papers
Can Li Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Zhuhang Li Nanjing University of Aeronautics and Astronautics, Tianyue Sun Nanjing University of Aeronautics and Astronautics
11:24
6m
Talk
Availability and Usage of Platform-Specific APIs: A First Empirical Study
MSR Technical Papers
Pre-print Media Attached File Attached
11:30
4m
Talk
AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependency Analysis
MSR Data and Tool Showcase Track
Jordan Samhi CISPA Helmholtz Center for Information Security, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
11:34
4m
Talk
Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph
MSR Data and Tool Showcase Track
Damien Jaime Sorbonne Université - Lip6 - SAP, Joyce El Haddad Paris Dauphine-PSL Université, CNRS, LAMSADE, Pascal Poizat Université Paris Nanterre & LIP6
Pre-print File Attached
11:38
4m
Talk
Dataset: Copy-based Reuse in Open Source Software
MSR Data and Tool Showcase Track
Mahmoud Jahanshahi Research Assistant, University of Tennessee Knoxville, Audris Mockus The University of Tennessee & Vilnius University
Pre-print
11:45
45m
Talk
Mining Our Way Back to Incremental Builds for DevOps Pipelines
MSR Tutorials
Shane McIntosh University of Waterloo
Pre-print
11:00 - 12:30
11:00
12m
Talk
Enhancing Performance Bug Prediction Using Performance Code Metrics
MSR Technical Papers
Guoliang Zhao Computer Science of Queen's University, Stefanos Georgio , Safwat Hassan University of Toronto, Canada, Ying Zou Queen's University, Kingston, Ontario, Derek Truong IBM Canada, Toby Corbin IBM UK
11:12
12m
Talk
CrashJS: A NodeJS Benchmark for Automated Crash Reproduction
MSR Technical Papers
Philip Oliver Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington
11:24
12m
Talk
An Empirical Study on Just-in-time Conformal Defect Prediction
MSR Technical Papers
Xhulja Shahini paluno - University of Duisburg-Essen, Andreas Metzger University of Duisburg-Essen, Klaus Pohl
11:36
12m
Talk
Fine-Grained Just-In-Time Defect Prediction at the Block Level in Infrastructure-as-Code (IaC)
MSR Technical Papers
Mahi Begoug , Moataz Chouchen ETS, Ali Ouni ETS Montreal, University of Quebec, Eman Abdullah AlOmar Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint
11:48
4m
Talk
TrickyBugs: A Dataset of Corner-case Bugs in Plausible Programs
MSR Data and Tool Showcase Track
Kaibo Liu Peking University, Yudong Han Peking University, Yiyang Liu Peking University, Zhenpeng Chen Nanyang Technological University, Jie M. Zhang King's College London, Federica Sarro University College London, Gang Huang Peking University, Yun Ma Peking University
11:52
4m
Talk
GitBugs-Java: A Reproducible Java Benchmark of Recent Bugs
MSR Data and Tool Showcase Track
André Silva KTH Royal Institute of Technology, Nuno Saavedra INESC-ID and IST, University of Lisbon, Martin Monperrus KTH Royal Institute of Technology
11:56
4m
Talk
A Dataset of Partial Program Fixes
MSR Data and Tool Showcase Track
Dirk Beyer LMU Munich, Lars Grunske Humboldt-Universität zu Berlin, Matthias Kettl LMU Munich, Marian Lingsch-Rosenfeld LMU Munich, Moeketsi Raselimo Humboldt-Universität zu Berlin
12:00
4m
Talk
BugsPHP: A dataset for Automated Program Repair in PHP
MSR Data and Tool Showcase Track
K.D. Pramod University of Moratuwa, Sri Lanka, W.T.N. De Silva University of Moratuwa, Sri Lanka, W.U.K. Thabrew University of Moratuwa, Sri Lanka, Ridwan Salihin Shariffdeen National University of Singapore, Sandareka Wickramanayake University of Moratuwa, Sri Lanka
Pre-print
12:04
4m
Talk
AW4C: A Commit-Aware C Dataset for Actionable Warning Identification
MSR Data and Tool Showcase Track
Zhipeng Liu , Meng Yan Chongqing University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Dong Li , Xiaohong Zhang Chongqing University, Dan Yang Chongqing University
12:08
5m
Talk
Predicting the Impact of Crashes Across Release Channels
MSR Industry Track
Suhaib Mujahid Mozilla, Diego Costa Concordia University, Canada, Marco Castelluccio Mozilla
12:13
5m
Talk
Zero Shot Learning based Alternatives for Class Imbalanced Learning Problem in Enterprise Software Defect Analysis
MSR Industry Track
Sangameshwar Patil Dept. of CSE, IIT Madras and TRDDC, TCS, B Ravindran IITM
11:00 - 12:30
Developing secure software and Industrial ChallengesEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): Awais Rashid University of Bristol, UK, John Eidar Simensen IFE
11:00
20m
Full-paper
Trust in Software Supply Chains: Blockchain-Enabled SBOM and the AIBOM Future
EnCyCriS/SVM
A: Boming Xia CSIRO's Data61 & University of New South Wales, A: Dawen (David) Zhang CSIRO's Data61, A: Yue Liu , A: Qinghua Lu Data61, CSIRO, A: Zhenchang Xing CSIRO’s Data61; Australian National University, A: Liming Zhu CSIRO’s Data61
11:20
20m
Full-paper
Interplay of Digital Twins and Cyber Deception: Unraveling Paths for Technological Advancements
EnCyCriS/SVM
A: Jessica Heluany Norwegian University of Science and Technology NTNU, A: Ahmed Amro Norwegian University of Science and Technology NTNU, A: Vasileios Gkioulos NTNU, A: Sokratis Katsikas Norwegian University of Science and Technology (NTNU)
11:40
45m
Keynote
Keynote: Current threats and challenges for securing OT/IoT systems
EnCyCriS/SVM
K: Léonard Keat Advens
11:00 - 12:30
Session 1: Test CoverageAST at Amália Rodrigues
Chair(s): Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur
11:00
20m
Full-paper
Mutation Coverage is not Strongly Correlated with Mutation Coverage
AST
Samia Alblwi New Jersey Institute of Technology, Dr. AMANI AYAD Kean University, USA, Ali Mili NJIT
11:20
20m
Full-paper
Running a Red Light: An Investigation into Why Software Engineers (Occasionally) Ignore Coverage Checks
AST
Alexander Sterk Delft University of Technology, Mairieli Wessel Radboud University, Eli Hooten Sentry.io, Andy Zaidman Delft University of Technology
DOI Pre-print
11:40
20m
Full-paper
Coverage-based Strategies for the Automated Synthesis of Test Scenarios for Conversational Agents
AST
Pablo C Canizares Autonomous University of Madrid, Spain, Daniel Ávila Autonomous University of Madrid, Sara Perez-Soler Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
12:00
20m
Full-paper
WallMauer: Robust Code Coverage Instrumentation for Android Apps
AST
Michael Auer University of Passau, Iván Arcuschin Moreno University of Buenos Aires, Argentina, Gordon Fraser University of Passau
11:00 - 12:30
11:00
22m
Full-paper
A Study on the Battery Usage of Deep Learning Frameworks on iOS DevicesFull Paper
MOBILESoft Research Track
Vitor Jacques Universidade Federal de Pernambuco, Negar Alizadeh Universiteit Utrecht, Fernando Castor University of Twente and Federal University of Pernambuco, Vitor Jacques Universidade Federal de Pernambuco
11:22
22m
Full-paper
An Empirical Study on the Impact of CSS Prefixes on the Energy Consumption and Performance of Mobile Web AppsFull Paper
MOBILESoft Research Track
Andrei Bogdan Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam
11:45
22m
Full-paper
An Empirical Evaluation of the Energy Consumption of Using Web Push APIs in Mobile Web Apps - The Case of TelegramFull Paper
MOBILESoft Research Track
Yu Chen Vrije Universiteit Amsterdam, The Netherlands, Jinhai Liao , Shutong Cai Vrije Universiteit Amsterdam, The Netherlands, Yiming Zhao Vrije Universiteit Amsterdam, The Netherlands, Yichen Tong Vrije Universiteit Amsterdam, The Netherlands, Ishas Kulkarni Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam
12:07
22m
Full-paper
How have iOS Development Technologies Changed over Time? A Study in Open-SourceFull Paper
MOBILESoft Research Track
Luciano Baresi Politecnico di Milano, Massimiliano Di Penta University of Sannio, Italy, Giovanni Quattrocchi Politecnico di Milano, Damian Andrew Tamburri Jheronimus Academy of Data Science
11:00 - 12:30
Session 2RoSE at Cottinelli Telmo
Chair(s): Andreas Angerer XITASO GmbH IT & Software Solutions

Scenarios for Trust Management in Swarm Robotics. Daniel Vojnar, Adela Bierska and Barbora Buhnova

RoMaViD: Learning Robotic Manipulation from Video Demonstrations. Abhinav Upadhyay, Alpana Dubey and Shubhashis Sengupta

Systematic Testing of a ROS Interface Specification Backend. Johannes Mey, Ariel Podlubne, René Schöne, Paul Gottschaldt, Diana Goehringer and Uwe Assmann

Contextual visualizations for debugging collaborative robots. Emil Stubbe Kolvig-Raun, Miguel Campusano and Thor Malmby Jørgin

11:00 - 12:30
Late Morning SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
11:00
70m
Keynote
Assured LLM-Based Software Engineering
InteNSE
Mark Harman Meta Platforms, Inc. and UCL
12:10
20m
Paper
An Exploratory Study on How Non-Determinism in Large Language Models Affects Log Parsing
InteNSE
Merve Astekin Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School
11:00 - 12:30
Theorem proving and applicationsFormaliSE at Eugénio de Andrade
Chair(s): Claire Dross AdaCore
11:00
30m
Talk
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
FormaliSE
Louis Gauthier Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List
11:30
30m
Talk
Formally Verified Interval Arithmetic and Its Application to Program Verification
FormaliSE
Achim D. Brucker University of Exeter, Teddy Cameron-Burke University of Exeter, Amy Stell University of Exeter
12:00
30m
Talk
Towards Verifiable Multi-Agent Interaction Pattern Specification
FormaliSE
Alberto Tagliaferro Politecnico di Milano, Italy, Livia Lestingi DEIB, Politecnico di Milano, Matteo Rossi Politecnico di Milano
11:00 - 12:30
Learning and Innovation in Software EngineeringCHASE Full Papers / CHASE Short Papers at Fernando Pessoa
Chair(s): Alexander Nolte Eindhoven University of Technology
11:00
45m
Panel
The future of CHASE in the age of AI
CHASE Full Papers
P: Nicole Novielli University of Bari, P: Paul Ralph Dalhousie University, P: Rashina Hoda Monash University, P: Daniel Russo Department of Computer Science, Aalborg University
11:45
10m
Short-paper
Learning From Lessons Learned: Preliminary Findings From a Study of Learning From FailureShort Paper
CHASE Short Papers
Jonathan Sillito Brigham Young University, Matt Pope Brigham Young University
11:55
10m
Short-paper
Can participation in a hackathon impact the motivation of software engineering students? A preliminary case study analysisShort Paper
CHASE Short Papers
Allysson Allex Araújo Federal University of Cariri, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari
DOI Pre-print
12:05
20m
Full-paper
An Exploratory Study of Programmers' Analogical Reasoning and Software History Usage During Code Re-PurposingFull Paper
CHASE Full Papers
John Allen Washington University in St. Louis, Caitlin Kelleher Washington University in St. Louis
11:00 - 12:30
PanelSBFT at Glicínia Quartin
Chair(s): Gunel Jahangirova King's College London
11:00
90m
Panel
SBFT vs Generative AI
SBFT
Caroline Lemieux University of British Columbia, Aldeida Aleti Monash University, Andreas Zeller CISPA Helmholtz Center for Information Security, Jie M. Zhang King's College London, Annibale Panichella Delft University of Technology, Paolo Arcaini National Institute of Informatics
11:00 - 12:30
Design Exploration, EducationDesigning at Lopes Graça
Chair(s): Andre van der Hoek University of California, Irvine
11:00
10m
Talk
Teaching Software Architecture Design - Building Intuition
Designing
Gaurav Agerwala Carnegie Mellon University, Len Bass Carnegie Mellon University
11:10
10m
Talk
Developing and Applying an Essence-based Description of the Attribute-Driven Design Method
Designing
Stefan Malich Dr. Stefan Malich | Architectural Change Management, Humberto Cervantes UAM, Rick Kazman University of Hawai‘i at Mānoa
11:20
10m
Talk
Investing in Software Design
Designing
Steven D. Fraser Innoxec, Dennis Mancl MSWX Software Experts
11:30
10m
Talk
Software Engineering Education: Towards Ethical, Reliable, and Beautiful Software
Designing
Aikya Inuganti University of Maryland Baltimore County, Madhuri Goyal University of Maryland Baltimore County, Mohammad Samarah University of Maryland Baltimore County
11:40
50m
Other
Discussion: Design exploration and education
Designing

11:00 - 12:30
Session 2: UncertaintySEAMS Research Track at Luis de Freitas Branco
Chair(s): Ivana Dusparic Trinity College Dublin, Ireland
11:00
25m
Talk
Formal Synthesis of Uncertainty Reduction ControllersFULL
SEAMS Research Track
Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin
11:25
25m
Talk
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL
SEAMS Research Track
Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
11:50
25m
Talk
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL
SEAMS Research Track
Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
12:15
15m
Talk
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT
SEAMS Research Track
Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York
11:00 - 12:30
State Merging & PostersKLEE at Maria Helena Vieira da Silva
Chair(s): Alessandro Orso Georgia Institute of Technology
11:00
22m
Talk
State Merging for Concolic Testing of Event-driven Applications
KLEE
P: Maarten Vandercammen , Coen De Roover Vrije Universiteit Brussel
11:22
22m
Talk
State Merging with Quantifiers in Symbolic Execution
KLEE
P: David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University, Vaibhav Sharma Amazon
DOI
11:50
5m
Poster
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers
KLEE
P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology
11:55
5m
Poster
Input Grammar Oriented Symbolic Execution
KLEE
Ke Ma , Yunlai Luo National University of Defense Technology, P: Weijiang Hong National University of Defense Technology, Changsha, China, Zhenbang Chen School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Ji Wang School of Computer, National University of Defense Technology, China
12:00
5m
Poster
Mixed Fixed-point and Floating-point Symbolic Execution
KLEE
P: Thom Hughes Imperial College London, Daniel Schemmel Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
12:05
5m
Poster
SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines
KLEE
Golla Monika Rani , P: Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei
12:10
5m
Poster
Towards Complete Fuzzing with KLEE
KLEE
Kanika Gupta National Institute of Technology, Warangal, P: Sangharatna Godboley National Institute of Technology Warangal
12:15
5m
Poster
TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
KLEE
P: Arpita Dutta National University of Singapore, Rasool Maghareh Huawei, Joxan Jaffar National University of Singapore
12:20
5m
Poster
Exploring Complexity Estimation with Symbolic Execution and Large Language Models
KLEE
Adrians Skapars University of Manchester, Youcheng Sun The University of Manchester, Yannic Noller Singapore University of Technology and Design, P: Corina S. Păsăreanu
11:00 - 12:30
Doctoral Symposium and Energy-Aware AI EngineeringCAIN Doctoral Symposium / CAIN Research and Experience Papers at Pequeno Auditório
Chair(s): Justus Bogner Vrije Universiteit Amsterdam, Silverio Martínez-Fernández UPC-BarcelonaTech
11:00
6m
Talk
Software Design Decisions for Greener Machine Learning-based Systems
CAIN Doctoral Symposium
Santiago del Rey Universitat Politècnica de Catalunya (UPC)
11:06
6m
Talk
Energy-Efficient Development of ML-Enabled Systems: A Data-Centric Approach
CAIN Doctoral Symposium
11:12
6m
Talk
Optimizing Data Analytics Workflows through User-driven Experimentation
CAIN Doctoral Symposium
Keerthiga Rajenthiram Vrije Universiteit Amsterdam
11:18
6m
Talk
Component-based Approach to Software Engineering of Machine Learning-enabled Systems
CAIN Doctoral Symposium
Vladislav Indykov Chalmers | University of Gothenburg
11:24
6m
Talk
Threat Modeling of ML-intensive Systems: Research Proposal
CAIN Doctoral Symposium
Felix Viktor Jedrzejewski Blekinge Institute of Technology
11:30
6m
Talk
Continuous Quality Assurance ML Pipelines under the AI Act
CAIN Doctoral Symposium
Matthias Wagner Lund University
11:36
10m
Talk
Green Runner: A tool for efficient deep learning component selection
CAIN Research and Experience Papers
Jai Kannan Applied Artificial Intelligence Institute, Deakin University, Scott Barnett Applied Artificial Intelligence Institute, Deakin University, Anj Simmons , Taylan Selvi Applied Artificial Intelligence Institute, Deakin University, Luís Cruz Delft University of Technology
11:46
15m
Talk
Engineering Carbon Emission-aware Machine Learning Pipelines
CAIN Research and Experience Papers
Erik Johannes Husom SINTEF Digital, Sagar Sen , Arda Goknil SINTEF Digital
12:01
10m
Talk
Identifying architectural design decisions for achieving green ML serving
CAIN Research and Experience Papers
Francisco Durán Universitat Politècnica De Catalunya - Barcelona Tech, Silverio Martínez-Fernández UPC-BarcelonaTech, Matias Martinez Universitat Politècnica de Catalunya (UPC), Patricia Lago Vrije Universiteit Amsterdam
Pre-print
12:11
10m
Talk
Green AI: a Preliminary Empirical Study on Energy Consumption in DL Models Across Different Runtime Infrastructures
CAIN Research and Experience Papers
Negar Alizadeh Universiteit Utrecht, Fernando Castor University of Twente and Federal University of Pernambuco
12:21
9m
Live Q&A
Energy: Q&A Session
CAIN Research and Experience Papers

11:00 - 12:30
11:00
10m
Talk
Towards Summarizing Code Snippets Using Pre-Trained TransformersICPCICPC Full paper
ICPC Research Track
Antonio Mastropaolo Università della Svizzera italiana, Matteo Ciniselli Università della Svizzera Italiana, Luca Pascarella ETH Zurich, Rosalia Tufano Università della Svizzera Italiana, Emad Aghajani Software Institute, USI Università della Svizzera italiana, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
Pre-print
11:10
10m
Talk
Generating Java Methods: An Empirical Assessment of Four AI-Based Code AssistantsICPCICPC Full paper
ICPC Research Track
Vincenzo Corso University of Milano - Bicocca, Leonardo Mariani University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero Riganelli University of Milano - Bicocca
Pre-print
11:20
10m
Talk
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with CopilotICPCICPC Full paper
ICPC Research Track
Ionut Daniel Fagadau University of Milano - Bicocca, Leonardo Mariani University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero Riganelli University of Milano - Bicocca
Pre-print
11:30
10m
Talk
Interpretable Online Log Analysis Using Large Language Models with Prompt StrategiesICPCICPC Full paper
ICPC Research Track
Yilun Liu Huawei co. LTD, Shimin Tao University of Science and Technology of China; Huawei co. LTD, Weibin Meng Huawei co. LTD, Jingyu Wang , Wenbing Ma Huawei co. LTD, Yuhang Chen University of Science and Technology of China, Yanqing Zhao Huawei co. LTD, Hao Yang Huawei co. LTD, Yanfei Jiang Huawei co. LTD
Pre-print
11:40
10m
Talk
Do Machines and Humans Focus on Similar Code? Exploring Explainability of Large Language Models in Code SummarizationICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Jiliang Li Vanderbilt University, Yifan Zhang Vanderbilt University, Zachary Karas Vanderbilt University, Collin McMillan University of Notre Dame, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
Pre-print
11:50
10m
Talk
Knowledge-Aware Code Generation with Large Language ModelsICPCICPC Full paper
ICPC Research Track
Tao Huang Shandong Normal University, Zhihong Sun Shandong Normal University, Zhi Jin Peking University, Ge Li Peking University, Chen Lyu Shandong Normal University
Pre-print
12:00
8m
Talk
Enhancing Source Code Representations for Deep Learning with Static AnalysisICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Xueting Guan University of Melbourne, Christoph Treude Singapore Management University
Pre-print
12:08
8m
Talk
AthenaLLM: Supporting Experiments with Large Language Models in Software DevelopmentICPCICPC Tools
ICPC Tool Demonstration
Benedito Fernando Albuquerque de Oliveira Federal University of Pernambuco, Fernando Castor University of Twente and Federal University of Pernambuco
12:16
14m
Talk
AI-Assisted Program Comprehension: Panel with SpeakersICPC
ICPC Discussion

11:00 - 12:30
Keynote and closing sessionTechDebt Plenary at Vianna da Motta
Chair(s): Zadia Codabux University of Saskatchewan, Canada, Rodrigo Spinola Virginia Commonwealth University
11:00
60m
Keynote
Keynote 2: Technical Debt in the Era of Artificial Intelligence: A TechDebt’s Offer AI Can’t Refuse
TechDebt Plenary
K: Fabio Palomba University of Salerno
12:00
15m
Keynote
Keynote Q&A
TechDebt Plenary
S: Zadia Codabux University of Saskatchewan, Canada, S: Rodrigo Spinola Virginia Commonwealth University
12:15
15m
Day closing
Awards and conference closing
TechDebt Plenary
P: Zadia Codabux University of Saskatchewan, Canada, P: Rodrigo Spinola Virginia Commonwealth University, G: Matthias Galster University of Canterbury
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Mining ChallengeMSR Mining Challenge at Almada Negreiros
Chair(s): Preetha Chatterjee Drexel University, USA, Fabio Palomba University of Salerno
14:00
5m
Talk
ChatGPT Chats Decoded: Uncovering Prompt Patterns for Superior Solutions in Software Development Lifecycle
MSR Mining Challenge
Liangxuan Wu Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Tianming Liu Monash Univerisity, Haoyu Wang Huazhong University of Science and Technology
14:05
5m
Talk
Write me this Code: An Analysis of ChatGPT Quality for Producing Source Code
MSR Mining Challenge
Konstantinos Moratis Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki, Themistoklis Diamantopoulos Electrical and Computer Engineering Dept, Aristotle University of Thessaloniki, Dimitrios-Nikitas Nastos Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki, Andreas Symeonidis Aristotle University of Thessaloniki
Pre-print
14:10
5m
Talk
Quality Assessment of ChatGPT Generated Code and their Use by Developers
MSR Mining Challenge
Mohammed Latif Siddiq University of Notre Dame, Lindsay Roney University of Notre Dame, Jiahao Zhang , Joanna C. S. Santos University of Notre Dame
Pre-print Media Attached File Attached
14:15
5m
Talk
Analyzing Developer Use of ChatGPT Generated Code in Open Source GitHub Projects
MSR Mining Challenge
Balreet Grewal University of Alberta, Wentao Lu University of Alberta, Sarah Nadi New York University Abu Dhabi, University of Alberta, Cor-Paul Bezemer University of Alberta
Pre-print
14:20
5m
Talk
How I Learned to Stop Worrying and Love ChatGPT
MSR Mining Challenge
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Krzysztof Stencel University of Warsaw
Pre-print
14:25
5m
Talk
Can ChatGPT Support Developers? An Empirical Evaluation of Large Language Models for Code Generation.
MSR Mining Challenge
Kailun Jin York University, Chung-Yu Wang York University, Hung Viet Pham York University, Hadi Hemmati York University
Pre-print
14:30
5m
Talk
The role of library versions in Developer-ChatGPT conversations
MSR Mining Challenge
Rachna Raj Concordia University, Diego Costa Concordia University, Canada
Pre-print
14:35
5m
Talk
AI Writes, We Analyze: The ChatGPT Python Code Saga
MSR Mining Challenge
Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University, Minhaz F. Zibran Idaho State University, Md Rakibul Islam Lamar University
DOI Pre-print
14:40
5m
Talk
ChatGPT in Action: Analyzing Its Use in Software Development
MSR Mining Challenge
Arifa Islam Champa Idaho State University, Md Fazle Rabbi Idaho State University, Costain Nachuma Idaho State University, Minhaz F. Zibran Idaho State University
DOI Pre-print
14:45
5m
Talk
Chatting with AI: Deciphering Developer Conversations with ChatGPT
MSR Mining Challenge
Suad Mohamed Belmont University, Abdullah Parvin Belmont University, Esteban Parra Belmont University
14:50
5m
Talk
Does Generative AI Generate Smells Related to Container Orchestration?: An Exploratory Study with Kubernetes Manifests
MSR Mining Challenge
Yue Zhang Auburn University, Rachel Meredith Auburn University, Wilson Reaves Auburn University, Julia Coriolano Federal University of Pernambuco, Muhammad Ali Babar School of Computer Science, The University of Adelaide, Akond Rahman Auburn University
Pre-print
14:55
5m
Talk
On the Taxonomy of Developers' Discussion Topics with ChatGPT
MSR Mining Challenge
Ertugrul Sagdic Lamar University, Arda Bayram Lamar University, Md Rakibul Islam Lamar University
15:00
5m
Talk
How to refactor this code? An exploratory study on developer-ChatGPT refactoring conversations
MSR Mining Challenge
Eman Abdullah AlOmar Stevens Institute of Technology, AnushKrishna Venkatakrishnan Rochester Institute of Technology, USA, Mohamed Wiem Mkaouer University of Michigan - Flint, Christian Newman , Ali Ouni ETS Montreal, University of Quebec
15:05
5m
Talk
Analyzing Developer-ChatGPT Conversations for Software Refactoring: An Exploratory Study
MSR Mining Challenge
Omkar Sandip Chavan Rochester Institute of Technology, Divya Dilip Hinge Rochester Institute of Technology, Soham Sanjay Deo Rochester Institute of Technology, Yaxuan (Olivia) Wang Rochester Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint
15:10
5m
Talk
How Do Software Developers Use ChatGPT? An Exploratory Study on GitHub Pull Requests
MSR Mining Challenge
Moataz Chouchen ETS, Narjes Bessghaier ETS Montreal, University of Quebec, Mahi Begoug , Ali Ouni ETS Montreal, University of Quebec, Eman Abdullah AlOmar Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint
15:15
5m
Talk
Investigating the Utility of ChatGPT in the Issue Tracking System: An Exploratory Study
MSR Mining Challenge
Joy Krishan Das University of Saskatchewan, Saikat Mondal University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada
Pre-print
15:20
5m
Talk
Enhancing User Interaction in ChatGPT: Characterizing and Consolidating Multiple Prompts for Issue Resolution
MSR Mining Challenge
Saikat Mondal University of Saskatchewan, Suborno Deb Bappon Department of Computer Science, University of Saskatchewan, Canada, Chanchal K. Roy University of Saskatchewan, Canada
Pre-print
14:00 - 15:30
Software QualityMSR Technical Papers / MSR Registered Reports / MSR Data and Tool Showcase Track at Grande Auditório
Chair(s): Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada
14:00
12m
Talk
Not all Dockerfile Smells are the Same: An Empirical Evaluation of Hadolint Writing Practices by Experts
MSR Technical Papers
Giovanni Rosa University of Molise, Simone Scalabrino University of Molise, Gregorio Robles Universidad Rey Juan Carlos, Rocco Oliveto University of Molise
14:12
12m
Talk
Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models
MSR Technical Papers
Anamaria-Roberta Hartl Johannes Kepler University Linz, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Atif Mashkoor Johannes Kepler University Linz, Alexander Egyed Johannes Kepler University Linz
DOI Authorizer link Pre-print
14:24
12m
Talk
On the Executability of R Markdown Files
MSR Technical Papers
Md Anaytul Islam Lakehead University, Muhammad Asaduzzman University of Windsor, Shaowei Wang Department of Computer Science, University of Manitoba, Canada
14:36
12m
Talk
APIstic: A Large Collection of OpenAPI Metrics
MSR Technical Papers
souhaila serbout Software Institute @ USI, Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano
14:48
6m
Talk
Improving Automated Code Reviews: Learning From Experience
MSR Technical Papers
Hong Yi Lin The University of Melbourne, Patanamon Thongtanunam University of Melbourne, Christoph Treude Singapore Management University, Wachiraphan (Ping) Charoenwet The University of Melbourne
14:55
4m
Talk
Multi-faceted Code Smell Detection at Scale using DesigniteJava 2.0
MSR Data and Tool Showcase Track
Tushar Sharma Dalhousie University
Pre-print
14:59
4m
Talk
SATDAUG - A Balanced and Augmented Dataset for Detecting Self-Admitted Technical Debt
MSR Data and Tool Showcase Track
Edi Sutoyo Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Andrea Capiluppi University of Groningen
15:03
4m
Talk
Curated Email-Based Code Reviews Datasets
MSR Data and Tool Showcase Track
Mingzhao Liang The University of Melbourne, Wachiraphan (Ping) Charoenwet The University of Melbourne, Patanamon Thongtanunam University of Melbourne
15:07
4m
Talk
TestDossier: A Dataset of Tested Values Automatically Extracted from Test Execution
MSR Data and Tool Showcase Track
Pre-print Media Attached
15:11
4m
Talk
Greenlight: Highlighting TensorFlow APIs Energy Footprint
MSR Data and Tool Showcase Track
Saurabhsingh Rajput Dalhousie University, Maria Kechagia University College London, Federica Sarro University College London, Tushar Sharma Dalhousie University
Pre-print
15:15
5m
Talk
When Code Smells Meet ML: On the Lifecycle of ML-specific Code Smells in ML-enabled Systems
MSR Registered Reports
Gilberto Recupito University of Salerno, Giammaria Giordano University of Salerno, Filomena Ferrucci University of Salerno, Dario Di Nucci University of Salerno, Fabio Palomba University of Salerno
15:20
5m
Talk
Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
MSR Registered Reports
Simon Schneider Hamburg University of Technology, Alexander Bakhtin University of Oulu, Xiaozhou Li University of Oulu, Jacopo Soldani University of Pisa, Italy, Antonio Brogi Università di Pisa, Tomas Cerny University of Arizona, Riccardo Scandariato Hamburg University of Technology, Davide Taibi University of Oulu and Tampere University
14:00 - 15:30
Training, knowledge and Industrial challengesEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): John Eidar Simensen IFE
14:00
20m
Full-paper
Building a Cybersecurity Knowledge Graph with CyberGraph
EnCyCriS/SVM
A: Paolo Falcarin Ca' Foscari University of Venice, A: Fabio Dainese Ca' Foscari University of Venice
14:20
20m
Full-paper
Training Developers to Code Securely: Theory and Practice
EnCyCriS/SVM
A: Ita Ryan University College Cork, A: Utz Roedig University College Cork, A: Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
14:40
20m
Full-paper
On DevSecOps and Risk Management in Critical Infrastructures: Practitioners´Insights on Needs and Goals
EnCyCriS/SVM
A: Xhesika Ramaj Østfold University College (HiØ) / Norwegian University of Science and Technology (NTNU), A: Mary Sánchez-Gordón Østfold University College, A: Vasileios Gkioulos NTNU, A: Ricardo Colomo-Palacios Universidad Politécnica de Madrid
15:00
20m
Full-paper
Cyber-incident Response in Industrial Control Systems: Practices and Challenges in the Petroleum Industry
EnCyCriS/SVM
A: Vahiny Gnanasekaran Norwegian University of Science and Technology NTNU, A: Maria Bartnes Norwegian University of Science and Technology NTNU, A: Tor Olav Grøtan SINTEF Digital, Poul Einar Heegaard Norwegian University of Science and Technology NTNU
14:00 - 15:30
Session 2: Test GenerationAST at Amália Rodrigues
Chair(s): Sarmad Bashir RISE Research Institutes of Sweden
14:00
20m
Full-paper
Using GitHub Copilot for Test Generation in Python: An Empirical Study
AST
Khalid El Haji Delft University of Technology, Carolin Brandt Delft University of Technology, Andy Zaidman Delft University of Technology
DOI Pre-print
14:20
20m
Full-paper
Grammar-Based Action Selection Rules for Scriptless Testing
AST
Lianne V. Hufkens Open Universiteit, Fernando Pastor Ricós Universitat Politècnica de València, Beatriz Marín Universitat Politècnica de València, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit
14:40
20m
Full-paper
Fences: Systematic Sample Generation for JSON Schemas using Boolean Algebra and Flow Graphs
AST
Björn Otto Institute for Automation and Communication, OVGU Magdeburg, Tobias Kleinert Chair of Information and Automation Systems for Process and Material Technology, RWTH Aachen
15:00
10m
Poster
Generating Software Tests for Mobile Applications Using Fine-Tuned Large Language Models
AST
Jacob Hoffmann Institute AIFB, Karlsruhe Institue of Technology (KIT), Demian Frister Institute of Applied Informatics and Formal Description Methods (AIFB) Karlsruhe Institue of Technology (KIT)
DOI
14:00 - 15:30
14:00
22m
Full-paper
Detection of Inconsistencies between Guidance Pages and Actual Data Collection of Third-party SDKs in Android AppsFull Paper
MOBILESoft Research Track
Hiroki Inayoshi Okayama University, Shohei Kakei Nagoya Institute of Technology, Japan, Shoichi Saito Nagoya Institute of Technology, Japan
DOI Pre-print
14:22
22m
Full-paper
Generating Rate Features for Mobile ApplicationsBest Presentation AwardFull Paper
MOBILESoft Research Track
Shristi Shrestha Louisiana State University, Anas "Nash" Mahmoud Louisiana State University
14:45
15m
Short-paper
Toward an Android Static Analysis Approach for Data Protection
MOBILESoft Research Forum Track
Mugdha Khedkar Heinz Nixdorf Institute at Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
15:00
15m
Short-paper
Are Your Android App Analyzers Still Relevant?
MOBILESoft Research Forum Track
chenhaonan , Daihang Chen Beihang University, China, Yonghui Liu Monash University, Xiaoyu Sun Australian National University, Australia, Li Li Beihang University
15:15
15m
Short-paper
Towards Benchmarking the Coverage of Automated Testing Tools in Android against Manual Testing
MOBILESoft Research Forum Track
Ferdian Thung Singapore Management University, Ivana Clairine Irsan Singapore Management University, Jiakun Liu Singapore Management University, David Lo Singapore Management University
14:00 - 15:30
Session 3RoSE at Cottinelli Telmo
Chair(s): Andreas Angerer XITASO GmbH IT & Software Solutions

A Model-Based Methodology for Automated Verification of ROS 2 Systems. Lukas Dust, Mikael Ekström, Rong Gu, Saad Mubeen and Cristina Seceleanu

An Edge Computing Sizing Tool for Robotic Workloads. Ahmad R. Hamid and Mikkel B. Kjærgaard

Interactive discussion - part 1. All participants

14:00 - 15:30
Afternoon SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
13:30
2h
Tutorial
Tutorial on Neuro-symbolic Programming
InteNSE
Swarat Chaudhuri University of Texas at Austin, Atharva Sehgal University of Texas, Austin
14:00 - 15:30
Machine learning and formal methodsFormaliSE at Eugénio de Andrade
Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
14:00
30m
Talk
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
FormaliSE
Preston K. Robinette Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Serena Serbinowska Vanderbilt University, Kevin Leach Vanderbilt University, Taylor T Johnson Vanderbilt University
Pre-print
14:30
30m
Talk
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
FormaliSE
Álvaro F. Silva Independent Researcher, Alexandra Mendes University of Porto and HASLab, INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon
15:00
10m
Day closing
Closing
FormaliSE

14:00 - 15:30
Emerging technologies and their impact on Software EngineeringCHASE Full Papers at Fernando Pessoa
Chair(s): Adriana Meza Soria MIT-IBM Watson AI Lab
14:00
20m
Full-paper
Exploring potential implications of intelligent tools for human aspects of software engineeringFull Paper
CHASE Full Papers
Jorge Melegati Free University of Bozen-Bolzano, Nicolas Nascimento , Rafael Chanin PUCRS, Afonso Sales PUCRS, Igor Wiese Federal University of Technology
DOI Pre-print
14:20
20m
Full-paper
Charting a Path to Efficient Onboarding: The Role of Software VisualizationFull Paper
CHASE Full Papers
Fernando Padoan CESAR School, Ronnie de Souza Santos University of Calgary, Rodrigo Medeiros
Pre-print
14:40
20m
Full-paper
“You’re on a bicycle with a little motor”: Benefits and Challenges of Using AI Code AssistantsFull Paper
CHASE Full Papers
Wendy Mendes , Samara Souza , Cleidson de Souza Federal University of Pará Belém
15:00
20m
Full-paper
Understanding the building blocks of accountability in software engineeringFull Paper
CHASE Full Papers
Adam Alami Aalborg University, Neil Ernst University of Victoria
Link to publication DOI Pre-print
14:00 - 15:30
Tutorial 2 + Tool Competition 2SBFT at Glicínia Quartin
Chair(s): Matteo Biagiola Università della Svizzera italiana, Stefan Klikovits Johannes Kepler University, Linz, Vincenzo Riccio University of Udine
14:00
60m
Tutorial
Getting Started with SynTest-Framework: A Hands-on Tutorial for Automatic Test Case Generation and Fuzzing
SBFT
Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology
15:00
30m
Other
CPS-ADS Tool Competition
SBFT
Matteo Biagiola Università della Svizzera italiana, Stefan Klikovits Johannes Kepler University, Linz
14:00 - 15:30
Tooling, Domain-specific DesignDesigning at Lopes Graça
Chair(s): Michel Chaudron Eindhoven University of Technology, The Netherlands
14:00
10m
Talk
Executable Multi-Layered Software Models
Designing
Lukáš Radoský Comenius University, Faculty of Mathematics, Physics and Informatics, Mlynská dolina F1, Bratislava, 842 48, Slovakia, Ivan Polášek Comenius University, Faculty of Mathematics, Physics and Informatics, Mlynská dolina F1, Bratislava, 842 48, Slovakia
14:10
10m
Talk
From Requirements to Architecture: An AI-Based Journey to Semi-Automatically Generate Software Architectures
Designing
Tobias Eisenreich Technical University of Munich, Sandro Speth Institute of Software Engineering, University of Stuttgart, Stefan Wagner Technical University of Munich
DOI Pre-print
14:20
10m
Talk
TAMVE: Properties of Design Technologies to Address Challenges to Software Design in the Era of Agility and Frameworks
Designing
Timothy Lethbridge University of Ottawa
14:30
10m
Talk
Co-Designing Resilient Socio-Technical Software Systems
Designing
Tamara Lopez The Open University, Helen Sharp The Open University, Michel Wermelinger The Open University
14:40
10m
Talk
Weighted Metrics for the Development of Energy Efficient Software
Designing
Déaglán Connolly Bree University College Dublin, Mel Ó Cinnéide University College Dublin & Lero, Ireland
14:50
40m
Other
Discussion: Tooling and domain-specific design
Designing

14:00 - 15:30
Session 3: Unmanned Aerial Vehicles and LLMs SEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco
Chair(s): Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute
14:00
25m
Talk
ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial SystemsFULL
SEAMS Research Track
Md Nafee Al Islam University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Innsbruck
14:25
15m
Talk
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire TrackingSHORT
SEAMS Research Track
Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
14:40
15m
Talk
Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable EnvironmentsARTIFACT
SEAMS Artifact Track
Enrique Vilchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga
14:55
15m
Talk
Aloft: Self-Adaptive Drone Controller TestbedARTIFACT
SEAMS Artifact Track
Calum Imrie University of York, Rhys Howard University of Oxford, Divya Thuremella University of Oxford, Nawshin Mannan Proma University of York, Tejas Pandey University of York, Paulina Lewinska University of York, Ricardo Cannizzaro University of Oxford, Richard Hawkins University of York, Colin Paterson University of York, Lars Kunze University of Oxford, Victoria J. Hodge University of York
15:10
15m
Talk
Exploring the Potential of Large Language Models in Self-adaptive SystemsSHORT
SEAMS Research Track
Jialong Li Waseda University, Japan, Mingyue Zhang Southwest University, NIANYU LI ZGC Lab, China, Danny Weyns KU Leuven, Zhi Jin Peking University, Kenji Tei Waseda University
14:00 - 15:30
Grammars, Concurrency, Mocking and ConstraintsKLEE at Maria Helena Vieira da Silva
Chair(s): Abhik Roychoudhury National University of Singapore
14:00
22m
Talk
Symbolic Grammar Mining
KLEE
P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
14:22
22m
Talk
Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs
KLEE
Azalea Raad Imperial College London, P: Julien Vanegue Bloomberg, USA, Josh Berdine SkipLabs, Peter O'Hearn University College London, UK and Lacework, London, UK
14:44
22m
Talk
Automated Generation of Database Mocks with Symbolic Execution
KLEE
Cesar Cornejo University of Rio Cuarto and CONICET, Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, P: Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET
15:06
22m
Talk
Symbolic Execution Oriented Constraint Solving
KLEE
P: Zhenbang Chen School of Computer, National University of Defense Technology, China, Ziqi Shuai School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Zehua Chen College of Computer, National University of Defense Technology, Guofeng Zhang Hunan University, Jun Sun Singapore Management University, Wei Dong National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China
14:00 - 15:30
14:00
15m
Talk
A Combinatorial Testing Approach to Hyperparameter OptimizationDistinguished paper Award Candidate
CAIN Research and Experience Papers
Krishna Khadka The University of Texas at Arlington, Jaganmohan Chandrasekaran Virginia Tech, Jeff Yu Lei University of Texas at Arlington, Raghu Kacker National Institute of Standards and Technology, D. Richard Kuhn National Institute of Standards and Technology
14:15
15m
Talk
Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs
CAIN Research and Experience Papers
Ziyu Li University of Sheffield, Donghwan Shin University of Sheffield
14:30
10m
Talk
LLMs for Test Input Generation for Semantic Applications
CAIN Research and Experience Papers
Zafaryab Rasool Applied Artificial Intelligence Institute, Deakin University, Scott Barnett Applied Artificial Intelligence Institute, Deakin University, David Willie Applied Artificial Intelligence Institute, Deakin University, Stefanus Kurniawan Deakin University, Sherwin Balugo Applied Artificial Intelligence Institute, Deakin University, Srikanth Thudumu Deakin University, Mohamed Abdelrazek Deakin University, Australia
14:40
10m
Talk
(Why) Is My Prompt Getting Worse? Rethinking Regression Testing for Evolving LLM APIs
CAIN Research and Experience Papers
MA Wanqin The Hong Kong University of Science and Technology, Chenyang Yang Carnegie Mellon University, Christian Kästner Carnegie Mellon University
14:50
10m
Talk
Welcome Your New AI Teammate: On Safety Analysis by Leashing Large Language Models
CAIN Research and Experience Papers
Ali Nouri Volvo cars & Chalmers University of Technology, Beatriz Cabrero-Daniel University of Gothenburg, Fredrik Torner Volvo cars, Hakan Sivencrona Zenseact AB, Christian Berger Chalmers University of Technology, Sweden
15:00
10m
Talk
ML-On-Rails: Safeguarding Machine Learning Models in Software Systems – A Case Study
CAIN Research and Experience Papers
Hala Abdelkader Applied Artificial Intelligence Institute, Deakin University, Mohamed Abdelrazek Deakin University, Australia, Scott Barnett Applied Artificial Intelligence Institute, Deakin University, Jean-Guy Schneider Monash University, Priya Rani RMIT University, Rajesh Vasa Deakin University, Australia
15:10
20m
Live Q&A
Test - Q&A Session
CAIN Research and Experience Papers

14:00 - 15:30
14:00
10m
Talk
MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment GenerationICPCICPC Full paper
ICPC Research Track
Xinglu Pan Peking University, Chenxiao Liu Peking University, Yanzhen Zou Peking University, Tao Xie Peking University, Bing Xie Peking University
Pre-print
14:10
10m
Talk
Compositional API Recommendation for Library-Oriented Code GenerationICPCICPC Full paper
ICPC Research Track
Zexiong Ma Peking University, Shengnan An Xi’an Jiaotong University, Bing Xie Peking University, Zeqi Lin Microsoft Research, China
Pre-print
14:20
10m
Talk
On the Generalizability of Deep Learning-based Code Completion Across Programming Language VersionsICPCICPC Full paper
ICPC Research Track
Matteo Ciniselli Università della Svizzera Italiana, Alberto Martin-Lopez Software Institute - USI, Lugano, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
14:30
10m
Talk
ESGen: Commit Message Generation Based on Edit Sequence of Code ChangeICPCICPC Full paperVirtual-Talk
ICPC Research Track
Xiangping Chen Sun Yat-sen University, Yangzi Li SUN YAT-SEN UNIVERSITY, Zhicao Tang SUN YAT-SEN UNIVERSITY, Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Haojie Zhou School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou 510006, China, Mingdong Tang Guangdong University of Foreign Studies, Zibin Zheng Sun Yat-sen University
14:40
10m
Talk
Improving AST-Level Code Completion with Graph Retrieval and Multi-Field AttentionICPCICPC Full paperVirtual-Talk
ICPC Research Track
Yu Xia Central South University, Tian Liang Central South University, Wei-Huan Min Central South University, Li Kuang School of Computer Science and Engineering, Central South University
14:50
10m
Talk
Exploring and Improving Code Completion for Test CodeICPCICPC Full paper
ICPC Research Track
Tingwei Zhu Nanjing University, Zhongxin Liu Zhejiang University, Tongtong Xu Huawei, Ze Tang Software Institute, Nanjing University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Xin Xia Huawei Technologies
15:00
10m
Talk
Understanding the Impact of Branch Edit Features for the Automatic Prediction of Merge Conflict ResolutionsICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Waad riadh aldndni Virginia Tech, Francisco Servant ITIS Software, University of Malaga, Na Meng Virginia Tech
15:10
4m
Talk
Investigating the Efficacy of Large Language Models for Code Clone DetectionICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Mohamad Khajezade University of British Columbia Okanagan, Jie JW Wu University of British Columbia (UBC), Fatemeh Hendijani Fard University of British Columbia, Gema Rodríguez-Pérez University of British Columbia (UBC), Mohamed S Shehata University of British Columbia
15:14
16m
Talk
Code + Documentation Generation: Panel with SpeakersICPC
ICPC Discussion

14:00 - 15:30
14:00
90m
Other
Doctoral Symposium - 1
CAIN Doctoral Symposium

15:30 - 16:00
Coffee BreakCatering at Open Space
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
16:00
12m
Talk
Automating GUI-based Test Oracles for Mobile Apps
MSR Technical Papers
Kesina Baral CQSE America, Jack Johnson , Junayed Mahmud George Mason University, Sabiha Salma George Mason University, Mattia Fazzini University of Minnesota, Julia Rubin University of British Columbia, Jeff Offutt George Mason University, Kevin Moran University of Central Florida
16:12
12m
Talk
Global Prosperity or Local Monopoly? Understanding the Geography of App Popularity
MSR Technical Papers
Liu Wang Beijing University of Posts and Telecommunications, Conghui Zheng Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, Xiapu Luo The Hong Kong Polytechnic University, Gareth Tyson Queen Mary University of London, Yi Wang , Shangguang Wang Beijing University of Posts and Telecommunications
16:24
12m
Talk
GuiEvo: Automated Evolution of Mobile App UIs
MSR Technical Papers
Sabiha Salma George Mason University, S M Hasan Mansur George Mason University, Yule Zhang George Mason University, Kevin Moran University of Central Florida
16:36
12m
Talk
Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS and Android Apps for Cross-Platform Analyses
MSR Technical Papers
Magdalena Steinböck TU Wien, Jakob Bleier TU Wien, Mikka Rainer CISPA Helmholtz Center for Information Security, Tobias Urban Institute for Internet Security & secunet Security Networks AG, Christine Utz CISPA Helmholtz Center for Information Security, Martina Lindorfer TU Wien
16:48
12m
Talk
Keep Me Updated: An Empirical Study on Embedded Javascript Engines in Android Apps
MSR Technical Papers
Elliott Wen The University of Auckland, Jiaxiang Liu The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Giovanni Russello University of Auckland, Jens Dietrich Victoria University of Wellington
17:00
12m
Talk
Large Language Model vs. Stack Overflow in Addressing Android Permission Related Challenges
MSR Technical Papers
Sahrima Jannat Oishwee University of Saskatchewan, Natalia Stakhanova University of Saskatchewan, Zadia Codabux University of Saskatchewan, Canada
17:12
4m
Talk
DATAR: A Dataset for Tracking App Releases
MSR Data and Tool Showcase Track
Yasaman Abedini Sharif University of Technology, Mohammad Hadi Hajihosseini Sharif University of Technology, Abbas Heydarnoori Bowling Green State University
17:16
4m
Talk
AndroZoo: A Retrospective with a Glimpse into the Future
MSR Data and Tool Showcase Track
Marco Alecci University of Luxembourg, Pedro Jesús Ruiz Jiménez University of Luxembourg, Kevin Allix Independent Researcher, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
16:00 - 17:30
Machine learning for Software EngineeringMSR Technical Papers at Grande Auditório
Chair(s): Diego Costa Concordia University, Canada
16:00
12m
Talk
Whodunit: Classifying Code as Human Authored or GPT-4 Generated - A case study on CodeChef problems
MSR Technical Papers
Oseremen Joy Idialu University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Rungroj Maipradit University of Waterloo, Joanne M. Atlee University of Waterloo, Mei Nagappan University of Waterloo
DOI Pre-print
16:12
12m
Talk
GIRT-Model: Automated Generation of Issue Report Templates
MSR Technical Papers
Nafiseh Nikehgbal Sharif University of Technology, Amir Hossein Kargaran LMU Munich, Abbas Heydarnoori Bowling Green State University
DOI Pre-print
16:24
12m
Talk
MicroRec: Leveraging Large Language Models for Microservice Recommendation
MSR Technical Papers
Ahmed Saeed Alsayed University of Wollongong, Hoa Khanh Dam University of Wollongong, Chau Nguyen University of Wollongong
16:36
12m
Talk
PeaTMOSS: A Dataset and Initial Analysis of Pre-Trained Models in Open-Source Software
MSR Technical Papers
Wenxin Jiang Purdue University, Jerin Yasmin Queen's University, Canada, Jason Jones Purdue University, Nicholas Synovic Loyola University Chicago, Jiashen Kuo Purdue University, Nathaniel Bielanski Purdue University, Yuan Tian Queen's University, Kingston, Ontario, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory, James C. Davis Purdue University
DOI Pre-print
16:48
12m
Talk
Data Augmentation for Supervised Code Translation Learning
MSR Technical Papers
Binger Chen Technische Universität Berlin, Jacek golebiowski Amazon AWS, Ziawasch Abedjan Leibniz Universität Hannover
17:00
12m
Talk
On the Effectiveness of Machine Learning-based Call-Graph Pruning: An Empirical Study
MSR Technical Papers
Amir Mir Delft University of Technology, Mehdi Keshani Delft University of Technology, Sebastian Proksch Delft University of Technology
Pre-print
17:12
12m
Talk
Leveraging GPT-like LLMs to Automate Issue Labeling
MSR Technical Papers
Giuseppe Colavito University of Bari, Italy, Filippo Lanubile University of Bari, Nicole Novielli University of Bari, Luigi Quaranta University of Bari, Italy
Pre-print
16:00 - 17:30
Training, knowledge and Industrial challengesEnCyCriS/SVM at Amadeo de Souza-Cardoso
Chair(s): Muhammad Ali Babar School of Computer Science, The University of Adelaide, Coralie Esnoul Institute For Energy Technology (IFE), Awais Rashid University of Bristol, UK, John Eidar Simensen IFE
16:00
20m
Full-paper
Cybersecurity and medical devices: a bull in a china shop
EnCyCriS/SVM
A: Roberto Filippini EBG MedAustron, A: Sara Spiller EBG MedAustron
16:20
60m
Meeting
Panel based discussions and open questions
EnCyCriS/SVM
Coralie Esnoul Institute For Energy Technology (IFE), Awais Rashid University of Bristol, UK, John Eidar Simensen IFE, Muhammad Ali Babar School of Computer Science, The University of Adelaide
17:20
10m
Day closing
Workshop Closure
EnCyCriS/SVM
W: Coralie Esnoul Institute For Energy Technology (IFE)
16:00 - 17:30
Session 3: Privacy, Security and RobustnessAST at Amália Rodrigues
Chair(s): Dr. AMANI AYAD Kean University, USA
16:00
20m
Full-paper
Sugar-coated poison defense on deepfake face-swapping attacks
AST
Cheng-Yao Guo National Chengchi University, Fang Yu National Chengchi University
16:20
20m
Full-paper
Anonymizing Test Data in Android: Does It Hurt?
AST
Elena Masserini University of Milano - Bicocca, Davide Ginelli , Daniela Micucci University of Milano-Bicocca, Italy, Daniela Briola University of Milano Bicocca, Leonardo Mariani University of Milano-Bicocca
Pre-print
16:40
20m
Full-paper
Properties that allow or prohibit transferability of adversarial attacks among quantized networks
AST
Abhishek Shrestha Fraunhofer FOKUS, Juergen Grossmann Fraunhofer
DOI
17:00
20m
Full-paper
Can explainability and deep-learning be used for localizing vulnerabilities in source code?
AST
Alessandro Marchetto Università di Trento
17:20
15m
Short-paper
Towards an Empirical Robustness Assessment Through Measuring Adversarial Subspaces
AST
Viraj Rohit Gala , Martin A. Schneider Fraunhofer FOKUS, Marvin Vogt Fraunhofer Institute for Open Communication Systems
20:30
2h30m
Social Event
Social Dinner (Apr 15) - 20:30 at Páteo – Bairro do Avillez
AST

16:00 - 17:30
16:00
15m
Short-paper
Dependency Management in iOS Development: A Developer Survey PerspectiveExtended Abstract
MOBILESoft Research Track
Ezequiel França dos Santos Universidade Europeia de Lisboa, UE, Portugal.
DOI
16:15
15m
Short-paper
Experiences Developing a Computer Vision SDK for Mobile Apps
MOBILESoft Research Forum Track
Julian Harty Commercetest Limited
DOI File Attached
16:30
15m
Short-paper
Towards Speedy Permission-Based Debloating for Android Apps
MOBILESoft Research Forum Track
Ferdian Thung Singapore Management University, Jiakun Liu Singapore Management University, Pattarakrit Rattanukul Mahidol University, Shahar Maoz Tel Aviv University, Eran Toch Tel Aviv University, Debin Gao Singapore Management University, David Lo Singapore Management University
16:45
15m
Short-paper
Assessing the environmental impact of mobile applications: a measure framework toward DevGreenOps
MOBILESoft Research Forum Track
Edouard Guegain Université de Lille
17:00
15m
Short-paper
CAREForMe: Contextual Multi-Armed Bandit Recommendation Framework for Mental HealthExtended Abstract
MOBILESoft Research Track
Sheng Yu University of Southern California, Narjes Nourzad University of Southern California, USA, Randye Semple University of Southern California, Yixue Zhao USC Information Sciences Institute, Emily Zhou University of Southern California, Bhaskar Krishnamachari University of Southern California
Pre-print Media Attached
17:15
15m
Short-paper
Digital Wellbeing Redefined: Toward User-Centric Approach for Positive Social Media Engagement
MOBILESoft Research Forum Track
Yixue Zhao USC Information Sciences Institute, Tianyi Li Purdue University, USA, Michael Sobolev University of Southern California
DOI Pre-print Media Attached
16:00 - 17:30
Session 4RoSE at Cottinelli Telmo
Chair(s): Ivano Malavolta Vrije Universiteit Amsterdam

Interactive discussion - part 2. All participants

Final words and closing

16:00 - 17:30
Late Afternoon SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
16:00
30m
Talk
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
InteNSE
Shizhuo Zhang University of Illinois Urbana-Champaign
Pre-print
16:30
30m
Talk
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
InteNSE
John Yang Princeton
Pre-print
17:00
30m
Day closing
InteNSE 2024 Closing Remarks
InteNSE
Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
16:00 - 17:30
Career development and role models in Software Engineering / Conference ClosingCHASE Short Papers / CHASE Full Papers at Fernando Pessoa
Chair(s): Birgit Penzenstadler Chalmers
16:00
10m
Short-paper
Characterizing Role Models in Software Practitioners' Career: An Interview StudyShort Paper
CHASE Short Papers
Mary Sánchez-Gordón Østfold University College, Ricardo Colomo-Palacios Universidad Politécnica de Madrid, Alex Sánchez
DOI Pre-print
16:10
20m
Full-paper
Understanding the Career Mobility of Blind and Low Vision Software ProfessionalsFull Paper
CHASE Full Papers
Yoonha Cha University of California, Irvine, Victoria Jackson University of California, Irvine, Isabela Figueira , Stacy Branham University of California, Irvine, Andre van der Hoek University of California, Irvine
16:30
20m
Full-paper
What's Personality Got to Do with It? A Case Study on the Impact of Personality on Requirements Engineering-related ActivitiesFull Paper
CHASE Full Papers
Dulaji Hidellaarachchi Monash University, John Grundy Monash University, Rashina Hoda Monash University, ingo Mueller Monash University
Pre-print
16:50
10m
Day opening
Conference Closing
CHASE Full Papers
S: Maria Teresa Baldassarre Department of Computer Science, University of Bari
16:00 - 17:30
Tool Competitions 3 + Awards + ClosingSBFT at Glicínia Quartin
Chair(s): Christian Birchler Zurich University of Applied Sciences & University of Bern, Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Charith Munasinghe , Sebastiano Panichella Zurich University of Applied Sciences, Vincenzo Riccio University of Udine, Prasun Saurabh , Timothy Zimmermann
16:00
30m
Other
CPS-UAV Tool Competition
SBFT
Sebastiano Panichella Zurich University of Applied Sciences, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Prasun Saurabh , Timothy Zimmermann , Charith Munasinghe , Christian Birchler Zurich University of Applied Sciences & University of Bern
16:30
60m
Day closing
Award Ceremony and Closing
SBFT
Alessio Gambi IMC University of Applied Sciences Krems, Gunel Jahangirova King's College London, Vincenzo Riccio University of Udine
16:00 - 17:30
Panel, ClosingDesigning at Lopes Graça
Chair(s): Eunsuk Kang Carnegie Mellon University
16:00
60m
Panel
Panel discussion
Designing
Mary Shaw Carnegie Mellon University, Marian Petre School of Computing and Communications, The Open University, UK, Michel Chaudron Eindhoven University of Technology, The Netherlands, Rick Kazman University of Hawai‘i at Mānoa
17:00
30m
Day closing
Closing & future of Designing
Designing

16:00 - 17:30
Session 4: Testing + Community DebateSEAMS Research Track at Luis de Freitas Branco
Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Bradley Schmerl Carnegie Mellon University, USA
16:00
25m
Talk
Automating Pipelines of A/B Tests with Population Split Using Self-Adaptation and Machine LearningFULL
SEAMS Research Track
Federico Quin Katholieke Universiteit Leuven, Danny Weyns KU Leuven
16:25
15m
Talk
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language ProcessingSHORT
SEAMS Research Track
Qunying Song Lund University, Rune Anderberg Lund University, Henrik Olsson Lund University, Per Runeson Lund University
16:40
50m
Panel
Panel: Should the adaptive software systems community re-visit bio-inspired algorithms given advances in ML and more general research attention on bio-diversity and sustainability?COMMUNITY DEBATE
SEAMS Research Track
Darko Bozhinoski Université Libre de Bruxelles, Rogério de Lemos University of Kent, UK, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Andrew Jackson Trinity College Dublin, Ireland
16:00 - 17:30
Binary Analysis & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Daniel Schemmel Imperial College London
16:00
22m
Talk
What’s Up from Below? An Overview of Recent Advances in BINSEC
KLEE
P: Frédéric Recoules CEA, List, Sébastien Bardin CEA LIST, University Paris-Saclay
16:22
22m
Talk
Symbolic Execution of Binary Code based on Formal ISA Semantics
KLEE
P: Sören Tempel University of Bremen, Tobias Brandt Independent, Christoph Lüth University of Bremen / DFKI GmbH, Rolf Drechsler University of Bremen / DFKI GmbH
16:44
46m
Keynote
Let's help symbolic execution SOAR!
KLEE
Tomasz Kuchta Samsung Electronics
16:00 - 18:00
System QualitiesCAIN Research and Experience Papers / CAIN Industry Talks at Pequeno Auditório
Chair(s): Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge
16:00
10m
Talk
Modeling Resilience of Collaborative AI Systems
CAIN Research and Experience Papers
Diaeddin Rimawi Free University of Bozen-Bolzano, Antonio Liotta Free University of Bozen-Bolzano, Marco Todescato Fraunhofer Italia, Barbara Russo
16:10
10m
Talk
Seven Failure Points When Engineering a Retrieval Augmented Generation System
CAIN Research and Experience Papers
Scott Barnett Applied Artificial Intelligence Institute, Deakin University, Stefanus Kurniawan Deakin University, Srikanth Thudumu Deakin University, Zach Brannelly Deakin University, Mohamed Abdelrazek Deakin University, Australia
16:20
15m
Talk
POLARIS: A framework to guide the development of Trustworthy AI systems
CAIN Research and Experience Papers
Maria Teresa Baldassarre Department of Computer Science, University of Bari , Domenico Gigante SER&Practices and University of Bari, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Azzurra Ragone University of Bari
16:35
15m
Talk
Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
CAIN Research and Experience Papers
A: Saeid Tizpaz-Niari University of Texas at El Paso, A: Sriram Sankaranarayanan University of Colorado, Boulder
16:50
15m
Talk
Is Your Anomaly Detector Ready for Change? Adapting AIOps Solutions to the Real World
CAIN Research and Experience Papers
Lorena Poenaru-Olaru TU Delft, Natalia Karpova TU Delft, Luís Cruz Delft University of Technology, Jan S. Rellermeyer Leibniz University Hannover, Arie van Deursen Delft University of Technology
17:05
15m
Talk
Novel Contract-based Runtime Explainability Framework for End-to-End Ensemble Machine Learning Serving
CAIN Research and Experience Papers
Minh-Tri Nguyen Aalto University, Hong-Linh Truong Aalto University, Tram Truong-Huu Singapore Institute of Technology
17:20
10m
Industry talk
Trustworthy AI: Industry-Guided Tooling of the Methods
CAIN Industry Talks
Zakaria Chihani CEA, LIST, France
17:30
15m
Live Q&A
System Qualities: Q&A Session
CAIN Research and Experience Papers

17:45
15m
Day closing
Closing
CAIN Research and Experience Papers
Jan Bosch Chalmers University of Technology
16:00 - 17:30
16:00
10m
Talk
CRSP: Emulating Human Cooperative Reasoning for Intelligible Story Point EstimationICPCICPC Full paper
ICPC Research Track
Rui Han , Wanjiang Han Beijing University of Posts and Telecommunications, Zhuoyan Han Beijing University of Posts and Telecommunications, Yifan Tian Beijing University of Posts and Telecommunications, Longzheng Chen Beijing University of Posts and Telecommunications, Ren Han Beijing University of Posts and Telecommunications
16:10
10m
Talk
What Do Developers Feel About Fast-Growing Programming Languages? An Exploratory StudyICPCICPC Full paper
ICPC Research Track
Jahnavi Kumar Indian Institute of Technology Tirupati, India, Sridhar Chimalakonda Indian Institute of Technology, Tirupati
16:20
10m
Talk
Understanding Regular Expression Denial of Service (ReDoS): Insights from LLM-Generated Regexes and Developer ForumsICPCICPC Full paper
ICPC Research Track
Mohammed Latif Siddiq University of Notre Dame, Jiahao Zhang , Joanna C. S. Santos University of Notre Dame
DOI Pre-print Media Attached File Attached
16:30
10m
Talk
Exploring Social Signals in Code Review: An Eye-Tracking Study of Urgency and Reputation EffectsICPCICPC Full paper
ICPC Research Track
Sara Yabesi Polytechnique Montreal, Mahta Amini Polytechnique Montreal, Jelena Ristic McGill University, Zohreh Sharafi Polytechnique Montréal
16:40
10m
Talk
On the comprehensibility of functional decomposition: An empirical studyICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Ewan Tempero University of Auckland, Paul Denny The University of Auckland, James Finnie-Ansley The University of Auckland, Andrew Luxton-Reilly The University of Auckland, Diana Kirk University of Auckland, Juho Leinonen Aalto University, Asma Shakil The University of Auckland, Robert Sheehan The University of Auckland, James Tizard University of Auckland, Yu-Cheng Tu The University of Auckland, Burkhard Wünsche University of Auckland
16:50
10m
Talk
Reassessing Java Code Readability Models with a Human-Centered ApproachICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Agnia Sergeyuk JetBrains Research, Olga Lvova JetBrains, Sergey Titov JetBrains Reserach, Anastasiia Serova JetBrains, Farid Bagirov JetBrains Research, Evgeniia Kirillova JetBrains Research, Timofey Bryksin JetBrains Research
17:00
8m
Talk
Exploring the Impact of Source Code Linearity on the Programmers' Comprehension of API Code ExamplesICPCICPC ERA PaperVirtual Talk
ICPC Early Research Achievements (ERA)
Seham Alharbi University of York, Dimitris Kolovos University of York
Pre-print
17:08
8m
Talk
Innovating Coding: Evaluating the Impact of Innovative Thinking in ProgrammingICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Anthonia Njoku Polytechnique Montreal, Mahta Amini Polytechnique Montreal, Zohreh Sharafi Polytechnique Montréal
17:16
14m
Talk
Empirical + Human Studies: Panel with SpeakersICPC
ICPC Discussion

16:00 - 18:00
16:00
2h
Other
Doctoral Symposium - 2
CAIN Doctoral Symposium

19:30 - 22:00
19:30
2h30m
Dinner
Social Event
MSR Social Events

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Development: practices and humans MSR Data and Tool Showcase Track / MSR Technical Papers at Almada Negreiros
Chair(s): Gema Rodríguez-Pérez University of British Columbia (UBC)
09:50
6m
Talk
Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot
MSR Technical Papers
Kei Koyanagi Kyushu University, Dong Wang Kyushu University, Japan, Kotaro Noguchi Kyushu University, Masanari Kondo Kyushu University, Alexander Serebrenik Eindhoven University of Technology, Yasutaka Kamei Kyushu University, Naoyasu Ubayashi Kyushu University
Pre-print
09:56
4m
Talk
A Four-Dimension Gold Standard Dataset for Opinion Mining in Software Engineering
MSR Data and Tool Showcase Track
Md Rakibul Islam Lamar University, Md Fazle Rabbi Idaho State University, Jo Youngeun Lamar University, Arifa Islam Champa Idaho State University, Ethan J Young Lamar University, Camden M Wilson Lamar University, Gavin J Scott Lamar University, Minhaz F. Zibran Idaho State University
10:00
4m
Talk
Opening the Valve on Pure-Data: Usage Patterns and Programming Practices of a Data-Flow Based Visual Programming Language
MSR Data and Tool Showcase Track
Anisha Islam Department of Computing Science, University of Alberta, Kalvin Eng University of Alberta, Abram Hindle University of Alberta
10:04
4m
Talk
The PIPr Dataset of Public Infrastructure as Code Programs
MSR Data and Tool Showcase Track
Daniel Sokolowski University of St. Gallen, David Spielmann University of St. Gallen, Guido Salvaneschi University of St. Gallen
Link to publication DOI Pre-print
10:08
4m
Talk
A Dataset of Microservices-based Open-Source Projects
MSR Data and Tool Showcase Track
Dario Amoroso d'Aragona Tampere University, Alexander Bakhtin University of Oulu, Xiaozhou Li University of Oulu, Ruoyu Su University of Oulu, Lauren Adams Baylor University, Ernesto Aponte Universidad del Sagrado Corazón, Francis Boyle Baylor University, Patrick Boyle Baylor University, Rachel Koerner Baylor University, Joseph Lee University of Richmond, Fangchao Tian University of Oulu, Yuqing Wang University of Oulu, Jesse Nyyssölä University of Helsinki, Ernesto Quevedo Baylor University, Shahidur Md Rahaman Baylor University, Amr Elsayed Baylor University, Mika Mäntylä University of Helsinki and University of Oulu, Tomas Cerny University of Arizona, Davide Taibi University of Oulu and Tampere University
10:12
4m
Talk
SensoDat: Simulation-based Sensor Dataset of Self-driving Cars
MSR Data and Tool Showcase Track
Christian Birchler Zurich University of Applied Sciences & University of Bern, Cyrill Rohrbach University of Bern, Switzerland, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences
10:16
4m
Talk
Incivility in Open Source Projects: A Comprehensive Annotated Dataset of Locked GitHub Issue Threads
MSR Data and Tool Showcase Track
Ramtin Ehsani Drexel University, Mia Mohammad Imran Virginia Commonwealth University, Robert Zita Elmhurst University, Kostadin Damevski Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA
10:20
4m
Talk
A Dataset of Atoms of Confusion in the Android Open Source Project
MSR Data and Tool Showcase Track
Davi Batista Tabosa Federal University of Ceará, Oton Pinheiro Federal University of Ceará, Lincoln Rocha Federal University of Ceará, Windson Viana Federal University of Ceará
10:24
4m
Talk
PlayMyData: a curated dataset of multi-platform video games
MSR Data and Tool Showcase Track
Andrea D'Angelo University of L'Aquila, Claudio Di Sipio University of L'Aquila, Cristiano Politowski DIRO, University of Montreal, Riccardo Rubei University of L'Aquila
09:00 - 10:30
Keynote and TutorialMSR Tutorials / MSR Keynotes at Grande Auditório
Chair(s): Romain Robbes
09:00
45m
Keynote
Questioning the questions we ask about the impact of AI on software engineering
MSR Keynotes
Margaret-Anne Storey University of Victoria
09:45
45m
Talk
Open Source Software Digital Sociology: Quantifying and Managing Complex Open Source Software Ecosystem
MSR Tutorials
Minghui Zhou Peking University, Yuxia Zhang Beijing Institute of Technology, Xin Tan Beihang University
09:00 - 10:30
Session 1: Welcome + Keynote + workshop activityMO2RE at Amadeo de Souza-Cardoso
Chair(s): Sallam Abualhaija University of Luxembourg, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Davide Fucci Blekinge Institute of Technology
09:00
10m
Day opening
Welcome to the 1st edition of MO2RE
MO2RE
Sallam Abualhaija University of Luxembourg, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Davide Fucci Blekinge Institute of Technology, Paola Spoletini Kennesaw State University
09:10
60m
Keynote
(When) Do we need to write (precise) requirements?
MO2RE
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
10:10
20m
Other
Invited reflections about MO2RE topics by Bashar Nuseibeh
MO2RE

09:00 - 10:30
Conference Opening & KeynoteAST at Amália Rodrigues
Chair(s): Francesca Lonetti CNR-ISTI, Mehrdad Saadatmand RISE Research Institutes of Sweden
09:15
15m
Other
Chairs Welcome
AST
Christof J. Budnik Siemens Corporation, Corporate Technology, Jenny Li Kean University, USA, Mehrdad Saadatmand RISE Research Institutes of Sweden
09:30
60m
Keynote
The future of testing: Unleashing creativity with power of AI
AST
Marko Ivanković Google; Universität Passau
File Attached
09:00 - 10:30
Opening and KeynoteQ-SE at Carlos Paredes
Chair(s): Jose García-Alonso Universidad de Extremadura, Lei Zhang University of Maryland Baltimore County
09:00
15m
Day opening
Opening
Q-SE
Jose García-Alonso Universidad de Extremadura, Lei Zhang University of Maryland Baltimore County
09:15
60m
Keynote
Innovating Quantum Software Testing: From Theoretical Challenges to Practical Solutions
Q-SE
Rui Abreu Meta & University of Porto
09:00 - 10:30
Opening and KeynoteIWSiB at Cottinelli Telmo
Chair(s): Jorge Melegati Free University of Bozen-Bolzano
09:00
15m
Day opening
Opening
IWSiB
Jorge Melegati Free University of Bozen-Bolzano, Dimitri Petrik , Andrey Saltan
09:15
60m
Keynote
Why Digitalization Will Kill Your Company Too
IWSiB
Jan Bosch Chalmers University of Technology
09:00 - 10:30
Opening and Paper Session 1FinanSE at Daciano da Costa
Chair(s): Vali Tawosi J.P. Morgan AI Research
09:15
15m
Day opening
Opening Session
FinanSE

09:30
25m
Long-paper
Enhancing Incident Management: Insights from a Case Study at ING
FinanSE
Eileen Kapel ING & Delft University of Technology, Luís Cruz Delft University of Technology, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arie van Deursen Delft University of Technology
09:55
25m
Long-paper
API-Miner: an API-to-API Specification Recommendation Engine
FinanSE
09:00 - 10:30
Session 1 - Keynote & MSR StudiesWSESE at Eugénio de Andrade
Chair(s): Andreas Jedlitschka Fraunhofer IESE
09:00
15m
Welcome
WSESE
Sira Vegas Universidad Politecnica de Madrid, Andreas Jedlitschka Fraunhofer IESE
09:15
45m
Keynote
Are we Getting Reliable Evidence? Methodology is Critical in Empirical Studies
WSESE
Natalia Juristo Universidad Politecnica de Madrid
10:00
15m
Talk
Lessons Learned from Mining the Hugging Face Repository
WSESE
Joel Castaño Fernández Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, Xavier Franch Universitat Politècnica de Catalunya
Link to publication Pre-print
10:15
15m
Talk
The Role of Data Filtering in Open Source Software Ranking and Selection
WSESE
Addi Malviya-Thakur The University of Tennessee, Knoxville / Oak Ridge National Laboratory, Audris Mockus The University of Tennessee, Knoxville / Vilnius University
09:00 - 10:30
Welcome, Introductions, KeynoteDoctoral Symposium at Fernando Pessoa
Chair(s): Jürgen Cito TU Wien, Julia Rubin University of British Columbia
09:00
30m
Day opening
Welcome to the Doctoral Symposium
Doctoral Symposium
Julia Rubin University of British Columbia, Jürgen Cito TU Wien
09:30
60m
Keynote
Post-Ph.D. Career Advice: Risk, Communication, and You
Doctoral Symposium
Westley Weimer University of Michigan
09:00 - 10:30
Session 1RAIE at Glicínia Quartin
Chair(s): Maximilian Poretschkin Fraunhofer IAIS & University of Bonn
09:00
10m
Day opening
Opening
RAIE
Qinghua Lu Data61, CSIRO
09:10
30m
Keynote
Machine Learning Software Engineering Patterns and Their Engineering Approaches
RAIE
Hironori Washizaki Waseda University
09:40
10m
Long-paper
Towards Trustworthy AI Engineering - A Case Study on integrating an AI audit catalog into MLOps processes
RAIE
09:50
10m
Long-paper
Responsible AI Engineering: The Case of an Inclusive Image Annotation Team in a Global Technology Company
RAIE
Bernhard Schenkenfelder Software Competence Center Hagenberg GmbH, Ulrich Brandstätter , Lukas Fischer Software Competence Center Hagenberg GmbH, Rudolf Ramler Software Competence Center Hagenberg (SCCH), Dominik Laister , Martin Hartl , Markus Wurm
10:00
10m
Short-paper
Towards Explainability as a Functional Requirement: A Vision to Integrate the Legal, End-User, and ML Engineer Perspectives
RAIE
Umm e Habiba University of Stuttgart, Germany, Justus Bogner Vrije Universiteit Amsterdam, Stefan Wagner Technical University of Munich
10:10
10m
Long-paper
PARMA: a Platform Architecture to enable Automated, Reproducible, and Multi-party Assessments of AI Trustworthiness
RAIE
10:20
10m
Long-paper
Code Ownership in Open-Source AI Software Security
RAIE
Jiawen wen , Dong Yuan , Lei Ma The University of Tokyo & University of Alberta, Huaming Chen The University of Sydney
09:00 - 10:30
Introduction & Ice BreakingSMeW - Student Mentoring Workshop at Lopes Graça

Welcome, ice-breaking activities, discussion on academic well-being, building a mentoring network, how to get the most out of your mentoring experience, etc.

09:00
90m
Day opening
Introduction & Ice Breaking
SMeW - Student Mentoring Workshop

File Attached
09:00 - 10:30
Session 5: Keynote by Jun Sun + AwardsSEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco
09:00
60m
Keynote
Keynote: Towards Always Law-Abiding Self-Driving
SEAMS Research Track
Jun Sun Singapore Management University
10:00
20m
Awards
Most Influential Paper Award 2014
SEAMS Research Track

10:20
10m
Awards
SEAMS Best Paper and Artifact Awards
SEAMS Research Track

09:00 - 10:30
Test Input GenerationKLEE at Maria Helena Vieira da Silva
Chair(s): Sergey Mechtaev University College London
09:00
22m
Talk
Complex Test Input Generation in KLEE
KLEE
P: Alexey Babushkin Explyt, Aleksandr Misonizhnik Explyt, Yurii Kostyukov RnD Toolchain Labs, Huawei, Dmitry Mordvinov Huawei, Dmitry Ivanov Huawei
09:22
22m
Talk
Precise Lazy Initialization for Programs with Complex Heap Inputs
KLEE
P: Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Alessandra Gorla IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto
09:44
22m
Talk
Automating Differential Testing with Over-approximate Symbolic Execution
KLEE
Richard Rutledge Georgia Institute of Technology, P: Alessandro Orso Georgia Institute of Technology
10:06
22m
Talk
How the SHA-3 Buffer Overflow Was Found using KLEE
KLEE
P: Nicky Mouha Strativia / NIST Associate
09:00 - 09:30
OpeningNew Faculty Symposium at Pequeno Auditório

The symposium will provide plenty of time for informal interaction and will facilitate conversations with a series of short talks covering a broad range of issues faced by faculty members as well as interactive sessions. The NFS will be open to anyone who registered for ICSE main conference. For maximum benefit, including connecting to your peers, we recommend young faculty members to attend the full day.

09:00
30m
Talk
Introduction and Self-Introduction
New Faculty Symposium
David Lo Singapore Management University, Arie van Deursen Delft University of Technology
09:00 - 10:30
Keynote + MIPICPC Keynotes / at Sophia de Mello Breyner Andresen
Chair(s): Olga Baysal Carleton University, Kevin Moran University of Central Florida, Andrew Begel Carnegie Mellon University, Leon Moonen Simula Research Laboratory and BI Norwegian Business School
09:00
60m
Talk
Keynote 2: Cultivating Research to Enhance the CI/CD of AAA Video GamesICPCICPC Keynote
ICPC Keynotes
Sarra Habchi Ubisoft Montréal
10:00
30m
Talk
ICPC MIP: Automatic documentation generation via source code summarization of method contextICPCICPC MIP
ICPC MIP Talk
Paul W. McBurney , Collin McMillan University of Notre Dame
09:00 - 10:30
Opening and KeynoteGI@ICSE at Vianna da Motta
Chair(s): Gabin An Korea Advanced Institute of Science and Technology, Aymeric Blot University of Rennes / IRISA / INRIA, Oliver Krauss University of Applied Sciences Upper Austria, William B. Langdon University College London, Vesna Nowack Imperial College London, Justyna Petke University College London
09:00
15m
Day opening
Welcome and Introductions
GI@ICSE

09:15
75m
Keynote
Executing One’s Way out of the Chinese Room
GI@ICSE
Shin Yoo KAIST
09:30 - 10:30
Session 1: Vision & FundingNew Faculty Symposium at Pequeno Auditório
09:30
30m
Talk
Building Your Research Vision
New Faculty Symposium
Claire Le Goues Carnegie Mellon University
10:00
30m
Talk
Funding Strategies
New Faculty Symposium
Denys Poshyvanyk William & Mary
10:30 - 11:00
Coffee BreakCatering at Open Space
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Process automation & DevOps and Tutorial IMSR Technical Papers / MSR Tutorials at Almada Negreiros
Chair(s): Tom Mens University of Mons, Ayushi Rastogi University of Groningen, The Netherlands
11:00
12m
Talk
Learning to Predict and Improve Build Successes in Package Ecosystems
MSR Technical Papers
Harshitha Menon Lawrence Livermore National Lab, Daniel Nichols University of Maryland, College Park, Abhinav Bhatele University of Maryland, College Park, Todd Gamblin Lawrence Livermore National Laboratory
11:12
12m
Talk
The Impact of Code Ownership of DevOps Artefacts on the Outcome of DevOps CI Builds
MSR Technical Papers
Ajiromola Kola-Olawuyi University of Waterloo, Nimmi Rashinika Weeraddana University of Waterloo, Mei Nagappan University of Waterloo
11:24
12m
Talk
A Mutation-Guided Assessment of Acceleration Approaches for Continuous Integration: An Empirical Study of YourBase
MSR Technical Papers
Zhili Zeng University of Waterloo, Tao Xiao Nara Institute of Science and Technology, Maxime Lamothe Polytechnique Montreal, Hideaki Hata Shinshu University, Shane McIntosh University of Waterloo
Pre-print
11:45
45m
Talk
Cohort Studies for Mining Software Repositories
MSR Tutorials
Nyyti Saarimäki Tampere University, Sira Vegas Universidad Politecnica de Madrid, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu and Tampere University , Mikel Robredo University of Oulu
11:00 - 12:30
11:00
12m
Talk
Unveiling ChatGPT's Usage in Open Source Projects: A Mining-based Study
MSR Technical Papers
Rosalia Tufano Università della Svizzera Italiana, Antonio Mastropaolo Università della Svizzera italiana, Federica Pepe University of Sannio, Ozren Dabic Software Institute, Università della Svizzera italiana (USI), Switzerland, Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
11:12
12m
Talk
DRMiner: A Tool For Identifying And Analyzing Refactorings In Dockerfile
MSR Technical Papers
Emna Ksontini University of Michigan - Dearborn, Aycha Abid Oakland University, Rania Khalsi University of Michigan - Flint, Marouane Kessentini University of Michigan - Flint
11:24
12m
Talk
A Large-Scale Empirical Study of Open Source License Usage: Practices and Challenges
MSR Technical Papers
Jiaqi Wu Zhejiang University, Lingfeng Bao Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Huawei Technologies, Xing Hu Zhejiang University
11:36
12m
Talk
Analyzing the Evolution and Maintenance of ML Models on Hugging Face
MSR Technical Papers
Joel Castaño Fernández Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, Xavier Franch Universitat Politècnica de Catalunya, Justus Bogner Vrije Universiteit Amsterdam
Link to publication Pre-print
11:48
12m
Talk
On the Anatomy of Real-World R Code for Static Analysis
MSR Technical Papers
Florian Sihler Ulm University, Lukas Pietzschmann Ulm University, Raphael Straub Ulm University, Matthias Tichy Ulm University, Germany, Andor Diera Ulm University, Abdelhalim Dahou GESIS Leibniz Institute for the Social Sciences
Pre-print File Attached
12:00
6m
Talk
Encoding Version History Context for Better Code Representation
MSR Technical Papers
Huy Nguyen The University of Melbourne, Christoph Treude Singapore Management University, Patanamon Thongtanunam University of Melbourne
Pre-print
12:06
4m
Talk
CodeLL: A Lifelong Learning Dataset to Support the Co-Evolution of Data and Language Models of Code
MSR Data and Tool Showcase Track
Martin Weyssow DIRO, Université de Montréal, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Houari Sahraoui DIRO, Université de Montréal
12:10
4m
Talk
Bidirectional Paper-Repository Tracing in Software Engineering
MSR Data and Tool Showcase Track
Daniel Garijo , Miguel Arroyo Universidad Politécnica de Madrid, Esteban González Guardia Universidad Politécnica de Madrid, Christoph Treude Singapore Management University, Nicola Tarocco CERN
12:14
4m
Talk
DistilKaggle: A Distilled Dataset of Kaggle Jupyter Notebooks
MSR Data and Tool Showcase Track
Mojtaba Mostafavi Department of Computer Engineering of Sharif University of Technology, Arash Asgari Department of Computer Engineering of Sharif University of Technology, Mohammad Abolnejadian Department of Computer Engineering of Sharif University of Technology, Abbas Heydarnoori Bowling Green State University
12:18
5m
Talk
Estimating Usage of Open Source Projects
MSR Industry Track
Sophia Vargas Google LLC, Georg Link Bitergia, JaYoung Lee Google
11:00 - 12:30
Session 2: Architecture&Evolution + workshop activityMO2RE at Amadeo de Souza-Cardoso
Chair(s): Alessio Ferrari CNR-ISTI
11:00
30m
Research paper
Post-Incident Action Items: Crossroads of Requirements Engineering and Software Evolution
MO2RE
Matt Pope Brigham Young University, Jonathan Sillito Brigham Young University
Pre-print
11:30
30m
Research paper
Probing with Precision: Probing Question Generation for Architectural Information Elicitation
MO2RE
Gokul Rejithkumar TCS Research, Preethu Rose Anish TCS Research, Jyoti Shukla TCS Research, Smita Ghaisas TCS Research
Pre-print
12:00
30m
Other
Why RE is not sufficiently represented in SE
MO2RE

11:00 - 12:30
Session 4: AI-based testingAST at Amália Rodrigues
Chair(s): Mahshid Helali Moghadam Scania R&D
11:00
20m
Full-paper
Machine Learning-based Test Case Prioritization using Hyperparameter Optimization
AST
Md Asif Khan Ontario Tech University, Akramul Azim Ontario Tech University, Ramiro Liscano Ontario Tech University, Kevin Smith International Business Machines Corporation (IBM), Yee-Kang Chang International Business Machines Corporation (IBM), Qasim Tauseef International Business Machines Corporation (IBM), Gkerta Seferi International Business Machines Corporation (IBM)
11:20
20m
Full-paper
Testing for Fault Diversity in Reinforcement LearningBest Paper Award
AST
Quentin Mazouni Simula Research Laboratory, Helge Spieker Simula Research Laboratory, Norway, Arnaud Gotlieb Simula Research Laboratory, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France
11:40
20m
Full-paper
FairPipes: Data Mutation Pipelines for Machine Learning Fairness
AST
Camille Molinier ESIR, University of Rennes, Paul Temple IRISA, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur
12:00
10m
Poster
Reducing Workload in Using AI-based API REST Test Generation
AST
Benjamin Leu University of Applied Sciences and Arts Northwestern Switzerland, Jonas Volken University of Applied Sciences and Arts Northwestern Switzerland, Martin Kropp University of Applied Sciences and Arts Northwestern Switzerland, Nejdet Dogru Testifi GmbH, Craig Anslow Victoria University of Wellington, Robert Biddle Carleton University
12:10
15m
Short-paper
Identifying Performance Issues in Microservice Architectures through Causal Reasoning
AST
Luca Giamattei Università di Napoli Federico II, Antonio Guerriero Università di Napoli Federico II, Ivano Malavolta Vrije Universiteit Amsterdam, Cristian Mascia University of Naples Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II
11:00 - 12:30
Quality Assurance for Quantum SoftwareQ-SE at Carlos Paredes
Chair(s): Ricardo Pérez-Castillo University of Castilla-La Mancha
11:00
30m
Research paper
Delta Debugging for Property-Based Regression Testing of Quantum Programs
Q-SE
11:30
30m
Research paper
On Repairing Quantum Programs Using ChatGPT
Q-SE
Xiaoyu Guo , Jianjun Zhao Kyushu University, Pengzhan Zhao Kyushu University
12:00
20m
Short-paper
On the Need for Effective Tools for Debugging Quantum Programs
Q-SE
Olivia Di Matteo University of British Columbia
11:00 - 12:30
AI & Software-intensive businessIWSiB at Cottinelli Telmo
Chair(s): Dimitri Petrik
11:00
20m
Talk
How To Get Good At Data: 5 Steps
IWSiB
Helena Holmström Olsson Malmö University, Jan Bosch Chalmers University of Technology
11:20
20m
Talk
Artificial Intelligence in the Public Sector -- An Agenda for Responsible Innovation through Learning
IWSiB
Leif Knutsen Simula Metropolitan Center for Digital Engineering, Jo Hannay Simula Research Laboratory, Michael A Riegler Simula Metropolitan Center for Digital Engineering
11:40
20m
Talk
Human-AI Collaboration in Software Engineering: Lessons Learned from a Hands-On Workshop
IWSiB
Muhammad Hamza Lappeenranta-Lahti University of Technology (LUT), Dominik Siemon LUT University, Muhammad Azeem Akbar LUT University, Tahsinur Rahman LUT University
12:00
20m
Talk
Researchers’ Concerns on Artificial Intelligence Ethics: Results from a Scenario-Based Survey
IWSiB
Marianna Jantunen University of Jyväskylä, Richard Meyes Chair of Technologies and Management of the Digital Transformation, University of Wuppertal, Veronika Kurchyna German Research Center for Artificial Intelligence, Tobias Meisen Bergische Universität Wuppertal, Pekka Abrahamsson University of Jyväskylä, Rahul Mohanani University of Jyväskylä
11:00 - 12:30
Keynote 1 and Paper SessionFinanSE at Daciano da Costa
Chair(s): Vali Tawosi J.P. Morgan AI Research
11:00
60m
Keynote
Augmented Agile: Human-centred AI-assisted Software Project Management
FinanSE
Rashina Hoda Monash University
12:00
15m
Short-paper
Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques
FinanSE
Marcello Ceci University of Luxembourg, Nicolas Sannier University of Luxembourg, SnT, Donghwan Shin University of Sheffield, Sallam Abualhaija University of Luxembourg, Domenico Bianculli University of Luxembourg, Michael Halling University of Luxembourg
11:00 - 12:30
Session 2 - Quality of evidence generated & Secondary StudiesWSESE at Eugénio de Andrade
Chair(s): Andreas Jedlitschka Fraunhofer IESE
11:00
12m
Talk
Evidence Tetris in the Pixelated World of Validity Threats
WSESE
Marvin Wyrich Saarland University, Sven Apel Saarland University
Pre-print
11:12
12m
Talk
Revisiting the construct and assessment of industrial relevance in software engineering research
WSESE
Kai Petersen Blekinge Institute of Technology/Ericsson AB, J�rgen B�rstler Blekinge Institute of Technology, Nauman Bin Ali Blekinge Institute of Technology, Emelie Engstrom Lund University
11:24
15m
Talk
Grounded Theory in Software Engineering: Challenges and Lessons Learned from the Trenches
WSESE
Pilar Rodriguez Universidad Politécnica de Madrid
11:39
18m
Talk
A Second Look at the Impact of Passive Voice Requirements on Domain Modeling: Bayesian Reanalysis of an Experiment
WSESE
Julian Frattini Blekinge Institute of Technology, Davide Fucci Blekinge Institute of Technology, Richard Torkar Chalmers and the University of Gothenburg, Daniel Mendez Blekinge Institute of Technology and fortiss
DOI Pre-print
11:57
18m
Talk
Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates
WSESE
Bianca Minetto Napoleão Université du Québec à Chicoutimi, Ritika Sarkar Université du Québec à Chicoutimi, Sylvain Hallé Université du Québec à Chicoutimi, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
12:15
15m
Talk
Apples, Oranges, and Software Engineering: Study Selection Challenges for Secondary Research on Latent Variables
WSESE
Marvin Wyrich Saarland University, Marvin Muñoz Barón University of Stuttgart, Justus Bogner Vrije Universiteit Amsterdam
Pre-print
11:00 - 12:30
Session 2RAIE at Glicínia Quartin
Chair(s): Foutse Khomh École Polytechnique de Montréal
11:00
30m
Keynote
Is Generative AI Fit for Your Use Case?
RAIE
Ipek Ozkaya Carnegie Mellon University
11:30
20m
Other
Book Lounge - Responsible AI: Best Practices for Creating Trustworthy AI Systems
RAIE

Link to publication
11:50
10m
Long-paper
A Vision for Operationalising Diversity and Inclusion in AI
RAIE
Muneera Bano CSIRO's Data61, Didar Zowghi CSIRO's Data61 - University of Technology Sydney - University of New South Wales, Vincenzo Gervasi University of Pisa
12:00
10m
Long-paper
Software Systems Compliance with the AI Act
RAIE
12:10
10m
Short-paper
Do Generative AI Tools Ensure Green Code? An Investigative Study
RAIE
Samarth Sikand Accenture Labs, Rohit Mehra Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
12:20
10m
Day closing
Closing
RAIE
Qinghua Lu Data61, CSIRO
11:00 - 12:30
Presentations & Group Q&ASMeW - Student Mentoring Workshop at Lopes Graça

Presentation on networking/making friends at conferences with interactive activities to practice, aiming to help students get the most out of ICSE experience.

11:00
90m
Talk
Presentations & Group Q&A
SMeW - Student Mentoring Workshop

File Attached
11:00 - 12:30
Session 6: Self-Recovery & Evaluation SEAMS Research Track / SEAMS Artifact Track at Luis de Freitas Branco
Chair(s): Dalal Alrajeh Imperial College London
11:00
25m
Talk
Raft Protocol for Fault Tolerance and Self-Recovery in Federated LearningFULL
SEAMS Research Track
Rustem Dautov SINTEF, Erik Johannes Husom SINTEF Digital
11:25
25m
Talk
Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationFULL
SEAMS Research Track
Simon Chu Carnegie Mellon University, Justin Koe The Cooper Union, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
11:50
25m
Talk
Learning Recovery Strategies for Dynamic Self-healing in Reactive SystemsFULL
SEAMS Research Track
Mateo Sanabria Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Nicolás Cardozo Universidad de los Andes
Pre-print
12:15
15m
Talk
SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled SystemsARTIFACT
SEAMS Artifact Track
Arya Marda IIIT Hyderabad, Shubham Kulkarni IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
Pre-print Media Attached
11:00 - 12:30
Program Repair & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Martin Nowack Imperial College London
11:00
22m
Talk
Concolic Program Repair
KLEE
P: Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore
Link to publication DOI Pre-print
11:22
22m
Talk
Program Repair Guided by Datalog-defined Static Analysis
KLEE
Yu Liu National University of Singapore, P: Sergey Mechtaev University College London, Pavle Subotic Fantom Foundation, Abhik Roychoudhury National University of Singapore
11:44
46m
Keynote
Symbolic PathFinder: Symbolic Execution for Java
KLEE
Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
11:00 - 12:30
Session 2: Networking, Service & TeachingNew Faculty Symposium at Pequeno Auditório
11:00
30m
Talk
Building a Collaborative Research Network
New Faculty Symposium
Foutse Khomh École Polytechnique de Montréal
11:30
30m
Talk
Service to the Community
New Faculty Symposium
Massimiliano Di Penta University of Sannio, Italy
Pre-print
12:00
30m
Talk
Teaching and Instructional Work
New Faculty Symposium
Janet Siegmund Chemnitz University of Technology
File Attached
11:00 - 12:30
11:00
10m
Talk
What the Fix? A Study of ASAT Rules DocumentationICPCICPC Full paper
ICPC Research Track
Corentin Latappy Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, Promyze, Thomas Degueule CNRS, Jean-Rémy Falleri Bordeaux INP, Romain Robbes CNRS, LaBRI, University of Bordeaux, Xavier Blanc Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, Cédric Teyton Promyze, Bordeaux, France
Pre-print
11:10
10m
Talk
SolaSim: Clone Detection for Solana Smart Contracts via Program RepresentationICPCICPC Full paper
ICPC Research Track
Che Wang Peking University, China, Yue Li Peking University, Jianbo Gao Peking University, Ke Wang Peking University, Jiashuo Zhang Peking University, China, Zhi Guan Peking University, Zhong Chen
11:20
10m
Talk
The Impact of Compiler Warnings on Code Quality in C++ ProjectsICPCICPC Full paper
ICPC Research Track
Albin Johansson Chalmers University of Technology, Carl Holmberg Chalmers University of Technology, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg
11:30
10m
Talk
Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning AttacksICPCICPC Full paper
ICPC Research Track
Domenico Cotroneo University of Naples Federico II, Cristina Improta University of Naples Federico II, Pietro Liguori University of Naples Federico II, Roberto Natella Federico II University of Naples
Pre-print
11:40
10m
Talk
A Just-in-time Software Defect Localization Method based on Code Graph RepresentationICPCICPC Full paperVirtual-Talk
ICPC Research Track
Huan Zhang Central South University, Wei-Huan Min Central South University, Zhao Wei Tencent, Li Kuang School of Computer Science and Engineering, Central South University, Hong-Hao Gao Shanghai University, Huai-Kou Miao Shanghai University
11:50
10m
Talk
SICode: Embedding-Based Subgraph Isomorphism Identification for Bug DetectionICPCICPC Full paper
ICPC Research Track
Yuanjun Gong Renmin University of China, Jianglei Nie Renmin University of China, Wei You Renmin University of China, Wenchang Shi Renmin University of China, China, Jianjun Huang Renmin University of China, Bin Liang Renmin University of China, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
12:00
10m
Talk
Tuning Code Smell Prediction Models: A Replication StudyICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Henrique Gomes Nunes Federal University of Minas Gerais (UFMG), Amanda Santana Federal University of Minas Gerais (UFMG), Eduardo Figueiredo Federal University of Minas Gerais, Brazil, Heitor Augustus Xavier Costa Federal University of Lavras
12:10
8m
Talk
Studying Vulnerable Code Entities in RICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Zixiao Zhao University of British Columbia, Millon Madhur Das Indian Institute of Technology Kharagpur, Fatemeh Hendijani Fard University of British Columbia
12:18
12m
Talk
Bugs, Defects, and Code Quality: Panel with SpeakersICPC
ICPC Discussion

11:00 - 12:30
Presentation Session 1GI@ICSE at Vianna da Motta
Chair(s): Gabin An Korea Advanced Institute of Science and Technology, Justyna Petke University College London
11:00
30m
Talk
Deep Mutations have Little Impact
GI@ICSE
William Langdon University College London
11:30
30m
Talk
Grammar evolution and symbolic regression for astrometric centering of Hubble Space Telescope images
GI@ICSE
R. Sarmiento Universidad Internacional de la Rioja (UNIR), Spain, M. de la Cruz Universidad Internacional de la Rioja (UNIR), Spain, A. Ortega Universidad Internacional de la Rioja (UNIR), Spain, R. Baena-Galle Universidad Internacional de la Rioja (UNIR), Spain, T.M. Girard Southern Connecticut State University, USA, D.I. Casetti-Dinescu Southern Connecticut State University, USA, A. Cervantes Universidad Internacional de la Rioja (UNIR), Spain
12:00
15m
Talk
Genetic Improvement for DNN Security
GI@ICSE
Hunter Baxter Vanderbilt University, Yu Huang Vanderbilt University, Kevin Leach Vanderbilt University
12:15
15m
Other
Discussion
GI@ICSE

12:30 - 14:00
JSS Board Meeting (lunch)Social Events at Glicínia Quartin
12:30
90m
Meeting
JSS Board Meeting (lunch)
Social Events

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Process automation & DevOps IIMSR Technical Papers / MSR Data and Tool Showcase Track at Almada Negreiros
Chair(s): Shane McIntosh University of Waterloo
14:00
12m
Talk
Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems
MSR Technical Papers
Georges Aaron RANDRIANAINA Université de Rennes 1, IRISA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Olivier Zendra Inria, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France
14:12
12m
Talk
How do Machine Learning Projects use Continuous Integration Practices? An Empirical Study on GitHub Actions
MSR Technical Papers
João Helis Bernardo Federal Institute of Education, Science and Technology of Rio Grande do Norte, Daniel Alencar Da Costa University of Otago, Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Uirá Kulesza Federal University of Rio Grande do Norte
DOI Pre-print
14:24
4m
Talk
A dataset of GitHub Actions workflow histories
MSR Data and Tool Showcase Track
Guillaume Cardoen University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS
14:28
4m
Talk
gawd: A Differencing Tool for GitHub Actions Workflows
MSR Data and Tool Showcase Track
Pooya Rostami Mazrae University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons
14:32
4m
Talk
RABBIT: A tool for identifying bot accounts based on their recent GitHub event history
MSR Data and Tool Showcase Track
Natarajan Chidambaram University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS
14:36
12m
Talk
An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem
MSR Technical Papers
Xingyu Li UC Riverside, Zheng Zhang UC Riverside, Zhiyun Qian University of California at Riverside, USA, Trent Jaeger UC Riverside, Chengyu Song University of California at Riverside, USA
14:48
4m
Talk
BugsPHP: A dataset for Automated Program Repair in PHP
MSR Data and Tool Showcase Track
K.D. Pramod University of Moratuwa, Sri Lanka, W.T.N. De Silva University of Moratuwa, Sri Lanka, W.U.K. Thabrew University of Moratuwa, Sri Lanka, Ridwan Salihin Shariffdeen National University of Singapore, Sandareka Wickramanayake University of Moratuwa, Sri Lanka
Pre-print
14:00 - 15:30
Security and Vision & ReflectionMSR Data and Tool Showcase Track / MSR Technical Papers / MSR Registered Reports / MSR Vision and Reflection at Grande Auditório
Chair(s): Tim Menzies North Carolina State University
14:00
12m
Talk
Quantifying Security Issues in Reusable JavaScript Actions in GitHub Workflows
MSR Technical Papers
Hassan Onsori Delicheh University of Mons, Belgium, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons
Pre-print
14:12
12m
Talk
What Can Self-Admitted Technical Debt Tell Us About Security? A Mixed-Methods Study
MSR Technical Papers
Nicolás E. Díaz Ferreyra Hamburg University of Technology, Mojtaba Shahin RMIT University, Mansooreh Zahedi The Univeristy of Melbourne, Sodiq Quadri Hamburg University of Technology, Riccardo Scandariato Hamburg University of Technology
Pre-print
14:24
12m
Talk
Are Latent Vulnerabilities Hidden Gems for Software Vulnerability Prediction? An Empirical Study
MSR Technical Papers
Triet Le The University of Adelaide, Xiaoning Du Monash University, Australia, Muhammad Ali Babar School of Computer Science, The University of Adelaide
14:36
4m
Talk
MalwareBench: Malware samples are not enough
MSR Data and Tool Showcase Track
Nusrat Zahan North Carolina State University, Philipp Burckhardt Socket, Inc, Mikola Lysenko Socket, Inc, Feross Aboukhadijeh Socket, Inc, Laurie Williams North Carolina State University
14:40
4m
Talk
Hash4Patch: A Lightweight Low False Positive Tool for Finding Vulnerability Patch Commits
MSR Data and Tool Showcase Track
Simone Scalco University of Trento, Ranindya Paramitha University of Trento
14:44
4m
Talk
MegaVul: A C/C++ Vulnerability Dataset with Comprehensive Code Representations
MSR Data and Tool Showcase Track
Chao Ni School of Software Technology, Zhejiang University, Liyu Shen Zhejiang University, Xiaohu Yang Zhejiang University, Yan Zhu Zhejiang University, Shaohua Wang Central University of Finance and Economics