Program - ICSE 2023

Write a Blog >>

Sun 14 - Sat 20 May 2023 Melbourne, Australia

Detailed Table Session Timeline Detailed Timeline Column Timeline

Get Calendar (iCal)

Time Zone

The program is currently displayed in (GMT+10:00) Hobart.

Use conference time zone: (GMT+10:00) HobartSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

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

Sun 14 May
Displayed time zone: Hobart change

Sun 14 May

Level 1 Exhibtion Space

Meeting Room 101

Meeting Room 102

Meeting Room 103

Meeting Room 104

Meeting Room 105

Meeting Room 107

Meeting Room 108

Meeting Room 109

Meeting Room 110

Meeting Room 112

8:40

Welcome from the workshop chairs

Reyhaneh Jabbarvand

9:00

Conference Opening

First day opening

Igor Steinmacher

SESoS Opening

Rodrigo Santos, Antonia Bertolino, Pablo Oliveira Antonino, Doo-Hwan Bae

Introduction from the Chairs

Keynote: Software Engineering in the Age of Generative AI, Yet Not Explainable!

Kla Tantithamthavorn

Titus Winters: Tech Debt Metaphors Aren’t Helping

Leakage Logic for programs

Annabelle McIver

Giovani Guizzo, Alessio Gambi, Sebastiano Panichella

Paolo Arcaini, Andriy Miranskyy

Opening remarks

9:20

The Inclusive Developer: Perspectives and Considerations for Building Inclusive Software

A.I.gile - How Agile and AI (e)merge in practice

Philipp Diebold

Truth or Dare: Real-World Fuzz Testing of UAVs in Flight

Jane Cleland-Huang

Challenges in Engineering Antifragile Systems of Systems

Raffaela Mirandola

A Study on the Energy Consumption and Performance of Single-Activity Android Apps

Carolina Neves, ChiaYu Lin, Srishti Nigam, Daumantas Patapas, Ander Eguiluz, Tanjina Islam, Ivano Malavolta

Quantum Computing: Challenges and Opportunities for Software Engineering

Udson C. Mendes

Keynote talk: Metamorphic Testing of Developer Tools

9:40

Digital Twin for Sustainability Assessment and Policy Evaluation: A Systematic Literature Review

Retrain AI Systems Responsibly! Use Sustainable Concept Drift Adaptation Techniques

Lorena Poenaru-Olaru, June Sallou, Luís Cruz, Jan S. Rellermeyer, Arie van Deursen

Sustain the Smartness: From Smart Things to Sustainable Smart Things

10:00

Optimising Workflow execution for energy consumption and Performance

Mehul Warade, Kevin Lee, Chathu Ranaweera, Jean-Guy Schneider

ASTRO: An AST-Assisted Approach for Generalizable Neural Clone Detection

Yifan Zhang, Junwen Yang, Haoyu Dong, Qingchen Wang, Huajie Shao, Kevin Leach, Yu Huang

Toward understanding digital support for climate neutral, inclusive and beautiful cities: A systematic literature review

Alicia JW Takaoka, Dirk Ahlers, Ferdinand Ward Ådlandsvik, Eivind Syrdalen Dovland, Letizia Jaccheri

10:20

Digital Twins for Sustainable Software Systems

10:40

11:00

An Exploratory Study on the Occurrence of Self-Admitted Technical Debt in Android Apps

Gregory Wilder II, Riley Miyamoto, Samuel Watson, Rick Kazman, Anthony Peruma

Goal Controller Synthesis for Self-Adaptive Systems

Radu Calinescu, Genaína Nunes Rodrigues

Post-pandemic Resilience of Hybrid Software Teams

Ronnie de Souza Santos, Gianisa Adisaputri, Paul Ralph

Automatically Generating Dockerfiles via Deep-Learning: Challenges and Promises

Giovanni Rosa, Antonio Mastropaolo, Simone Scalabrino, Gabriele Bavota, Rocco Oliveto

Discussion Panel: Testing and Security for Cyber-Physical Systems

Aitor Arrieta, Annibale Panichella, Jane Cleland-Huang, Lionel Briand, Mohammad Reza Mousavi, Shaukat Ali

Achieving Interoperability with MBSE and Asset Administration Shells: Integration of MATLAB/Simulink and BaSyx

Mateus Molina, Tagline Treichel

Working session / breakouts

MCBeth: A Measurement-based Quantum Programming Language

Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand

Study of Distractors in Neural Models of Code

Rafiqul Rabin, Aftab Hussain, Sahil Suneja, Amin Alipour

Metamorphic Testing of Advanced Driver-Assistance Systems: Implementing Euro NCAP Standards on OpenStreetMap

11:20

On the perceived relevance of critical internal quality attributes when evolving software features

Eduardo Fernandes, Marcos Kalinowski

An Experience Report on Assessing Software Engineer’s Outputs in Practice

Juzheng Zhang, He Zhang, Lanxin Yang, Liming Dong, Yue Li

Virtual validation of the system architecture design of a production plant with regard to fault tolerance

Thomas Bauer, Felix Schulte-Langforth, Zain Shahwar, Bernd Bredehorst

Automatically Identifying Relations Between Self-Admitted Technical Debt Across Different Sources

Yikun Li, Mohamed Soliman, Paris Avgeriou

Generating Presence-Absence Matrices by Quantum Annealing

Philippe Codognet

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability

Mykhailo Ivashchenko, Sung Woo Choi, Luan Nguyen, Hoang-Dung Tran

A Study of Variable-Role-based Feature Enrichment in Neural Models of Code

Aftab Hussain, Rafiqul Rabin, Bowen Xu, David Lo, Amin Alipour

Metamorphic Testing Harness for the Baidu Apollo Perception-Camera Module

Yifan Zhang, Dave Towey, Matthew pike, Jia Cheng Han, George Zhou, Chenghao Yin, Qian Wang, Chen Xie

Social Networks during Software Ecosystems’ Death

Pedro Arantes, Felipe Soupinski, Awdren Fontão

11:40

What's behind tight deadlines? Business causes of technical debt

Rodrigo Rebouças de Almeida, Christoph Treude, Uirá Kulesza

Automatic Detection of Security Deficiencies and Refactoring Advises for Microservices

Burak Ünver, Ricardo Britto

Automated Self-Admitted Technical Debt Tracking at Commit-Level: A Language-independent Approach

Mohammad Sadegh Sheikhaei, Yuan Tian

Dynamic Output State Classification for Quantum Computers

Hector Menendez, Luciano Bello, David Clark

Towards a SECO for Carbon Credit Control

Luiz Fernando Santos, Jonas Gomes, Regina Braga, José Maria David, Victor Ströele

12:00

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning

Marcello Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo Rossi

Accounting for socio-technical resilience in software engineering

Tamara Lopez, Helen Sharp, Michel Wermelinger, Melanie Langer, Mark Levine, Caroline Jay, Yijun Yu, Bashar Nuseibeh

On the Strengths of Pure Evolutionary Algorithms in Generating Adversarial Examples

Antony Bartlett, Cynthia C. S. Liem, Annibale Panichella

Half Day Wrap Up

A Metamorphic Testing Framework and Toolkit for Modular Automated Driving Systems

Riley Underwood, Quang-Hung Luu, Huai Liu

Measuring Improvement of F1-Scores in Detection of Self-Admitted Technical Debt

William Aiken, Paul K. Mvula, Paula Branco, Guy-Vincent Jourdan, Mehrdad Sabetzadeh, Herna Viktor

Exploring Community Smell Co-occurrences in the Context of Bangladesh: An Empirical Study

Noshin Tahsin, Kazi Sakib

Automatic Generation of Smell-free Unit Tests

Design by Contract Framework for Quantum Software

Masaomi Yamaguchi, Nobukazu Yoshioka

12:20

12:40

13:00

13:20

Revisiting the Notion of Diversity in Software Testing

13:40

The Type to Take Out a Loan? A Study of Developer Personality and Technical Debt

Lorenz Graf-Vlachy, Stefan Wagner

Contract-Based Specification Refinement and Repair for Mission Planning

Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli

Exploring a Research Agenda for Design Knowledge Capture in Meetings

Liz Seero, Adriana Meza Soria, Andre van der Hoek, Janet Burge

Using GUI Test Videos to Obtain Stakeholders’ Feedback

Jianwei Shi, Jonas Mönnich, Jil Klünder, Kurt Schneider

The Role of Software Trust in Selection of Open-Source and Closed Software

Fang Hou, Slinger Jansen, Floris Jansen, Arthur de Vries

Working session / breakouts

Keynote: Interpreting Neural Models of Code by Comparing Them with Human Developers

Panel Discussion 1: Metamorphic Testing in Industry

14:00

Automatic generation of an efficient less-than oracle for quantum Amplitude Amplification

Javier Sánchez Rivero, Daniel Talaván, Jose García-Alonso, Antonio Ruiz-Cortés, Juan Manuel Murillo

Applying Human Values Theory to Software Engineering Practice: Lessons and Implications

Maria Angela Ferrario, Emily Winter

Measuring the Benefits of CI/CD Practices for Database Application Development

Jasmin Fluri, Fabrizio Fornari, Ela Pustulka

Your app is no longer welcome in our app store: partner exclusion in software ecosystems

Casper van Schothorst, Slinger Jansen, Thomas Beijer, Govert Hagelaar, Floris Jansen, Ying Liu

Technical Debt Contagiousness Metrics for Measurement and Prioritization in Mechatronics

Fandi Bi, Birgit Vogel-Heuser, Fengmin Du, Nils Hanich, Eunnuri Cho

Patch Specifications via Product Programs

Cristian Cadar, Daniel Schemmel, Arindam Sharma

14:20

Contemporary Challenges when Developing Cyber-Physical Systems of Systems - A Case Study

Peter Sjöberg, Daniel Mendez, Tony Gorschek

Like, dislike, or just do it? How developers approach software development tasks

Zainab Masood, Rashina Hoda, Kelly Blincoe, Daniela Damian

On Preparing and Assessing Data for Simulation Process Modeling: An Industrial Report

Liming Dong, He Zhang, Yue Li, Bohan Liu, Zhiluo Weng

Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces?

Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl

PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques

Robin David, Richard

How to introduce TD Management into a Software Development Process – A Practical Approach

Markus Finke, Thomas Neff, Tobias Reichl

14:40

Establishing Virtual Test-Driven Development Environments in the Automotive Domain: A Continuous Engineering Approach

Adam Bachorek, Jannis Jung

An Empirical Study Assessing Software Modeling in Alloy

Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif

An Exploratory Study of the Benefits of Time-bounded Collaborative Events for Startup Founders

André Miranda, Kiev Gama, Cleidson de Souza

Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs

Yibin Xu, Tijs Slaats, Boris Düdder, Thomas T. Hildebrandt

Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD Pipelines

Probing Numeracy and Logic of Language Models of Code

Razan Baltaji, Parth Thakkar

Sensitive Region-based Metamorphic Testing Framework using XAI

Yuma Torikoshi, Yasuharu Nishi, Juichi Takahashi

Static Entanglement Analysis of Quantum Programs

Shangzhou Xia, Jianjun Zhao

Industry Voices on Software Engineering: Challenges in Dynamic Systems of Systems

Jana Heinrich, Florian Balduf, Martin Becker, Rasmus Adler

15:00

Grammar-Based Evolutionary Fuzzing for JSON-RPC APIs

Afternoon Tea

15:20

15:40

Identifying Code Changes for Architecture Decay via a Metric Forest Structure

Wuxia Jin, Yuyun Zhang, Jiaowei Shang, Yi Hou, Ming Fan, Ting Liu

Mutant Equivalence as Monotonicity in Parametric Timed Games

Davide Basile, Maurice ter Beek, Hendrik Göttmann, Malte Lochau

Understanding information diffusion about open-source projects on Twitter, HackerNews, and Reddit

Hongbo Fang, Bogdan Vasilescu, James Herbsleb

A Technical Focus on Business Process Management – Past, Present, and Emerging Topics

Fuzzing Tool Competition

Emotion Analysis in Software Ecosystems

Alexander Serebrenik

Working session / breakouts, and outbriefs

QChecker: Detecting Bugs in Quantum Programs via Static Analysis

Pengzhan Zhao, Xiongfei Wu, Li Zhuo, Jianjun Zhao

Discussion: Robustness and Interpretability in the LLM Era

Robustness Evaluation in Hand Pose Estimation Models using Metamorphic Testing

Muxin Pu, Chun Yong Chong, Mei Kuan Lim

16:00

Towards Understanding the Open Source Interest in Gender-Related GitHub Projects

Rita Garcia, Christoph Treude, Wendy La

Resolving Security Issues via Quality-Oriented Refactoring: A User Study

Domenico Gigante, Fabiano Pecorelli, Vita Santa Barletta, Andrea Janes, Valentina Lenarduzzi, Davide Taibi, Maria Teresa Baldassarre

Discussion and Closing

Paolo Arcaini, Andriy Miranskyy

Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)

Mark Utting, Brae J. Webb, Ian J. Hayes

Panel Discussion 2: Are We Good Enough with the Foundation Models?

16:20

Hearing the voice of experts: Unveiling Stack Exchange communities’ knowledge of test smells

Luana Martins, Denivan Campos, Railana Santana, Joselito Mota Jr, Heitor Augustus Xavier Costa, Ivan Machado

Java Tool Competition

Towards identifying and minimizing customer-facing documentation debt

Lakmal Silva, Michael Unterkalmsteiner, Krzysztof Wnuk

16:40

Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity

Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang

Day 1 Wrap Up

SESoS Breakout Session, Closing and Awards

Rodrigo Santos, Antonia Bertolino, Pablo Oliveira Antonino, Doo-Hwan Bae

Workshop Closing (state of research and roadmap for future research)

17:00

Strategies for Using Websites to Support Programming and Their Impact on Source Code

Omar Alghamdi, Sarah Clinch, Mohammad Alhamadi, Caroline Jay

CPS Tool Competition

Dinner and Socializing

17:20

First day closing

17:40

18:00

SESoS Social Event (Bang Pop South Wharf)

18:20

18:40

19:00

19:20

19:40

20:00

20:20

20:40

21:00

Mon 15 May
Displayed time zone: Hobart change

Mon 15 May

Level 1 Exhibtion Space

Meeting Room 101

Meeting Room 102

Meeting Room 103

Meeting Room 104

Meeting Room 105

Meeting Room 106

Meeting Room 107

Meeting Room 108

Meeting Room 109

Meeting Room 110

Meeting Room 111

Meeting Room 208

Meeting Room 209

Virtual - Zoom for CAIN

9:00

Day Opening

AI-Augmented Software Engineering: Revolutionising or Challenging Software Quality and Testing?

Tafline Ramos, Amanda Dean, David McGregor

SEAMS Opening

Conference Opening

Christoph Treude, Raula Gaikovina Kula, Bonita Sharif

Automation of Software Test; Confererence - Past, Present and Visions

Mehrdad Saadatmand, Sigrid Eldh

Welcome and introduction

Opening Session & Award Announcements

Emad Shihab, Patanamon Thongtanunam, Bogdan Vasilescu

Building, testing, and deploying safety critical software for robots and autonomous systems

Camilo Buscaron

Xiwei (Sherry) Xu: Technical Debt in AI-based Software Systems: Challenges and Approaches

Exploiting incompleteness in software development

Paola Spoletini

Second day opening

Igor Steinmacher

MIP Talk on ICPC 2013 Paper titled "Automatic generation of natural language summaries for Java classes"

Laura Moreno, Jairo Aponte, Giriprasad Sridhara, Andrian Marcus, Lori Pollock, K. Vijay-Shanker

9:20

MSR 2023 Foundational Contribution Award

Humans of AI

Human-centric (Self-Adaptive) Software Engineering

Lessons from 10 Years of Automated Debugging Research

When AI Meets Mobile App Testing: Getting There in Industrial Cases

9:40

MSR 2023 Ric Holt Early Career Achievement Award

QTC4SO: Automatic Question Title Completion for Stack Overflow

Yanlin Zhou, ShaoYu Yang, Xiang Chen, Zichen Zhang, Jiahua Pei

10:00

Enhancing the technological maturity of robot swarms

Darko Bozhinoski, Mauro Birattari

MIP #1: Mining Source Code Repositories at Massive Scale Using Language Modeling

Miltiadis Allamanis, Charles Sutton

A Study of Update Request Comments in Stack Overflow Answer Posts

Mohammad Sadegh Sheikhaei, Yuan Tian, Shaowei Wang

Machine Translation-based Fine-grained Comments Generation for Solidity Smart Contracts

Towards the concept of trust assurance case

Emilia Cioroaica, Barbora Buhnova, Daniel Schneider, Ioannis Sorokos, Thomas Kuhn, Emrah Tomur

10:20

Discussion 1

Morning Tea

10:40

11:00

Technical Debt Classification in Issue Trackers using Natural Language Processing based on Transformers

Daniel Skryseth, Karthik Shivashankar, Ildikó Pilán, Antonio Martini

A Dafny-based approach to thread-local information flow analysis

Developers Need Protection, Too: Perspectives and Research Challenges for Privacy in Social Coding Platforms

Nicolás E. Díaz Ferreyra, Abdessamad Imine, Melina Vidoni, Riccardo Scandariato

De-risking major industry transformations using experimentation

Adapting Specifications for Reactive Controllers

Titus Buckworth, Dalal Alrajeh, Sebastian Uchitel, Jeffrey Kramer

April Wensel: Applications of Emotional Intelligence in Program Comprehension

An Method of Intelligent Duplicate Bug Report Detection Based on Technical Term Extraction

Xiaoxue Wu, Wenjing Shan, Wei Zheng, Zhiguo Chen, Tao Ren, Xiaobing Sun

Survey on robotic systems integration

Nadia Hammoudeh Garcia, Andreas Wortmann

Understanding the Time to First Response In GitHub Pull Requests

Kazi Amit Hasan, Marcos Macedo, Yuan Tian, Bram Adams, Ding Steven, H., H.

AutoML from Software Engineering Perspective: Landscapes and Challenges

Chao Wang, Zhenpeng Chen, Minghui Zhou

Distinguished Paper Award

Analysis of Library Dependency Networks of Package Managers Used in iOS

Kristiina Rahkema, Dietmar Pfahl, Rudolf Ramler

Dealing with Popularity Bias in Recommender Systems for Third-party Libraries: How far Are We?

Phuong T. Nguyen, Riccardo Rubei, Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio, Massimiliano Di Penta

Characterizing and Understanding Software Security Vulnerabilities in Machine Learning Libraries

Nima Shiri Harzevili, Jiho Shin, Junjie Wang, Song Wang, Nachiappan Nagappan

An analysis of behaviour-driven requirement specification for robotic competitions

Minh Nguyen, Nico Hochgeschwender, Sebastian Wrede

11:20

Emotions in Requirements Engineering: A Systematic Mapping Study

Tahira Iqbal, Hina Anwar, Syazwanie Filzah, Mohamad Gharib, Kerli Mooses, Kuldar Taveter

Analyzing the Implications of NFTs as Digital Identities in Web3.0: A Privacy-Focused Approach

A Reinforcement Learning Approach to Generate Test Cases for Web Applications

Xiaoning Chang, Zheheng Liang, Yifei Zhang, Lei Cui, Zhenyue Long, Guoquan Wu, Yu Gao, Wei Chen, Jun Wei, Tao Huang

Exploring the Effect of Various Maintenance Activities on the Accumulation of TD Principal

Nikolaos Nikolaidis, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Nikolaos Mittas, Evdokimos Konstantinidis, Panagiotis Bamidis

Design and Evaluation of Controllers based on Microservices

Bento Siqueira, Fabiano Ferrari, Rogério de Lemos

Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study

DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing

FirmwareDroid: Towards Automated Static-Analysis of Pre-Installed Android Apps

Thomas Sutter, Bernhard Tellenbach

Transparent Actor Model

Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat

EDDE: an event-driven data exchange to accurately introspect cobot applications

Emil Stubbe Kolvig-Raun, Mikkel Baun Kjærgaard, Ralph Brorsen

An Exploratory Study of Ad Hoc Parsers in Python

NICHE: A Curated Dataset of Engineered Machine Learning Projects in Python

Improving Agile Planning for Reliable Software Delivery

PTMTorrent: A Dataset for Mining Open-source Pre-trained Model Packages

11:40

Addressing Age-Related Accessibility Needs of Senior Users Though Model-Driven Engineering

Shavindra Wickramathilaka, ingo Mueller

Considering the Human in the loop when adopting AI

Testing Autonomous Driving Systems

APIContext2Com: Code Comment Generation by Incorporating Pre-Defined API Documentation

Ramin Shahbazi, Fatemeh Hendijani Fard

Cross-Project setting using Deep learning Architectures in Just-In-Time Software Fault Prediction: An Investigation

Sushant Kumar Pandey, Anil Kumar Tripathi

Lifting ROS to model-driven development: lessons learned from a bottom-up approach

Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Ruichao Wu, Björn Kahl, Andreas Wortmann

SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers

Thomas Ledoux, Alidra Abdelghani, Hugo Bruneliere, Hélène Coullon, Charles Prud'Homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan

Evaluating Software Documentation Quality

Henry Tang, Sarah Nadi

TypeScript's Evolution: An Analysis of Feature Adoption Over Time

Vulnerability Propagation in Package Managers Used in iOS Development

Kristiina Rahkema, Dietmar Pfahl

PyVerDetector: A Chrome Extension Detecting the Python Version of Stack Overflow Code Snippets

DGMF: Fast Generation of Comparable, Updatable Dependency Graphs for Software Repositories

12:00

Using cylindric algebra to support local variables in rely/guarantee concurrency

Larissa A. Meinicke, Ian J. Hayes

Perceptions of Task Interdependence in Software Development: An Industrial Case Study

Mayara Benício de Barros Souza, Fabio Q. B. da Silva, Carolyn Seaman

Helping companies de-risk the integration of first, second and third-party AI models into a customer engagement platform

RCGraph - A Tool to Integrate Readme and Commits through Temporal Knowledge Graphs

Getting started with ROS2 development: a case study of software development challenges

Paulius Daubaris, Simo Linkola, Anna Kantosalo, Niko Mäkitalo

What Do Users Ask in Open-Source AI Repositories? An Empirical Study of GitHub Issues

Zhou Yang, Chenyu Wang, Jieke Shi, Thong Hoang, Pavneet Singh Kochhar, Qinghua Lu, Zhenchang Xing, David Lo

Enabling Analysis and Reasoning on Software Systems through Knowledge Graph Representation

Satrio Adi Rukmono, Michel Chaudron

Control Action Types - Patterns of Applied Control for Self-adaptive Systems

Christian Kröher, Lea Gerling, Klaus Schmid

Performance Prediction From Source Code Is Task and Domain Specific

Markus Böck, Sarra Habchi, Mathieu Nayrolles, Jürgen Cito

On Comparing Mutation Testing Tools through Learning-based Mutant Selection

Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

Best Paper Award

Q&A

microSecEnD: A Dataset of Security-Enriched Dataflow Diagrams for Microservice Applications

Discussion 2

UAV inspection of large components: determination of alternative inspection point and online route optimization

Martin Schörner, Constantin Wanninger, Raphael Katschinsky, Simon Hornung, Christian Eymüller, Alexander Poeppel, Wolfgang Reif

PICASO: Enhancing API Recommendations with Relevant Stack Overflow Posts

Ivana Clairine Irsan, Ting Zhang, Ferdian Thung, Kisub Kim, David Lo

Wasmizer: Curating WebAssembly-driven Projects on GitHub

Alexander Nicholson, Quentin Stiévenart, Arash Mazidi, Mohammad Ghafari

12:20

GIRT-Data: Sampling GitHub Issue Report Templates

Feature Toggle Usage Patterns : A Case Study on Google Chromium

EDI Welcome Reception

12:40

13:00

13:20

Unlock the Power of Managing Cloud Health with AIOps

13:40

Business-aligned approach to prioritizing and servicing technical debt of cloud applications

Mahesh Venkataraman, Koushik Vijayaraghavan, Vijeth Hegde

A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids

Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi

Investigating the Perceived Impact of Maternity on Software Engineering: a Women’s Perspective

Larissa Rocha, Edna Dias Canedo, Claudia Pinto Pereira, Carla Bezerra, Fabiana Freitas Mendes

Achieving Business Success - A Framework for Software Delivery of Emerging Technologies

Mahesh Venkataraman, Shylaja Shivaram

Dynamic Runtime Integration of New Models in Digital Twins

Henrik Ejersbo, Kenneth Lausdahl, Mirgita Frasheri, Lukas Esterle

Understanding initial API comprehension

Ava Heinonen, Fabian Fagerholm

AutoMetric: Towards Measuring Open-Source Software Quality Metrics Automatically

Taejun Lee, Heewon Park, Heejo Lee

ROMoSu: flexible runtime monitoring support for ROS-based applications

Marco Stadler, Michael Vierhauser

MIP #2: The Impact of Tangled Code Changes

Kim Herzig, Andreas Zeller

Understanding the Impact of Fingerprinting in Android Hybrid Apps

Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov, Christian Hammer

Metamorphic Testing of Machine Translation Models using Back Translation

Wentao Gao, Jiayuan He, Van-Thuan Pham

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance

14:00

Conversation Disentanglement As-a-Service

EzSkiROS: a case study on embedded robotics DSLs to catch bugs early

Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, Matthias Mayr

The State of Diversity and Inclusion in Apache: A Pulse Check

Zixuan Feng, Mariam Guizani, Marco Gerosa, Anita Sarma

Improve Software and System Process of Cloud Serverless Architectures through Automated Testing with AI

Rohit Patwardhan, Mallika Fernandes

Slicito: Using Computational Notebooks for Program Comprehension

Learning to Learn to Predict Performance Regressions in Production at Meta

Moritz Beller, Hongyu Li, Vivek Nair, Vijayaraghavan Murali, Imad Ahmad, Jürgen Cito, Drew Carlson, Gareth Ari Aye, Wes Dyer

A Method of Identifying Causes of Prediction Errors to Accelerate MLOps

Keita Sakuma, Ryuta Matsuno, Yoshio Kameda

Adaptive Controllers and Digital Twin for Self-Adaptive Robotic Manipulators

Farid Edrisi, Diego Pérez, Mauro Caporuscio, Samuele Giussani

Selection of human evaluators for design smell detection using dragonfly optimization algorithm: An empirical study

Sultan M. Al Khatib, Khalid Alkharabsheh, Sadi Alawadi

Panel Discussion

A Verified UAV Flight Plan Generator

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Augmenting robot software development with flexbot

Paulius Daubaris, Juhana Helovuo, Niko Mäkitalo

14:20

SYN: Ultra-Scale Software Evolution Comprehension

On Codex Prompt Engineering for OCL Generation: An Empirical Study

Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh

What Happens When We Fuzz? Investigating OSS-Fuzz Bug History

Brandon Keller, Benjamin S. Meyers, Andrew Meneely

Automated Fault Detection for Software Systems through Log Intelligence

Diversity in Software Engineering: A Survey about Computer Scientists from Underrepresented Groups

Ronnie de Souza Santos, Brody Stuart-Verner, Cleyton V. C. de Magalhães

Panel Discussion

Microusity: A testing tool for Backends for Frontends (BFF) Microservice Systems

Leaders Forum Talk - Towards Data-Driven Mobile App Visual Testing

DeepSHAP Summary for Adversarial Example Detection

Yi-Ching Lin, Fang Yu

WebEV: A Dataset on the Behavior of Testers for Web Application End to End Testing

SourceWarp: A scalable, SCM-driven testing and benchmarking approach to support data-driven and agile decision making for CI/CD tools and DevOps platforms

Julian Thome, James Johnson, Isaac Dawson, Dinesh Bolkensteyn, Michael Henriksen, Mark Art

Structured Discussion (Part 1)

Cross-Domain Evaluation of a Deep Learning-Based Type Inference System

Bernd Gruner, Tim Sonnekalb, Thomas S. Heinze, Clemens-Alexander Brust

An Empirical Study of High Performance Computing (HPC) Performance Bugs

Md Abul Kalam Azad, Nafees Iqbal, Foyzul Hassan, Probir Roy

Towards a Robust On-line Performance Model Identification for Change Impact Prediction

Yar Rouf, Joydeep Mukherjee, Marin Litoiu

Towards a Classification of Log Parsing Errors

14:40

Discussion 3

LGBTQIA+ (In)Visibility in Computer Science and Software Engineering Education

Ronnie de Souza Santos, Brody Stuart-Verner, Cleyton V. C. de Magalhães

Enriching Source Code with Contextual Data for Code Completion Models: An Empirical Study

Tim van Dam, Maliheh Izadi, Arie van Deursen

Semantically-enriched Jira Issue Tracking Data

DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks

Hao Bu, Meng Sun

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution

Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Michael Whalen

An exploratory study of bug introducing changes: what happens when bugs are introduced in open source software?

Model-Agnostic Syntactical Information for Pre-Trained Programming Language Models

Iman Saberi, Fatemeh Hendijani Fard

HasBugs - Handpicked Haskell Bugs

15:00

Conference Closing

Adaptively Managing Reliability of Machine Learning Perception under Changing Operating Conditions

Aniket Salvi, Gereon Weiss, Mario Trapp

An Empirical Study on the Performance of Individual Issue Label Prediction

Jueun Heo, Seonah Lee

Q&A

Afternoon Tea

15:20

AIOps for Cloud: System Understanding, Anomaly Detection and Human Interaction

15:40

Deconstructing Sentimental Stack Overflow Posts Through Interviews: Exploring the Case of Software Testing

Mark Swillus, Andy Zaidman

Registered Report

Characterizing The Impact of Culture on Agile Methods: The MoCA Model

Michael Neumann, Klaus Schmid, Lars Baumann

Are the solutions developed by the self-adaptive systems community mature enough for industrial adoption?

Melanie Ayre, Rogério de Lemos, Danny Weyns, Olivia Sackett

An Extensive Study of the Structure Features in Transformer-based Code Semantic Summarization

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

Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules

Patrick Stöckle, Michael Sammereier, Bernd Grobauer, Alexander Pretschner

Structured Discussion (Part 2)

Tutorial: Recognizing Developers' Emotions Using Non-invasive Biometrics Sensors

Nicole Novielli

Investigating the Resolution of Vulnerable Dependencies with Dependabot Security Updates

Hamid Mohayeji Nasrabadi, Andrei Agaronian, Eleni Constantinou, Nicola Zanone, Alexander Serebrenik

Distinguished Paper Award

Native vs Web Apps: Comparing the Energy Consumption and Performance of Android Apps and their Web Counterparts

Ruben Horn, Abdellah Lahnaoui, Edgardo Reinoso, Sicheng Peng, Vadim Isakov, Tanjina Islam, Ivano Malavolta

Testing Generative Large Language Model: Mission Impossible or Where Lies the Path?

Label Smoothing Improves Neural Source Code Summarization

Sakib Haque, Aakash Bansal, Collin McMillan

Unveiling the Relationship Between Continuous Integration and Code Coverage

José Diego Saraiva da Silva, Daniel Alencar Da Costa, Uirá Kulesza, Gustavo Sizílio, José Gameleira Neto, Roberta Coelho, Mei Nagappan

16:00

A Perspective on the Role of Human Behaviors in Software Development: Voice and Silence

Mary Sánchez-Gordón, Ricardo Colomo-Palacios, Muhammad Azeem Akbar, Monica Kristiansen Holone

Registered Report

Towards Sustainable Software for Public Sector Information Systems

Reetta-Kaisa Ghezzi, Aapo Koski, Janne Lautanala, Mikko Lehtisalo, Manu Setälä, Tommi Mikkonen

Log Analysis and LogPAI: The Past, The Present, and The Challenges

Interpretation-based Code Summarization

Cross-coverage testing of functionally equivalent programs

Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti

Naturalness in Source Code Summarization. How Significant is it?

Claudio Ferretti, Martina Saletta

EGAD: A Moldable Tool for GitHub Action Analysis

Ebserver: Automating Resource-Usage Data Collection of Android Applications

Wellington de Oliveira Júnior, Bernardo de Moraes Santana Júnior, Fernando Castor, João Paulo Fernandes

A Network Perspective on the Influence of Code Review Bots on the Structure of Developer Collaborations

Leonore Röseler, Ingo Scholtes, Christoph Gote

Registered Report

Towards Better Code Reviews: Using Mutation Testing to Improve Reviewer Attention

Ziya Mukhtarov, Mannan Abdul, Mokhlaroyim Raupova, Javid Baghirov, Osama Tanveer, Haluk Altunel, Eray Tüzün

The Atlassian Data Lake: consolidating enriched software development data in a single, queryable system

16:20

Comparing 2D and Augmented Reality Visualizations for Microservice System Understandability: A Controlled Experiment

Amr Elsayed, Tomas Cerny, Davide Taibi, Sira Vegas

Are We Speeding Up or Slowing Down? On Temporal Aspects of Code Velocity

Leaders Forum Talk - Discovering Requirements Using the App Store: when automation is not enough

Paola Spoletini

Discussion and feedback on registered protocols

Raula Gaikovina Kula, Marcos Kalinowski, Helen Sharp, Rashina Hoda

Day 2 Wrap Up

ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration

Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier

Towards a Review on Simulated ADAS/AD Testing

Yavuz Koroglu, Franz Wotawa

SoK: Machine Learning for Continuous Integration

Ali Kazemi Arani , Mansooreh Zahedi, Triet Le, Muhammad Ali Babar

Energy Consumption Estimation of API-usage in Mobile Apps via Static Analysis

Abdul Ali Bangash, Qasim Jamal, Kalvin Eng, Karim Ali, Abram Hindle

UNGOML: Automated Classification of unsafe Usages in Go

Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini

16:40

Discussion 4

An Exploratory Study on Energy Consumption of Dataframe Processing Libraries

Shriram Shanbhag, Sridhar Chimalakonda

Connecting the .dotfiles: Checked-In Secret Exposure with Extra (Lateral Movement) Steps

Gerhard Jungwirth, Aakanksha Saha, Michael Schröder, Tobias Fiebig, Martina Lindorfer, Jürgen Cito

Knowledge-based Intelligent System for IT Incident DevOps

17:00

Conference closing & Awards ceremony

Igor Steinmacher

Wrap up and concluding remarks

Understanding issues related to personal data and data protection in open source projects on GitHub

MANDO-HGT: Heterogeneous Graph Transformers for Smart Contract Vulnerability Detection

Hoang H. Nguyen, Nhat-Minh Nguyen, Chunyao Xie, Zahra Ahmadi, Daniel Kudenko, Thanh-Nam Doan, Lingxiao Jiang

Whistleblowing and Tech on Twitter

Laura Duits, Isha Kashyap, Joey Bekkink, Kousar Aslam, Emitzá Guzmán

Q&A

SecretBench: A Dataset of Software Secrets

Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects

Laurent Boué, Pratap Kunireddy, Pavle Subotic

17:20

SEAMS SC Meeting

AI, SE, and System meet AIOps

Dataflow graphs as complete causal graphs

Andrei Paleyes, Siyuan Guo, Bernhard Schölkopf, Neil D. Lawrence

17:40

Uncovering Energy-Efficient Practices in Deep Learning Training: Preliminary Steps Towards Green AI

Tim Yarally, Luís Cruz, Daniel Feitosa, June Sallou, Arie van Deursen

Distinguished paper Award Candidate

18:00

Overlapping Events:

RoSE workshop dinner at Bang Pop, South Wharf 18:00 - 21:00

MSR Dinner at Cargo Hall, South Wharf

Social Dinner at Meat Market, South Wharf

SEAMS Banquet

Prevalence of Code Smells in Reinforcement Learning Projects

Nicolás Cardozo, Ivana Dusparic, Christian Cabrera

18:20

Automotive Perception Software Development: An Empirical Investigation into Data, Annotation, and Ecosystem Challenges

Hans-Martin Heyn, Khan Mohammad Habibullah, Eric Knauss, Jennifer Horkoff, Markus Borg, Alessia Knauss, Polly Jing Li

18:40

19:00

Replay-Driven Continual Learning for the Industrial Internet of Things

Sagar Sen, Simon Myklebust Nielsen, Erik Johannes Husom, Arda Goknil, Simeon Tverdal, Leonardo Sastoque Pinilla

19:20

Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment

Qiang Hu, Yuejun GUo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon

19:40

Exploring Hyperparameter Usage and Tuning in Machine Learning Research

Sebastian Simon, Nikolay Kolyada, Christopher Akiki, Martin Potthast, Benno Stein, Norbert Siegmund

Distinguished paper Award Candidate

20:00

An Initial Analysis of Repair and Side-effect Prediction for Neural Networks

Yuta Ishimoto, Ken Matsui, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei

20:20

20:40

AI Living Lab: Quality Assurance for AI-based Health systems

AI Planning Software Development Lifecycle

Algorithm Debt: Challenges and Future Paths

Emmanuel Iko-Ojo Simon, Melina Vidoni, Fatemeh Hendijani Fard

21:00

Enabling Machine Learning in Software Architecture Frameworks

Extensible Modeling Framework for Reliable Machine Learning System Analysis

How Federated Machine Learning Helps Increase the Mutual Benefit of Data-Sharing Ecosystems

21:20

Maintaining and Monitoring AIOps Models Against Concept Drift

Reproducibility Requires Consolidated Artifacts

Iordanis Fostiropoulos, Bowman Brown, Laurent Itti

Tenet: A Flexible Framework for Machine Learning-based Vulnerability Detection

21:40

Towards Understanding Machine Learning Testing in Practise

Break Out Session - Online

22:00

22:20

AI Engineering in Autonomous Vehicle Development - Ken Power

22:40

23:00

23:20

Tue 16 May
Displayed time zone: Hobart change

Tue 16 May

Level 1 Exhibtion Space

Meeting Room 101

Meeting Room 102

Meeting Room 104

Meeting Room 105

Meeting Room 106

Meeting Room 107

Meeting Room 108

Meeting Room 109

Meeting Room 110

Meeting Room 111

Meeting Room 112

Virtual - Zoom for CAIN

9:00

Welcome, introductions, panel

Didar Zowghi, Denys Poshyvanyk

Schedule, set the scene + introductions

SE4LESAS: Software Engineering for Learning-Enabled Self-Adaptive Systems

Betty H.C. Cheng

Kobi Leins: Guidance on more than just standing upright to create safe models, software and use of data

AST Day II Welcome

Introductions

Jonathan Bell, Stephan Krusche, Bastian Tenbergen

Towards Code-Aware AI Models for Code

9:20

Michele Lanza + Sarah Nadi

Automatic for the People

Why vulnerability analysis for Android needs to change fundamentally

9:40

Implant Global and Local Hierarchy Information to Sequence based Code Representation Models

Kechi Zhang, Zhuo Li, Zhi Jin, Ge Li

Improving the Quality of Commit Messages in Students’ Projects

Iris Ma, Crista Lopes

Tutorial: Mining and Analysing Collaboration in git Repositories with git2net

An Empirical Study to Investigate Collaboration Among Developers in Open Source Software (OSS)

Pathways to Leverage Transcompiler based Data Augmentation for Cross-Language Clone Detection

Subroto Nag Pinku, Debajyoti Mondal, Chanchal K. Roy

Insights into Female Contributions in Open-Source Projects

10:00

From Self-Adaptation to Self-Evolution

Danny Weyns, Jesper Andersson

Not Just a Matter of Style: Does Aesthetics Have a Place in Software Engineering Curriculum?

Marina Fedorova, Paul Dourish, Melissa Mazmanian

The Secret Life of CVEs

Piotr Przymus, Mikołaj Fejzer, Jakub Narębski, Krzysztof Stencel

Investigating the Generalizability of Deep Learning-based Clone Detectors

UnityLint: A Bad Smell Detector for Unity

Evolution of the Practice of Software Testing in Java Projects

Self-Optimizing Agents Using Mixed Initiative Behavior Trees

Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer

Discussion 5

"We Need To Talk About ChatGPT": The Future of AI and Higher Education

Michael Neumann, Maria Rauschenberger, Eva-Maria Schön

Keep the Ball Rolling: Analyzing Release Cadence in GitHub Projects

10:20

Morning Tea

10:40

11:00

Detecting Scattered and Tangled Quality Concerns in Code to Aid Maintenance and Evolution Tasks

Rrezarta Krasniqi

Kevin Moran + Sonia Haiduc + Juergen Cito

Runtime Verification of Self-Adaptive Systems with Changing Requirements

Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske

REMS: Recommending Extract Method Refactoring Opportunities via Multi-view Representation of Code Property Graph

Di Cui, Qiangqiang Wang, Siqi Wang, Jianlei Chi , Jianan Li , Lu Wang, Qingshan Li

On the Effect of Instrumentation on Test Flakiness

Shawn Rasheed, Jens Dietrich, Amjed Tahir

Hey Teachers, Teach Those Kids Some Software Testing

Baris Ardic, Andy Zaidman

Understanding the Role of Images on Stack Overflow

Dong Wang, Tao Xiao, Christoph Treude, Raula Gaikovina Kula, Hideaki Hata, Yasutaka Kamei

Don't Forget the Exception! Considering Robustness Changes to Identify Design Problems

Anderson Oliveira, João Lucas Correia, Leonardo Da Silva Sousa, Wesley K.G. Assunção, Daniel Coutinho, Alessandro Garcia, Willian Oizumi, Caio Barbosa, Anderson Uchôa, Juliana Alves Pereira

Executive Meeting

Automating Code Review

Automating Method Naming with Context-Aware Prompt-Tuning

Jie Zhu, Lingwei Li, Li Yang, Xiaoxiao Ma, Chun Zuo

Do Subjectivity and Objectivity Always Agree? A Case Study with Stack Overflow Questions

Saikat Mondal, Masud Rahman, Chanchal K. Roy

Pre-trained Model Based Feature Envy Detection

mawenhao , Yaoxiang Yu, Xiaoming Ruan, Bo Cai

Quick Repair of Semantic Errors for Debugging

Steven P. Reiss, Xuan Wei, Qi Xin

”Work in the morning instead of midnight” and other lessons learned in FinTech 512

Pat Morrison, John Slankas

11:20

Generation-based Code Review Automation: How Far Are We?

Debugging Flaky Tests using Spectrum-based Fault Localization

Martin Gruber, Gordon Fraser

Achieving Energy Efficiency in Mobile Applications: Insights from our Most Influential Paper

Addressing Performance Regressions in DevOps: Can We Escape from System Performance Testing?

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening

Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang

Reanalysis of Empirical Data on Java Local Variables with Narrow and Broad Scope

GiveMeLabeledIssues: An Open Source Issue Recommendation System

CLEAN++: Code Smells Extraction for C++

An Analysis of the Automatic Bug Fixing Performance of ChatGPT

Dominik Sobania, Martin Briesch, Carol Hanna, Justyna Petke

Gamify-IT - A Web-Based Gaming Platform for Software Engineering Education

Sandro Speth, Leon Hofmeister, Uwe Breitenbücher, Steffen Becker

DocMine: A Software Documentation-Related Dataset of 950 GitHub Repositories

DACOS-A Manually Annotated Dataset of Code Smells

Predicting vulnerability inducing function versions using node embeddings and graph neural networks

ecem mine özyedierler, Ayse Tosun, Sefa Eren Sahin

PENTACET data - 23 Million Code Comments and 500,000 SATD comments

What Warnings Do Engineers Really Fix? The Compiler That Cried Wolf

11:40

Toward More Effective Deep Learning-based Automated Software Vulnerability Prediction, Classification, and Repair

Properly Offer Options to Improve the Practicality of Software Document Completion Tools

FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning

Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon

Learning to Write User Stories with the 4C Model: Context, Card, Conversation, and Confirmation

Enhancing Deep Reinforcement Learning with Executable Specifications

An Extensive Study on Model Architecture and Program Representation in the Domain of Learning-based Automated Program Repair

Dániel Horváth, Viktor Csuvik, Tibor Gyimóthy, László Vidács

Architecture-based Uncertainty Impact Analysis to ensure Confidentiality

Sebastian Hahner, Robert Heinrich, Ralf Reussner

Discussion 6

Automating Arduino Programming: From Hardware Setups to Sample Source Code Generation

Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang

A Large Scale Analysis of Semantic Versioning in NPM

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell

Reducing the Impact of Breaking Changes to Web Service Clients During Web API

Paul Schmiedmayer, Andreas Bauer, Bernd Bruegge

12:00

Towards a Generic Model for Classifying Software into Correctness Levels and its Application to SQL

Benard Wanjiru, Patrick van Bommel, Djoerd Hiemstra

A Dataset of Bot and Human Activities in GitHub

Natarajan Chidambaram, Alexandre Decan , Tom Mens

Phylogenetic Analysis of Reticulate Software Evolution

Akira Mori, Masatomo Hashimoto

Toward Automated Tools to Support Ethical GUI Design

S M Hasan Mansur

Preference Adaptation: user satisfaction is all you need!

NIANYU LI, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei

Detecting Potential User-data Save & Export Losses due to Android App Termination

Sydur Rahaman, Umar Farooq, Iulian Neamtiu, Zhijia Zhao

Mining Fix Patterns with Context Information for Automatic Program Repair

Phan Thi Thanh Huyen, Kazuya Yasuda, Shinji Itoh

Mining the Characteristics of Jupyter Notebooks in Data Science Projects

Towards strengthening software library interfaces with granular and interactive type migrations

Richárd Szalay

Optimizing Duplicate Size Thresholds in IDEs

PyMigBench: A Benchmark for Python Library Migration

Issue-Labeler: an ALBERT-based Jira Plugin for Issue Classification

Waleed Alhindi, Abdulrahman Aleid, Ilyes Jenhani, Mohamed Wiem Mkaouer

12:20

Boosting Just-in-Time Defect Prediction with Specific Features of C Programming Languages in Code Changes

Chao Ni, xiaodanxu , Kaiwen Yang, David Lo

Determining Open Source Project Boundaries

Intertwining Communities: Exploring Libraries that Cross Software Ecosystems

Overlapping Events:

Program Repair Competition

Ridwan Salihin Shariffdeen, Martin Mirchev, Abhik Roychoudhury

Lunch round table

Executive Meeting

Executive Meeting

12:40

13:00

13:20

13:40

Designing Adaptive Developer-Chatbot Interactions: Context Integration, Experimental Studies and Levels of Automation

Gail Murphy + David Rosenblum + Xin Peng

Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis

Simon Diemert, Jens Weber

How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python

Wenjie Xu, Lin Chen, Chenghao Su, Yimeng Guo, Yanhui Li, Yuming Zhou, Baowen Xu

Orchestration Strategies for Regression Test Suites

Renan Greca, Breno Miranda, Antonia Bertolino

Breakout Discussions

Tutorial: Beyond the leading edge. What else is out there?

Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks

Ahmed Zerouali, Ruben Opdebeeck, Coen De Roover

Sensitive and Personal Data: What Exactly Are You Talking About?

Maria Kober, Jordan Samhi, Steven Arzt, Tegawendé F. Bissyandé, Jacques Klein

Executive Meeting

Towards machine learning guided by best practices

Anamaria Mojica-Hanke

Too Simple? Notions of Task Complexity used in Maintenance-based Studies of Programming Tools

Patrick Rein, Tom Beckmann, Eva Krebs, Toni Mattis, Robert Hirschfeld

Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort?

Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover

14:00

Panel Discussion: Future of APR: Challenges and directions

Manish Motwani, Xuan Bach D. Le, Abhik Roychoudhury, Yingfei Xiong, Lingming Zhang

Leaders Forum Talk - UX is the differential. What can we do as Software Engineers?

Path Complexity Predicts Code Comprehension Effort

Evaluating the Trade-offs of Text-based Diversity in Test Prioritization

Ranim Khojah, Chi Hong Chao, Francisco Gomes de Oliveira Neto

Software Supply Chain Risk Assessment Framework

PlanIoT: A Framework for Adaptive Data Flow Management in IoT-enhanced Spaces

Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd

Revisiting Deep Learning for Variable Type Recovery

Method Chaining Redux: An Empirical Study of Method Chaining in Java, Kotlin, and Python

Ali Keshk, Robert Dyer

Programming language implementations for context-oriented self-adaptive systems

Nicolás Cardozo, Kim Mens

14:20

Snapshot Testing Dataset

Some Investigations of Machine Learning Models for Software Defects

Umamaheswara Sharma B

Improving Code Search with Multi-Modal Momentum Contrastive Learning

Zejian Shi, Yun Xiong, Yao Zhang, Zhijie Jiang, Jinjing Zhao, Lei Wang, Shanshan Li

MuTCR: Test Case Recommendation via Multi-Level Signature Matching

Weisong Sun, Weidong Qian, Bin Luo, Zhenyu Chen

Improving Automatic C-to-Rust Translation with Static Analysis

Self-Adaptive Mechanisms for Misconfigurations in Small Uncrewed Aerial Systems

Salil Purandare, Urjoshi Sinha, Md Nafee Al Islam, Jane Cleland-Huang, Myra Cohen

Revisiting Lightweight Compiler Provenance Recovery on ARM Binaries

Jason Kim, Daniel Genkin, Kevin Leach

Large Language Models and Simple, Stupid Bugs

Kevin Jesse, Toufique Ahmed, Prem Devanbu, Emily Morgan

A Study of Gender Discussions in Mobile Apps

Mojtaba Shahin, Mansooreh Zahedi, Hourieh Khalajzadeh, Ali Rezaei Nasab

14:40

Rising Star - Mining User Interfaces to Support Software Development for Mobile Apps

Discussion 7

The ABLoTS Approach for Bug Localization: is it replicable and generalizable?

Feifei Niu, Christoph Mayr-Dorn, Wesley K.G. Assunção, Liguo Huang, Jidong Ge, Bin Luo, Alexander Egyed

Distinguished Paper Award

Tell Me Who Are You Talking to and I Will Tell You What Issues Need Your Skills

Fabio Marcos De Abreu Santos, Jacob Penney, João Felipe Pimentel, Igor Wiese, Igor Steinmacher, Marco Gerosa

Cost-effective Strategies for Building Energy Efficient Mobile Applications

Abdul Ali Bangash

Test Case Prioritization using Transfer Learning in Continuous Integration Environments

Rezwana Mamata, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, Qasim Tauseef

15:00

Towards Utilizing Natural Language Processing Techniques to Assist in Software Engineering Tasks

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles

Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato

LLMSecEval: A Dataset of Natural Language Prompts for Security Evaluations

She Elicits Requirements and He Tests: Software Engineering Gender Bias in Large Language Models

Defectors: A Large, Diverse Python Dataset for Defect Prediction

GitHub OSS Governance File Dataset

Q&A

Afternoon Tea

FixEval: Execution-based Evaluation of Program Fixes for Programming Problems

Md Mahim Anjum Haque, Wasi Uddin Ahmad, Ismini Lourentzou, Chris Brown

Executive Meeting

15:20

Beyond Code Generation: The Need for Type-Aware Language Models

Francisco Ribeiro, José Nuno Macedo, Kanae Tsushima

15:40

Towards Automated Embedded Systems Programming

"Turn the tables" session

Artifact: Implementation of an Adaptive Flow Management Framework for IoT Spaces

Houssam Hajj Hassan, Georgios Bouloukakis, Ajay Kattepur, Denis Conan, Djamel Belaïd

Mitigating the Effect of Class Imbalance in Fault Localization Using Context-aware Generative Adversarial Network

Yan Lei, Tiantian Wen, Huan Xie, Lingfeng Fu, Chunyan Liu, Lei Xu, Hongxia Sun

Panel Discussions and AST Summary Remarks

Andy Zaidman, Antonia Bertolino, Mike Papadakis, Shin Yoo, Sigrid Eldh, Mehrdad Saadatmand

Breakout Discussions

MSR 2023 Doctoral Research Award

Eman Abdullah AlOmar

Energy-Saving Strategies for Mobile Web Apps and their Measurement: Results from a Decade of Research

Benedikt Dornauer, Michael Felderer

Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation

Still Confusing for Bug-Component Triaging? Deep Feature Learning and Ensemble Setting to Rescue

Yanqi Su, Zheming Han, Zhipeng Gao, Zhenchang Xing, Qinghua Lu, Xiwei (Sherry) Xu

16:00

Automating Code Generation for MDE using Machine Learning

CHESS: A Framework for Evaluation of Self-adaptive Systems based on Chaos Engineering

Sehrish Malik, Syed Moeen Ali Naqvi, Leon Moonen

Assessing Cognitive Load in Software Development with Wearable Sensors

Understanding Bugs in Multi-Language Deep Learning Frameworks

Open Source Software Digital Sociology: Quantifying and Understanding Large Complex Open Source Ecosystems

FVA: Assessing Function-Level Vulnerability by Integrating Flow-Sensitive Structure and Code Statement Semantic

Chao Ni, Liyu Shen, Wei Wang, Xiang Chen, Xin Yin, Lexiao Zhang

On Security and Energy Efficiency in Android Smartphones

João Ferreira da Silva Júnior, Bernardo Santos, Wellington de Oliveira Júnior, Nuno Antunes, Bruno Cabral, João Paulo Fernandes

A Framework to Communicate Software Engineering Data Effectively with Dashboards

A Distributed MAPE-K Framework for Self-Protective IoT Devices

Michael Riegler, Johannes Sametinger, Michael Vierhauser

16:20

Complementing secure code review with automated program analysis

Event-Aware Precise Dynamic Slicing for Automatic Debugging of Android Applications

Hsu Myat Win, Shin Hwei Tan, Yulei Sui

Leaders Forum Talk - Automated Test Reuse of GUI Tests across Similar Android Apps: Opportunities and Challenges

Valerio Terragni

Domain Specific Languages for Optimisation Modelling

SEAMS Most Influential Paper Awards 2012 and 2013

Discussion 8

Award Session and Closure

Presentation of Discussion Results and Closing

Evaluation of Stakeholder Mapping and Sustainability Personas Towards Sustainable Software Development

Human-Centered AI for SE: Reflection and Vision

16:40

Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design

Steering Committee Meeting and Closing

Alexander Serebrenik, Igor Steinmacher

From Input to Failure: Explaining Program Behavior via Cause-Effect Chains

17:00

Grammar-Based String Refinement Types

SEAMS 2023 Best Paper Awards, SEAMS 2024 Presentation, Closing Remarks

Engineering Trustworthy AI Systems - Foutse Khomh

Graph Solver as a Service

Incident Prevention Through Reliable Changes Deployment

Q&A

17:20

Learning Program Models from Generated Inputs

Learning Test Input Constraints from Branch Conditions

Static Analysis for Android GDPR Compliance Assurance

17:40

Towards an AI-centric Requirement Engineering Framework for Trustworthy AI

Didar Zowghi, Denys Poshyvanyk

18:00

Newcomers reception

ICSE SC Meeting

Laurie Williams

In Memoriam: Valérie Issarny

SEENG Workshop Dinner 1800-2100 at BoHo South Wharf

18:20

Towards Concrete and Connected AI Risk Assessment (C2AIRA): A Systematic Mapping Study

Boming Xia, Qinghua Lu, Harsha Perera, Liming Zhu, Zhenchang Xing, Yue Liu, Jon Whittle

18:40

Defining Quality Requirements for a Trustworthy AI Wildflower Monitoring Platform

Petra Heck, Gerard Schouten

19:00

Trustworthy and Robust AI Deployment by Design: A framework to inject best practice support into AI deployment pipelines

Andras Schmelczer, Joost Visser

Distinguished paper Award Candidate

19:20

Towards Code Generation from BDD Test Case Specifications: A vision

Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini

19:40

20:00

A Case Study on AI Engineering Practices: Developing an Autonomous Stock Trading System

Marcel Grote, Justus Bogner

20:20

Engineering Challenges for AI-Supported Computer Vision in Small Uncrewed Aerial Systems

Muhammed Tawfiq Chowdhury, Jane Cleland-Huang

20:40

A Meta-Summary of Challenges in Building Products with ML Components -- Collecting Experiences from 4758+ Practitioners

Nadia Nahar, Haoran Zhang, Grace Lewis, Shurui Zhou, Christian Kästner

Distinguished paper Award Candidate

21:00

Design Patterns for AI-based Systems: A Multivocal Literature Review and Pattern Repository

Lukas Heiland, Marius Hauser, Justus Bogner

21:20

21:40

22:00

22:20

22:40

23:00

23:20

23:40

Wed 17 May
Displayed time zone: Hobart change

Wed 17 May

Level 1 Exhibtion Space

Level G - Plenary Room 1

Meeting Room 101

Meeting Room 102

Meeting Room 103

Meeting Room 104

Meeting Room 105

Meeting Room 106

Meeting Room 107

Meeting Room 108

Meeting Room 109

Meeting Room 110

Meeting Room 111

Meeting Room 112

7:40

8:00

8:20

8:40

9:00

ICSE2023 Opening

John Grundy, Lori Pollock, Massimiliano Di Penta

9:20

Future Software for Life in Trusted Futures - Prof. Sarah Pink

9:40

10:00

10:20

Overlapping Events:

Morning Tea

Cerberus: a Program Repair Framework

InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation

FlaPy: Mining Flaky Python Tests at Scale

10:40

11:00

One Adapter for All Programming Languages? Adapter Tuning for Multilingual Tasks in Software Engineering

Deze Wang, Boxing Chen, Shanshan Li, Wei Luo, Shaoliang Peng, Wei Dong, Liao Xiangke

Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces

Haoxiang Jia, Ming Wen, Zifan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, Hai Jin

The untold story of code refactoring customizations in practice

Daniel Oliveira, Wesley K.G. Assunção, Alessandro Garcia, Ana Carla Bibiano, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca

Evaluating the Impact of Experimental Assumptions in Automated Fault Localization

Ezekiel Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis

How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms

Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer

UpCy: Safely Updating Outdated Dependencies

Andreas Dann, Ben Hermann, Eric Bodden

SmartMark: Software Watermarking Scheme for Smart Contracts

Taeyoung Kim, Yunhee Jang, Chanjong Lee, Hyungjoon Koo, Hyoungshick Kim

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

SRC Posters

Muneera Bano, Lingxiao Jiang

Do I Belong? Modeling Sense of Virtual Community Among Linux Kernel Contributors

Bianca Trinkenreich, Klaas-Jan Stol, Anita Sarma, Daniel M. German, Marco Gerosa, Igor Steinmacher

Distinguished Paper Award

A Model-based, Quality Attribute-guided Architecture Re-Design Process at Google

Qin Jia, Yuanfang Cai, Onur Çakmak

Quantum Software Testing: A Brief Introduction

Shaukat Ali, Tao Yue

CCRep: Learning Code Change Representations via Pre-Trained Code Model and Query Back

Zhongxin Liu, Zhijie Tang, Xin Xia, Xiaohu Yang

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers

Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Lingming Zhang

Data Quality for Software Vulnerability Datasets

Roland Croft, Muhammad Ali Babar, M. Mehdi Kholoosi

Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set

Jiwei Yan, MiaoMiao Wang, Yepang Liu, Jun Yan, Long Zhang

Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

Rafi Shalom, Shahar Maoz

APICAD: Augmenting API Misuse Detection Through Specifications From Code And Documents

Xiaoke Wang, Lei Zhao

Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum

Zibin Zheng, Neng Zhang, Jianzhong Su, Zhijie Zhong, Mingxi Ye, Jiachi Chen

Cognitive Reflection in Software Verification and Testing

Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development

Majid Babaei, Juergen Dingel

11:20

Keeping Pace with Ever-Increasing Data: Towards Continual Learning of Code Intelligence Models

Shuzheng Gao, Hongyu Zhang, Cuiyun Gao, Chaozheng Wang

Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs

Maolin Sun, Yibiao Yang, Ming Wen, Yongcong Wang, Yuming Zhou, Hai Jin

Do code refactorings influence the merge effort?

André Oliveira, Vania Neves, Alexandre Plastino, Ana Carla Bibiano, Alessandro Garcia, Leonardo Murta

PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports

Sunzhou Huang, Xiaoyin Wang

Understanding Inconsistency in Azure Cosmos DB with TLA+

Finn Hackett, Joshua Rowe, Markus Alexander Kuppe

Compatibility Issue Detection for Android Apps Based on Path-Sensitive Semantic Analysis

Sen Yang, Sen Chen, Lingling Fan, Sihan Xu, Zhanwei Hui, Song Huang

BSHUNTER: Detecting and Tracing Defects of Bitcoin Scripts

Peilin Zheng, Xiapu Luo, Zibin Zheng

A Model for Understanding and Reducing Developer Burnout

Bianca Trinkenreich, Klaas-Jan Stol, Igor Steinmacher, Marco Gerosa, Anita Sarma, Marcelo Lara, Michael Feathers, Nick Ross, Kevin Bishop

A GNN-based Recommender System to Assist the Specification of Metamodels and Models

Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio, Phuong T. Nguyen

11:40

PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot

Regression Fuzzing for Deep Learning Systems

Hanmo You, Zan Wang, Junjie Chen, Shuang Liu, Shuochuan Li

ActionsRemaker: Reproducing GitHub Actions

Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games

Rodrigo Casamayor, Lorena Arcega, Francisca Pérez, Carlos Cetina

Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models

Nicholas Coughlin, Kirsten Winter, Graeme Smith

OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions

Wu Jiahui, Zhengzi Xu, Wei Tang, Lyuye Zhang, Yueming Wu, Chengyue Liu, Kairan Sun, Lida Zhao, Yang Liu

DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized Applications

Jianfei Zhou, Jiang Tianxing, Haijun Wang, Meng Wu, Ting Chen

Designing for Cognitive Diversity: Improving the GitHub Experience for Newcomers

Italo Santos, João Felipe Pimentel, Igor Wiese, Igor Steinmacher, Anita Sarma, Marco Gerosa

RM2DM: A Tool for Automatic Generation of OO Design Models from Requirements Models

Towards Learning Generalizable Code Embeddings using Task-agnostic Graph Convolutional Networks

Zishuo Ding, Heng Li, Weiyi Shang, Tse-Hsun (Peter) Chen

Problems with with SZZ and Features: An empirical assessment of the state of practice of defect prediction data collection

Steffen Herbold, Alexander Trautsch, Alexander Trautsch, Benjamin Ledel

(Journal-First Track) PRINS: Scalable Model Inference for Component-Based System Logs

Donghwan Shin, Domenico Bianculli, Lionel Briand

12:00

deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search

Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers

Suyue Guo, Xinyu Wan, Wei You, Bin Liang, Wenchang Shi, Yiwei Zhang, Jianjun Huang, Jian Zhang

An empirical study of issue-link algorithms: which issue-link algorithms should we use?

Real World Projects, Real Faults: Evaluating Spectrum Based Fault Localization Techniques on Python Projects

HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols

Scaling Web API Integrations

Guido Chari, Brandon Sheffer, Branavan Branavan, Nicolas D'Ippolito

Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm

Martijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella

From Anecdote to Evidence: The Relationship Between Personality and Need for Cognition of Developers

Advantages and disadvantages of (dedicated) model transformation languages: A qualitative interview study

CodeS: Towards Code Model Generalization Under Distribution Shift

Qiang Hu, Yuejun GUo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

SCS-Gan: Learning Functionality-Agnostic Stylometric Representations for Source Code Authorship Verification

Weihan Ou, Ding Steven, H., H., Yuan Tian, Leo Song

Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis

Ming Wen, Zifan Xie, Kaixuan Luo, Xiao Chen, Yibiao Yang, Hai Jin

CoVeriTeam Service: Verification as a Service

Dirk Beyer, Sudeep Kanav, Henrik Wachowitz

A Qualitative Study of Developers’ Discussions of Their Problems and Joys During the Early COVID-19 Months

Gias Uddin, Omar Alam, Alexander Serebrenik

Automated Generation of Consistent Graph Models With Multiplicity Reasoning

Kristóf Marussy, Oszkár Semeráth, Daniel Varro

Towards using Few-Shot Prompt Learning for Automating Model Completion

JAttack: Java JIT Testing using Template Programs

A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization

Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai

RAT: A Refactoring-Aware Traceability Model for Bug Localization

Feifei Niu, Wesley K.G. Assunção, Liguo Huang, Christoph Mayr-Dorn, Jidong Ge, Bin Luo, Alexander Egyed

Proofster: Automated Formal Verification

Giving Back: Contributions Congruent to Library Dependency Changes in a Software Ecosystem

Siguard: Detecting Signature-Related Vulnerabilities in Smart Contracts

Interpersonal trust in OSS: Exploring dimensions of trust in GitHub pull requests

MLTEing Models: Negotiating, Evaluating, and Documenting Model and System Qualities

12:20

Anti-Patterns (Smells) in Temporal Specifications

Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert

Breaking Bad? Semantic Versioning and Impact of Breaking Changes in Maven Central

Lina Ochoa, Thomas Degueule, Jean-Rémy Falleri, Jurgen Vinju

Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts

Maha Ayub, Tania Saleem, Muhammad Umar Janjua, Talha Ahmed

The risk-taking software engineer: A framed portrait

Lorenz Graf-Vlachy

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

Executive Meeting

Executive Meeting

Executive Meeting

Women@ICSE Lunch

12:40

13:00

13:20

13:40

Comparison and Evaluation of Clone Detection Techniques with Different Code Representations

Yuekun Wang, Yuhang Ye, Yueming Wu, Weiwei Zhang, Yinxing Xue, Yang Liu

Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles

Robustification of Behavioral Designs against Environmental Deviations

Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew Bolton, David Garlan, Eunsuk Kang

BFTDetector: Automatic Detection of Business Flow Tampering for Digital Content Service

I Luk Kim, Weihang Wang, Yonghwi Kwon, Xiangyu Zhang

FedDebug: Systematic Debugging for Federated Learning Applications

Waris Gill, Ali Anwar, Muhammad Ali Gulzar

ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis

Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei

RepresentThemAll: A Universal Learning Representation of Bug Reports

Sen Fang, Tao Zhang, Youshuai Tan, He Jiang, Xin Xia, Xiaobing Sun

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

Is It Enough to Recommend Tasks to Newcomers? Understanding Mentoring on Good First Issues

Xin Tan, Yiran Chen, Haohua Wu, Minghui Zhou, Li Zhang

Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs

Jaemin Hong, Sukyoung Ryu

DevCertOps: Strategies to realize Continuous Delivery of Safe Software in Regulated Domain

SAIN: A Community-Wide Software Architecture INfrastructure

Joshua Garcia, Mehdi Mirakhorli, Lu Xiao, Sam Malek, Rick Kazman, Yuanfang Cai, Nenad Medvidović

Reachable Code Coverage

Danushka Liyanage, Marcel Böhme, Kla Tantithamthavorn, Stephan Lipp

14:00

Learning Graph-based Code Representations for Source-level Functional Similarity Detection

Jiahao Liu, Jun Zeng, Xiang Wang, Zhenkai Liang

A Qualitative Study on the Implementation Design Decisions of Developers

Jenny T. Liang, Maryam Arab, Minhyuk Ko, Amy Ko, Thomas LaToza

Distinguished Paper Award

FedSlice: Protecting Federated Learning Models from Malicious Participants with Model Slicing

Ziqi Zhang, Yuanchun Li, Bingyan Liu, Yifeng Cai, Ding Li, Yao Guo, Xiangqun Chen

Practical and Efficient Model Extraction of Sentiment Analysis APIs

Weibin Wu, Jianping Zhang, Victor Junqiu Wei, Xixian Chen, Zibin Zheng, Irwin King, Michael Lyu

Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis

Sahar Badihi, Khaled Ahmed, Yi Li, Julia Rubin

Demystifying Exploitable Bugs in Smart Contracts

Zhuo Zhang, Brian Zhang, Wen Xu, Zhiqiang Lin

From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers

Kaia Newman, Madeline Endres, Westley Weimer, Brittany Johnson

Triggers for Reactive Synthesis Specifications

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing

Myungho Lee, Sooyoung Cha, Hakjoo Oh

The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing

Qihong Chen, Rúben Câmara, José Campos, André Souto, Iftekhar Ahmed

Designing for Real People: Teaching Agility through User-Centric Service Design

Robert Chatley, Tony Field, Mark Wheelhouse, Carolyn Runcie, Nick de Leon, Clive Grinyer

PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps

Zeya Tan, Wei Song

CrossCodeBench: Benchmarking Cross-Task Generalization of Source Code Models

Changan Niu, Chuanyi Li, Vincent Ng, Bin Luo

Does the Stream API Benefit from Special Debugging Facilities? A Controlled Experiment on Loops and Streams with Specific Debuggers

Jan Reichl, Stefan Hanenberg, Volker Gruhn

Understanding and Detecting On-the-Fly Configuration Bugs

Teng Wang, Zhouyang Jia, Shanshan Li, Si Zheng, Yue Yu, Erci Xu, Shaoliang Peng, Liao Xiangke

Distinguished Paper Award

On the Self-Governance and Episodic Changes in Apache Incubator Projects: An Empirical Study

Likang Yin, Xiyu Zhang, Vladimir Filkov

Using Reactive Synthesis: An End-to-End Exploratory Case Study

Dor Ma'ayan, Shahar Maoz

14:20

Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation

Sicong Cao, Xiaobing Sun, Xiaoxue Wu, Lili Bo, Bin Li, Rongxin Wu, Wei Liu, Biao He, Yu Ouyang, Jiajia Li

An Empirical Comparison on the Results of Different Clone Detection Setups for C-based Projects

Yan Zhou, Jinfu Chen, Yong Shi, Boyuan Chen, Zhen Ming (Jack) Jiang

A Decision Model for Choosing Patterns in Blockchain-Based Applications

Xiwei (Sherry) Xu, ‪H M N Dilum Bandara, Qinghua Lu, Ingo Weber, Len Bass, Liming Zhu

AdHere: Automated Detection and Repair of Intrusive Ads

Yutian Yan, Yunhui Zheng, Xinyue Liu, Nenad Medvidović, Weihang Wang

Challenges in Adopting Artificial Intelligence Based User Input Verification Framework in Reporting Software Systems

Dong Jae Kim, Tse-Hsun (Peter) Chen, Steve Sporea, Andrei Toma, Laura Weinkam, Sarah Sajedi, Steve Sporea

Fonte: Finding Bug Inducing Commits from Failures

Gabin An, Jingun Hong, Naryeong Kim, Shin Yoo

Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation

Parvez Mahbub, Ohiduzzaman Shuvo, Masud Rahman

Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront

Alina Mailach, Norbert Siegmund

Pegasus: A Framework for Sound Continuous Invariant Generation

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Kosaian, André Platzer

Evaluating and Improving Hybrid Fuzzing

Ling Jiang, Hengchen Yuan, Mingyuan Wu, Lingming Zhang, Yuqun Zhang

14:40

Developers’ perception matters: machine learning to detect developer-sensitive smells

Architectural Design Decisions for Machine Learning Deployment

Stephen John Warnett, Uwe Zdun

Bad Snakes: Understanding and Improving Python Package Index Malware Scanning

Duc Ly Vu, Zachary Newman, John Speed Meyers

Towards Understanding Quality Challenges of the Federated Learning for Neural Networks: A First Look from the Lens of Robustness

Do the Test Smells Assertion Roulette and Eager Test Impact Students’ Troubleshooting and Debugging Capabilities?

Wajdi Aljedaani, Mohamed Wiem Mkaouer, Anthony Peruma, Stephanie Ludi

Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services

Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C.S. Lui

Moving on from the software engineers' gambit: an approach to support the defense of software effort estimates

Patricia Matsubara, Igor Steinmacher, Bruno Gadelha, Tayana Conte

On ML-Based Program Translation: Perils and Promises

Smells in system user interactive tests

Renaud Rwemalika, Sarra Habchi, Mike Papadakis, Yves Le Traon, Marie-Claude Brasseur

DAISY: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis

Mingrui Zhang, Chijin Zhou, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu, Yu Jiang

An Empirical Study of the Impact of Hyperparameter Tuning and Model Optimization on the Performance Properties of Deep Neural Networks

Lizhi Liao, Heng Li, Weiyi Shang, Lei Ma

Syntax and Domain Aware Model for Unsupervised Program Translation

Fang Liu, Jia Li, Li Zhang

15:00

Bash in the Wild: Language Usage, Code Smells, and Bugs

Handling Communication via APIs for Microservices

DAISY: Dynamic-Analysis-Induced Source Discovery for Sensitive Data

Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering

RexStepper: a Reference Debugger for JavaScript Regular Expressions

Exploring the relationship between performance metrics and cost saving potential of defect prediction models

iTrace-Toolkit: A Pipeline for Analyzing Eye-Tracking Data of Software Engineering Studies

1-to-1 or 1-to-n? Investigating the effect of function inlining on binary similarity analysis

Ang Jia, Ming Fan, Wuxia Jin, Xi Xu, Zhaohui Zhou, Qiyi Tang, Sen Nie, Shi Wu, Ting Liu

Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies

Chun Yong Chong, Eunsuk Kang, Mary Shaw

Assessing the opportunity of combining state-of-the-art Android malware detectors

Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein

Iterative Assessment and Improvement of DNN Operational Accuracy

Antonio Guerriero, Roberto Pietrantuono, Stefano Russo

Toward Gaze-assisted Developer Tools

Peng Kuang, Emma Söderberg, Diederick Niehorster, Martin Höst

A Machine and Deep Learning analysis among SonarQube rules, Product, and Process Metrics for Faults Prediction

Francesco Lomio, Sergio Moreschini, Valentina Lenarduzzi

Under the Bridge: Trolling and the Challenges of Recruiting Software Developers for Empirical Research Studies

Ella Kokinda, Makayla Moster, James Dominic, Paige Rodeghero

Afternoon Tea

Overlapping Events:

Distribution-aware Fairness Test Generation

Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods

Newcomers Speed Networking

15:20

Overlapping Events:

Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations

Demystifying Exploitable Bugs in Smart Contracts

Overlapping Events:

An Empirical Study of Deep Learning Models for Vulnerability Detection

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction

Overlapping Events:

Automating Code-Related Tasks Through Transformers: The Impact of Pre-training

Generic Partition Refinement and Weighted Tree Automata

Overlapping Events:

Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing

Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games

15:40

Overlapping Events:

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

A Qualitative Study on the Implementation Design Decisions of Developers

Distinguished Paper Award

Closing the Loop for Software Remodularisation - REARRANGE: An Effort Estimation Approach for Software Clustering-based Remodularisation

Developer-Intent Driven Code Comment Generation

Fangwen Mu, Xiao Chen, Lin Shi, Song Wang, Qing Wang

PILAR: Studying and Mitigating the Influence of Configurations on Log Parsing

Hetong Dai, Yiming Tang, Heng Li, Weiyi Shang

SoapOperaTG: A Tool for System Knowledge Graph Based Soap Opera Test Generation

TAINTMINI: Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis

Chao Wang, Ronny Ko, Yue Zhang, Yuqing Yang, Zhiqiang Lin

Reusing Deep Neural Network Models through Model Re-engineering

Binhang Qi, Hailong Sun, Xiang Gao, Hongyu Zhang, Zhaotian Li, Xudong Liu

Chronos: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports

Yunbo Lyu, Le-Cong Thanh, Hong Jin Kang, Ratnadira Widyasari, Zhipeng Zhao, Xuan-Bach D. Le, Ming Li, David Lo

Are you cloud-certified? An Experience Report to Prepare Computing Undergraduates for Cloud Certification with Experiential Learning

Eng Lieh Ouh, Benjamin Kok Siew Gan

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

Trustworthy and Synergistic AI4SE: Vision and Road Ahead

Methodology and Guidelines for Evaluating Multi-Objective Search-Based Software Engineering

Miqing Li, Tao Chen

SAIN: A Community-Wide Software Architecture INfrastructure

Joshua Garcia, Mehdi Mirakhorli, Lu Xiao, Sam Malek, Rick Kazman, Yuanfang Cai, Nenad Medvidović

Conversation Café on EDI

GUI Testing to the Power of Parallel Q-Learning

Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani

AI and ML: The Software Engineers of the Future

Thomas Zimmermann

16:00

Data Quality Matters: A Case Study of ObsoleteComment Detection

Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Jingwei Xu, Xiaoxing Ma

Did We Miss Something Important? Studying and Exploring Variable-Aware Log Abstraction

Zhenhao Li, Chuan Luo, Tse-Hsun (Peter) Chen, Weiyi Shang, Shilin He, Qingwei Lin, Dongmei Zhang

BADGE: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing

Dezhi Ran, Hao Wang, Wenyu Wang, Tao Xie

AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities

Asem Ghaleb, Julia Rubin, Karthik Pattabiraman

PyEvolve: Automating Frequent Code Changes in Python ML Systems

Malinda Dilhara, Danny Dig, Ameya Ketkar

Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem

Yulun Wu, Zeliang Yu, Ming Wen, Qiang Li, Deqing Zou, Hai Jin

Understanding Students' Knowledge of Programming Patterns Through Code Editing and Revising Tasks

Sara Nurollahian, Anna Rafferty, Eliane Wiese

Generative Artificial Intelligence for Software Engineering

Revisiting Learning-based Commit Message Generation

Jinhao Dong, Yiling Lou, Dan Hao, Lin Tan

On the Temporal Relations between Logging and Code

Zishuo Ding, Yiming Tang, Yang Li, Heng Li, Weiyi Shang

Efficiency Matters: Speeding Up Automated Testing with GUI Rendering Inference

Sidong Feng, Mulong Xie, Chunyang Chen

Distinguished Paper Award

Fine-grained Commit-level Vulnerability Type Prediction By CWE Tree Structure

Shengyi Pan, Lingfeng Bao , Xin Xia, David Lo, Shanping Li

DeepArc: Modularizing Neural Networks for the Model Maintenance

xiaoning ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong

SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript

Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu

Speak, Memory! Analyzing Historical Accidents to Sensitize Software Testing Novices

Natalia Silvis-Cividjian, Fritz Hager

Technical Debt: are we there yet?

16:20

Panel discussion

Commit Message Matters: Investigating Impact and Evolution of Commit Message Quality

Jiawei Li, Iftekhar Ahmed

How Do Developers' Profiles and Experiences Influence their Logging Practices? An Empirical Study of Industrial Practitioners

Guoping Rong, shenghui gu, Haifeng Shen, He Zhang, Hongyu Kuang

CodaMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models

Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen

Security Thinking in Online Freelance Software Development

Irum Rauf, Marian Petre, Thein Tun, Tamara Lopez, Bashar Nuseibeh

Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement

Sayem Mohammad Imtiaz, Fraol Batole, Astha Singh, Rangeet Pan, Breno Dantas Cruz, Hridesh Rajan

On Privacy Weaknesses and Vulnerabilities in Software Systems

Pattaraporn Sangaroonsilp, Hoa Khanh Dam, Aditya Ghose

Software startup within a university - producing industry-ready graduates

Saara Tenhunen, Tomi Männistö, Petri Ihantola, Jami Kousa, Matti Luukkainen

16:40

On the Significance of Category Prediction for Code-Comment Synchronization

When to Say What: Learning to Find Condition-Message Inconsistencies

Islem BOUZENIA, Michael Pradel

Simulation-Driven Automated End-to-End Test and Oracle Inference

Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiaoyu Wang, Graham Wright

Open Science in Software Engineering: A Study on Deep Learning-Based Vulnerability Detection

Safe-DS: A Domain Specific Language to Make Data Science Safe

A Multi-faceted Vulnerability Searching Website Powered by Aspect-level Vulnerability Knowledge Graph

Teaching MLOps in Higher Education through Project-Based Learning

Correlating Automated and Human Evaluation of Code Documentation Generation Quality

Xing Hu, Qiuyuan Chen, Haoye Wang, Xin Xia, David Lo, Thomas Zimmermann

Training for Security: Planning the Use of a SAT in the Development Pipeline of Web Apps

Sabato Nocera, Simone Romano, Rita Francese, Giuseppe Scanniello

Rapid Development of Compositional AI

Lee Martie, Jessie Rosenberg, Veronique Demers, Gaoyuan Zhang, Onkar Bhardwaj, John Henning, Aditya Prasad, Matt Stallone, Ja Young Lee, Lucy Yip, Damilola Adesina, Elahe Paikari, Oscar Resendiz, Sarah Shaw, David Cox

An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities

Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon

Software Resurrection: Discovering Programming Pearls by Showing Modernity to Historical Software

17:00

Predictive Comment Updating with Heuristics and AST-Path-Based Neural Learning: A Two-Phase Approach

A Semantic-aware Parsing Approach for Log Analytics

Yintong Huo, Yuxin Su, Cheryl Lee, Michael Lyu

Reasoning-Based Software Testing

VulGen: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning

Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai

StreamAI: Challenges of Continual Learning Systems in Production for AI Industrialization

Blindspots in Python and Java APIs Result in Vulnerable Code

Teaching Computer Science Students to Communicate Scientific Findings More Effectively

Automated Generation and Evaluation of JMH Microbenchmark Suites From Unit Tests

Mostafa Jangali, Yiming Tang, Niclas Alexandersson, Philipp Leitner, Jinqiu Yang, Weiyi Shang

17:20

Townhall Session

17:40

18:00

18:20

Welcome Reception

18:40

19:00

19:20

19:40

20:00

20:20

20:40

21:00

21:20

21:40

22:00

ICSE 2020 Victory Dinner

Gregg Rothermel

22:20

22:40

23:00

23:20

23:40

Thu 18 May
Displayed time zone: Hobart change

Thu 18 May

Level 1 Exhibtion Space

Level G - Plenary Room 1

Meeting Room 101

Meeting Room 102

Meeting Room 103

Meeting Room 104

Meeting Room 105

Meeting Room 106

Meeting Room 107

Meeting Room 108

Meeting Room 109

Meeting Room 110

Meeting Room 111

Meeting Room 112

7:00

ICSE Run+Walk

7:20

Industry Recruitment Breakfast

7:40

8:00

Book Club discussion

8:20

8:40

9:00

Software Engineering as the Linchpin of Responsible AI - Dr. Liming Zhu

9:20

9:40

10:00

Awards 1 - TCSE & SIGSOFT Awards

Ladan Tahvildari, Thomas Zimmermann

10:20

Overlapping Events:

Morning Tea

RM2DM: A Tool for Automatic Generation of OO Design Models from Requirements Models

Zhen Tian, Yilong Yang, Sheng Cheng

What Would You do? An Ethical AI Quiz

Wei Teo, Ze Teoh, Dayang Abang Arabi, Morad Aboushadi, Khairenn Lai, Zhe Ng, Aastha Pant, Rashina Hoda, Kla Tantithamthavorn, Burak Turhan

10:40

11:00

Detecting Exception Handling Bugs in C++ Programs

Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu

“STILL AROUND”: Experiences and Survival Strategies of Veteran Women Software Developers

Sterre van Breukelen, Ann Barcomb, Sebastian Baltes, Alexander Serebrenik

Distinguished Paper Award

When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study

Vincenzo Riccio, Paolo Tonella

Workflow analysis of data science code in public GitHub repositories

Dhivyabharathi Ramasamy, Cristina Sarasua, Alberto Bacchelli, Abraham Bernstein

Better Automatic Program Repair by Using Bug Reports and Tests Together

Manish Motwani, Yuriy Brun

AI-based Question Answering Assistance for Analyzing Natural-language Requirements

Saad Ezzini, Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh

Data-driven Recurrent Set Learning For Non-termination Analysis

Zhilei Han, Fei He

SCORE 2023 Introduction

SRC Presentations

Muneera Bano, Lingxiao Jiang

Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing

Zhe Liu, Chunyang Chen, Junjie Wang, Xing Che, Yuekai Huang, Jun Hu, Qing Wang

The Future of Software Testing

Conducting Eye Tracking Studies in Software Engineering - Methodology and Pipeline

Bonita Sharif, Andrew Begel, Jonathan I. Maletic

Boosting Static Analysis with Dynamic Runtime Data at WhatsApp Server

Matteo Marescotti, Ákos Hajdu, Dino Distefano, Ke Mao

DSEC: A Data Analyzer tool for ensuring secure software development life-cycle

André Schjøth, Giovanni Demasi, Lorenzo Poletti, Lucija Strejček, Jan Rocek, Kristian Djaković

The Future of Software Security: Beyond the Security Silo to All of Us

Laurie Williams

Learning to Boost Disjunctive Static Bug-Finders

Yoonseok Ko, Hakjoo Oh

The ABC of Pair Programming: Gender-dependent Attitude, Behavior and Code of Young Learners

Isabella Graßl, Gordon Fraser

Fuzzing Automatic Differentiation in Deep-Learning Libraries

Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang

Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension

Haytham Hijazi, João Durães, Ricardo Couceiro, Raul Barbosa, João Castelhano, Júlio Medeiros, Miguel Castelo Branco, Paulo Carvalho, Henrique Madeira

CCTEST: Testing and Repairing Code Completion Systems

Li Zongjie, Chaozheng Wang, Zhibo Liu, Haoxuan Wang, Dong Chen, Shuai Wang, Cuiyun Gao

Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation

Alessio Ferrari, Paola Spoletini

Compiling Parallel Symbolic Execution with Continuations

Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bračevac, Tiark Rompf

Detecting Dialog-Related Keyboard Navigation Failures in Web Applications

Paul T. Chiou, Ali S. Alotaibi, William G.J. Halfond

Personalized action suggestions in low-code automation platforms

Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le

11:20

PDFL - PDF Legacy, Smart Paper Reader

Matteo Visotto, Paolo Corsa, Ettore Zamponi, Salvatore Gabriele Karra, Tonio Ercegović, Nina Gnjidić, Dario Mesic

Enabling Flow in Software Development

Predicting Bugs by Monitoring Developers During Task Execution

Gennaro Laudato, Simone Scalabrino, Nicole Novielli, Filippo Lanubile, Rocco Oliveto

Engaging Girls in Computer Science: Do Single-Gender Interdisciplinary Classes Help?

Kai Marquardt, Lucia Happe, Ingo Wagner

Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective

Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lv

Code Review of Build System Specifications: Prevalence, Purposes, Patterns, and Perceptions

Mahtab Nejati, Mahmoud Alfadel, Shane McIntosh

A Controlled Experiment of Different Code Representations for Learning-Based Program Repair

BARA: A Dynamic State-based Serious Game for Teaching Requirements Elicitation

Yu Liu, Tong Li, Zheqing Huang, Zhen Yang

Verifying Data Constraint Equivalence in FinTech Systems

Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang

COLUMBUS: Android App Testing Through Systematic Callback Exploration

Priyanka Bose, Dipanjan Das, Saastha Vasan, Sebastiano Mariani, Ilya Grishchenko, Andrea Continella, Antonio Bianchi, Christopher Kruegel, Giovanni Vigna

How is the rapid progress in Artificial Intelligence affecting the future of Software Engineering?

Towards formal repair and verification of industry-scale deep neural networks

Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata

Patching Locking Bugs Statically with Crayons

Juan Alfredo Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wąsowski

CodeDefenders: RoboTournament - CodeBenders team

Dominik Brdar, Fanny Delnondedieu, Hrvoje Rom, Simone Mezzaro, Riccardo Nava, Fabio Patella, Andrea Restelli

11:40

Panel discussion

Detecting Isolation Bugs via Transaction Oracle Construction

Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang, Yu Gao, Wei Wang, Jun Wei, Lei Chen, Hanmo Wang, Hua Zhong, Tao Huang

Fundamentalists, Integrationists, & Transformationists: An Empirical Theory of Men Software Engineers' Orientations in Gender Inequalities

Yi Wang, Xinyue Zhang, Wei Wang

DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models

Please fix this mutant: How do developers resolve mutants surfaced during code review?

Goran Petrovic, René Just, Marko Ivanković, Gordon Fraser

KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair

Nan Jiang, Thibaud Lutellier, Yiling Lou, Lin Tan, Dan Goldwasser, Xiangyu Zhang

Hackathons as Inclusive Spaces for Prototyping Software in Open Social Innovation with NGOs

Kiev Gama, George Valença, Candy Estelle Marques Laurendon, Ájò Nasidí, Luis Eduardo Ramos, Ravena Amaral, Clarissa Barros, Guilherme Xavier

Tolerate Control-Flow Changes for Sound Data Race Prediction

Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai

GameRTS: A Regression Testing Framework for Video Games

Jiongchi Yu, Yuechen Wu, Xiaofei Xie, Wei Le, Lei Ma, Yingfeng Chen, Yujing Hu, Fan Zhang

Challenges and Solution Strategies to Setup an MLOps Process to Develop and Assess a Driverless Regional Train Example

Marc Zeller, Martin Rothfelder, Cornel Klein

DeepCrime: from Real Faults to Mutation Testing Tool for Deep Learning

Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella

PrivTAP: Privacy-preserving Trigger-action IoT Platform

Enna Basic, Michele Benedetti, Leonardo Panseri, Ivan Radonjic, Emanuele Santoro, Alessandro Sassi, Lorenzo Maria Vaccarini

12:00

SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk

Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone, Jeff Huang

Draw a Software Engineer Test - An Investigation into Children's Perception of Software Engineering Profession

Claudia Maria Cutrupi, Irene Zanardi, Letizia Jaccheri, Monica Landoni

DiverGet: a Search-Based Software Testing approach for Deep Neural Network Quantization assessment

Using Large-scale Heterogeneous Graph Representation Learning for Code Review Recommendations at Microsoft

Jiyang Zhang, Chandra Maddila, Ramakrishna Bairi, Christian Bird, Ujjwal Raizada, Apoorva Agrawal, Yamini Jhawar, Kim Herzig, Arie van Deursen

Rete: Learning Namespace Representation for Program Repair

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev

Distinguished Paper Award

Theory as a Source of Software Requirements

Ruzanna Chitchyan

TSVD4J: Thread-Safety Violation Detection for Java

Widget Detection-based Testing for Industrial Mobile Games

Xiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma, Jianjun Zhao

Automated Feature Document Review via Interpretable Deep Learning

yeming , Yuanfan Chen, Xin Zhang, Jinning He, Jicheng Cao, Dong Liu, Shengyu Cheng, Jing Gao, Hailiang Dai

Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion

Yuanyuan Yuan, Qi Pang, Shuai Wang

What Petri Nets Oblige Us to Say Comparing Approaches for Behavior Composition

Achiya Elyasaf, Tom Yaacov, Gera Weiss

(Private) SCORE PC meeting

CONAN: Diagnosing Batch Failures for Cloud Systems

Liqun Li, Xu Zhang, Shilin He, Yu Kang, Hongyu Zhang, Minghua Ma, Yingnong Dang, Zhangwei Xu, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang

Benefits and Limitations of Remote Work to LGBTQIA+ Software Professionals

Ronnie de Souza Santos, Cleyton V. C. de Magalhaes, Paul Ralph

A mixed-methods analysis of micro-collaborative coding practices in OpenStack

Cerberus: a Program Repair Framework

Automated Question Answering for Improved Understanding of Compliance Requirements: A Multi-Document Study

Sallam Abualhaija, Chetan Arora, Amin Sleimi, Lionel Briand

A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems

AVGUST: A Tool for Generating Usage-Based Tests from Videos of App Executions

12:20

Predicting Patch Correctness Based on the Similarity of Failing Test Cases

Haoye Tian, Yinghua Li, Weiguo Pian, Abdoul Kader Kaboré, Kui Liu, Andrew Habib, Jacques Klein, Tegawendé F. Bissyandé

Fragment-Based Test Generation For Web Apps

Rahulkrishna Yandrapally, Ali Mesbah

How to Assess Research

ROSE Festival

Executive Meeting

Executive Meeting

Executive Meeting

Executive Meeting

LGBTQI+@ICSE in Boho South Wharf

12:40

13:00

13:20

13:40

Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots

Amir Ghorbani, Nathan Cassee, Derek Robinson, Adam Alami, Neil Ernst, Alexander Serebrenik, Andrzej Wąsowski

At the Margins: Marginalized Groups' Ethical Concerns about Software

Lauren Olson, Emitzá Guzmán, Florian Kunneman

Impact of Code Language Models on Automated Program Repair

Nan Jiang, Kevin Liu, Thibaud Lutellier, Lin Tan

Demystifying Issues, Challenges, and Solutions for Multilingual Software Development

Haoran Yang, Weile Lian, Shaowei Wang, Haipeng Cai

Towards Understanding Fairness and its Composition in Ensemble Machine Learning

Usman Gohar, Sumon Biswas, Hridesh Rajan

Demystifying Privacy Policy of Third-Party Libraries in Mobile Apps

Kaifa ZHAO, Xian Zhan, Le Yu, Shiyao Zhou, Hao Zhou, Xiapu Luo, Haoyu Wang, Yepang Liu

SLR: From Saltzer & Schoeder to 2021…

Nikhil Patnaik, Andrew C Dwyer, Joseph Hallett, Awais Rashid

Dependency Facade: The Coupling and Conflicts between Android Framework and Its Customization

Wuxia Jin, Yitong Dai, Jianguo Zheng, Yu Qu, Ming Fan, Zhenyu Huang, Dezhi Huang, Ting Liu

Test Selection for Unified Regression Testing

Shuai Wang, Xinyu Lian, Darko Marinov, Tianyin Xu

Conducting Eye Tracking Studies in Software Engineering - Methodology and Pipeline

Bonita Sharif, Andrew Begel, Jonathan I. Maletic

Challenges of Testing an Evolving Cancer Registration Support System in Practice

Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård

14:00

Flexible and Optimal Dependency Management via Max-SMT

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin

Do Users Act Equitably? Understanding User Bias Through a Large In-Person Study

Yang Liu, Heather Moses, Mark Sternefeld, Samuel Malachowsky, Daniel Krutz

Tare: Type-Aware Neural Program Repair

Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang

Testability Refactoring in Pull Requests: Patterns and Trends

Pavel Reich, Walid Maalej

Fairify: Fairness Verification of Neural Networks

Sumon Biswas, Hridesh Rajan

Cross-Domain Requirements Linking via Adversarial-based Domain Adaptation

Zhiyuan Chang, Mingyang Li, Qing Wang, Shoubin Li, Junjie Wang

On-Demand Security Requirements Synthesis with Relational Generative Adversarial Networks (RelGAN)

Viktoria Koscinski, Sara Hashemi, Mehdi Mirakhorli

SEIP: Investigating a NASA Cyclomatic Complexity Policy on Maintenance Risk of a Critical System

Daniel Port, Bill Taber, LiGuo Huang

ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search

Rongqi Pan, Taher A. Ghaleb, Lionel Briand

Can we Knapsack Software Defect Prediction? Nokia 5G Case

Szymon Stradowski, Lech Madeyski

Towards More Effective AI-assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience

Priyan Vaithilingam, Elena Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim

Developing Software for Diverse Socio-Economic End Users: Lessons Learned from A Case Study of Fisherfolk Communities in Bangladesh

Tanjila Kanij, Misita Anwar, Gillian Oliver, Md Khalid Hossain

Template-based Neural Program Repair

Xiangxin Meng, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu

Usability-Oriented Design of Liquid Types for Java

Catarina Gamboa, Paulo Canelas, Christopher Steven Timperley, Alcides Fonseca

Leveraging Feature Bias for Scalable Misprediction Explanation of Machine Learning Models

Jiri Gesi, Xinyun Shen, Yunfan Geng, Qihong Chen, Iftekhar Ahmed

DocToModel: Automated Authoring of Models from Diverse Requirements Specification Documents

Asha Rajbhoj, Padmalata Nistala, Vinay Kulkarni, Shivani Soni, Ajim Pathan

Measuring Secure Coding Practice and Culture: A Finger Pointing at the Moon is not the Moon

Ita Ryan, Utz Roedig, Klaas-Jan Stol

Aegis: Attribution of Control Plane Change Impact across Layers and Components for Cloud Systems

Xiaohan Yan, Ken Hsieh, Yasitha Liyanage, Minghua Ma, Murali Chintalapati, Qingwei Lin, Yingnong Dang, Dongmei Zhang

Measuring and Mitigating Gaps in Structural Testing

Soneya Binta Hossain, Matthew B Dwyer, Sebastian Elbaum, Anh Nguyen-Tuong

UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments

Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets

14:20

DeepLog: Deep-Learning-Based Log Recommendation

Walking Down the Road to Independent Mobility: An Adaptive Route Training System for the Cognitively Impaired

Konstantin Rink, Tristan Gruschka, Patrick Palsbröker, Marcos Baez, Dominic Becking, Udo Seelmeyer, Gudrun Dobslaw, Patricia Stolz

Automated Repair of Programs from Large Language Models

Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan

A Theorem Proving Approach to Programming Language Semantics

Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks

Verya Monjezi, Ashutosh Trivedi, Gang (Gary) Tan, Saeid Tizpaz-Niari

Environment-Driven Abstraction Identification for Requirements-Based Testing

Zedong Peng, Prachi Rathod, Nan Niu, Tanmay Bhowmik, Hui Liu, Lin Shi, Zhi Jin

What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts?

Setu Kumar Basak, Lorenzo Neil, Bradley Reaves, Laurie Williams

An Empirical Study on Change-induced Incidents at Ant Group

Yifan Wu, Bingxu Chai, Ying Li, Bingchang Liu, Jianguo Li, Yong Yang, Wei Jiang

FlaPy: Mining Flaky Python Tests at Scale

Challenges of Evolving Legacy Software in a Small Team

Bowie Owens, Geoffrey Lee, Zili Zhu, Thomas Lo

ShellFusion: An Answer Generator for Shell Programming Tasks via Knowledge Fusion

Zhongqi Chen, Neng Zhang, Pengyue Si, ChenQinde , Chao Liu, Zibin Zheng

Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts

Ahmadreza Saboor Yaraghi, Mojtaba Bagherzadeh, Nafiseh Kahani, Lionel Briand

14:40

Revisiting, Benchmarking and Exploring API Recommendation: How Far are We?

Diversity Awareness in Software Engineering Participant Research

Riya Dutta, Diego Elias Costa, Emad Shihab, Tanja Tajmel

Automated Program Repair in the Era of Large Pre-trained Language Models

Chunqiu Steven Xia, Yuxiang Wei, Lingming Zhang

RIdiom: Automatically Refactoring Non-idiomatic Python Code with Pythonic Idioms

Seldonian Toolkit: Building Software with Safe and Fair Machine Learning

A Web-Based Tool for Using Storyboard of Android Apps

Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX

Xinyuan Miao, Ziyi Lin, Shaojun Wang, Lei Yu, Sanhong Li, Zihan Wang, Pengbo Nie, Yuting Chen, Beijun Shen, He Jiang

Distinguished Paper Award

Fulfilling Industrial Needs for Consistency Among Engineering Artifacts

Luciano Marchezan, Wesley K.G. Assunção, Edvin Herac, Felix Keplinger, Alexander Egyed, Christophe Lauwerys

Flakify: A Black-Box, Language Model-based Predictor for Flaky Tests

Prioritizing Industrial Security Findings in Agile Software Development Projects

Markus Voggenreiter, Ulrich Schöpp

Semantically-enhanced Topic Recommendation Systems for Software Projects

Maliheh Izadi, Mahtab Nejati, Abbas Heydarnoori

An Empirical Study of Data Constraint Implementations in Java

Juan Manuel Florez, Laura Moreno, Zenong Zhang, Shiyi Wei, Andrian Marcus

What Would You do? An Ethical AI Quiz

Wei Teo, Ze Teoh, Dayang Abang Arabi, Morad Aboushadi, Khairenn Lai, Zhe Ng, Aastha Pant, Rashina Hoda, Kla Tantithamthavorn, Burak Turhan

InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation

Shuanglong Chang, Juntao Gao, Yilong Yang

Developer-centric test amplification

Carolin Brandt, Andy Zaidman

15:00

Code Librarian: A Software Package Recommendation System

Harmful Terms in Computing: Towards Widespread Detection and Correction

AIREPAIR: A Repair Platform for Neural Networks

Learning To Predict User-Defined Types

Search-Based Fairness Testing for Regression-Based Machine Learning Systems

A Software Requirements Ecosystem: Linking Forum, Issue Tracker, and FAQs for Requirements Management

Keyword Extraction From Specification Documents for Planning Security Mechanisms

Jeffy Jahfar Poozhithara, Hazeline Asuncion, Brent Lagesse

The Co-evolution of the WordPress Platform and its Plugins

How Developers Engineer Test Cases: An Observational Study

Enhancing Maritime Data Standardization and Integrity using Docker and Blockchain

Shuai Wang, Nikita Karandikar, Knut Erik Knutsen, Xiao Gang Tony Tong, Tom Edseth, Zealo Xu Zile

Arachne: Search Based Repair of Deep Neural Networks

Jeongju Sohn, Sungmin Kang, Shin Yoo

FairMask: Better Fairness via Model-based Rebalancing of Protected Attributes

Kewen Peng, Tim Menzies, Joymallya Chakraborty

Towards Human-Centred Crowd Computing: Software for Better Use of Computational Resources

Niroshinie Fernando, Chetan Arora, Seng W.Loke, Lubna Alam, Stephen La Macchia, Helen Graesser

Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery

Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, Yi Li

Afternoon Tea

Overlapping Events:

Values@Runtime: An Adaptive Framework for Operationalising Values

PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports

Conversation Café on Wellness in Academia

Mansooreh Zahedi

15:20

Overlapping Events:

Chronos: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports

Contradicting Motivations in Civic Tech Software Development: Analysis of a Grassroots Project

Overlapping Events:

Usability-Oriented Design of Liquid Types for Java

When to Say What: Learning to Find Condition-Message Inconsistencies

GLAD: Neural Predicate Synthesis to Repair Omission Faults

Overlapping Events:

Gender Representation Among Contributors to Open-Source Infrastructure - An Analysis of 20 Package Manager Ecosystems

Software Engineering for Smart Things in Public Spaces: Initial Insights and Challenges

15:40

Overlapping Events:

Workplace Discrimination in Software Engineering: Where We Stand Today

A GNN-based Recommender System to Assist the Specification of Metamodels and Models

ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis

Harlan D. Mills Award talk

David Harel, Paolo Tonella

16:00

MIP Award talk

Abhik Roychoudhury, Betty H.C. Cheng, Klaus Pohl

Overlapping Events:

ICSE Soccer

Conference Party

16:20

16:40

SIGSOFT Outstanding Research Award talk

Gail Murphy, David Lo

17:00

17:20

17:40

18:00

18:20

18:40

19:00

19:20

19:40

20:00

20:20

20:40

21:00

21:20

21:40

22:00

Fri 19 May
Displayed time zone: Hobart change

Fri 19 May

Level 1 Exhibtion Space

Level G - Plenary Room 1

Meeting Room 101

Meeting Room 102

Meeting Room 103

Meeting Room 104

Meeting Room 105

Meeting Room 106

Meeting Room 107

Meeting Room 108

Meeting Room 109

Meeting Room 110

Meeting Room 112

Virtual - Zoom for GAS

7:20

ICSE Regional Breakfast

7:40

8:00

ICSE ECRs and PhDs Breakfast

8:20

8:40

9:00

The Road Toward Dependable AI Based Systems - Prof. Paolo Tonella

9:20

9:40

10:00

Awards 2 - Distinguished papers, reviewers etc

10:20

Overlapping Events:

Morning Tea

CryptOpt: Automatic Optimization of Straightline Code

Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner , Yuval Yarom

TSVD4J: Thread-Safety Violation Detection for Java

Shanto Rahman, Chengpeng Li, August Shi

10:40

11:00

Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention

Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su, Yongqiang Yang, Michael Lyu

Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation

Qiang Hu, Yuejun GUo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon

Automatic prediction of rejected edits in Stack Overflow

Saikat Mondal, Gias Uddin, Chanchal K. Roy

Code Comprehension Confounders: A Study of Intelligence and Personality

Stefan Wagner, Marvin Wyrich

SeeHow: Workflow Extraction from Programming Screencasts through Action-Aware Video Analytics

Dehai Zhao, Zhenchang Xing, Xin Xia, Deheng Ye, Xiwei (Sherry) Xu, Liming Zhu

A Theory of Scrum Team Effectiveness

Christiaan Verwijs, Daniel Russo

DLInfer: Deep Learning with Static Slicing for Python Type Inference

Yanyan Yan, Yang Feng, Hongcheng Fan, Baowen Xu

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

Compiler Test-Program Generation via Memoized Configuration Search

Junjie Chen, Chenyao Suo, Jiajun Jiang, Peiqi Chen, Xingjian Li

Software Engineering for Big Data and Hardware Heterogeneity

The Landscape of Source Code Representation Learning in AI-Driven Software Engineering Tasks

Sridhar Chimalakonda, Debeshee Das, Alex Mathai, Srikanth Tamilselvam, Atul Kumar

Got ethics?

Recommending Root-Cause and Mitigation Steps for Cloud Incidents using Large Language Models

Toufique Ahmed, Supriyo Ghosh, Chetan Bansal, Thomas Zimmermann, Xuchao Zhang, Saravanakumar Rajmohan

Testing the Plasticity of Reinforcement Learning Based Systems

Matteo Biagiola, Paolo Tonella

Automated Summarization of Stack Overflow Posts

Bonan Kou, Muhao Chen, Tianyi Zhang

Identifying Key Classes for Initial Software Comprehension: Can We Do It Better?

Weifeng Pan, Xin Du, Hua Ming, Dae-Kyoo Kim, Zijiang Yang

AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces

S M Hasan Mansur, Sabiha Salma, Damilola Awofisayo, Kevin Moran

Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering

Erin Schultz, Sean McGuire, Bimpe Ayoola, Paul Ralph

ViolationTracker: Building Precise Histories for Static Analysis Violations

Ping Yu, Yijian Wu, Xin Peng, Jiahan Peng, Jian Zhang, Peicheng Xie, Wenyun Zhao

Generating Test Databases for Database-Backed Applications

Cong Yan, Suman Nath, Shan Lu

11:20

The path to quantum at scale

Eadro: An End-to-End Troubleshooting Framework for Microservices on Multi-source Data

Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su, Michael Lyu

CC: Causality-Aware Coverage Criterion for Deep Neural Networks

Zhenlan Ji, Pingchuan Ma, Yuanyuan Yuan, Shuai Wang

Semi-Automatic, Inline and Collaborative Web Page Code Curations

Roy Rutishauser, André N. Meyer, Reid Holmes, Thomas Fritz

Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods

Daye Nam, Brad A. Myers, Bogdan Vasilescu, Vincent J. Hellendoorn

Carving UI Tests to Generate API Tests and API Specification

Rahulkrishna Yandrapally, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah

Overcoming Challenges in DevOps Education through Teaching Methods

Samuel Ferino, Marcelo Fernandes, Elder Cirilo, Lucas Agnez, Bruno Batista, Uirá Kulesza, Eduardo Aranha, Christoph Treude

On the use of static analysis to engage students with software quality improvement: An experience with PMD

Eman Abdullah AlOmar, Salma Abdullah AlOmar, Mohamed Wiem Mkaouer

Testing Database Engines via Query Plan Guidance

Jinsheng Ba, Manuel Rigger

Distinguished Paper Award

The Software Revolution of Obfuscation

11:40

Panel discussion

LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly

Guangba Yu, Pengfei Chen, Pairui Li, Tianjun Weng, Haibing Zheng, Yuetang Deng, Zibin Zheng

Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests

Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang

You Don’t Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries

Rijnard van Tonder

Evidence Profiles for Validity Threats in Program Comprehension Experiments

Marvin Muñoz Barón, Marvin Wyrich, Daniel Graziotin, Stefan Wagner

CFG2VEC: Hierarchical Graph Neural Network for Cross-Architectural Software Reverse Engineering

Shih-Yuan Yu, Yonatan Achamyeleh, Chonghan Wang, Anton Kocheturov, Patrick Eisen, Mohammad Al Faruque

Do Software Security Practices Yield Fewer Vulnerabilities?

Nusrat Zahan, Shohanuzzaman Shohan, Dan Harris, Laurie Williams

Long-term Static Analysis Rule Quality Monitoring Using True Negatives

Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel J Sanchez

Testing Database Systems via Differential Query Execution

Jiansen Song, Wensheng Dou, Ziyu Cui, Qianwang Dai, Wei Wang, Jun Wei, Hua Zhong, Tao Huang

12:00

TraceArk: Towards Actionable Performance Anomaly Alerting for Online Service Systems

Zhengran Zeng, Yuqun Zhang, Yong Xu, Minghua Ma, Bo Qiao, Wentao Zou, Qingjun Chen, Meng Zhang, Xu Zhang, Hongyu Zhang, Xuedong Gao, Hao Fan, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang

Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems

Fitash ul haq, Donghwan Shin, Lionel Briand

TECHSUMBOT: A Stack Overflow Answer Summarization Tool for Technical Query

Developers’ Visuo-spatial Mental Model and Program Comprehension

Abir Bouraffa, Gian-Luca Fuhrmann, Walid Maalej

Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network

Zhe Liu, Chunyang Chen, Junjie Wang, Yuhui Su, Yuekai Huang, Jun Hu, Qing Wang

A/B Integrations: 7 Lessons Learned from Enabling A/B testing as a Product Feature

Aleksander Fabijan, Pavel Dmitriev, Benjamin Arai, Andy Drake, Sebastian Kohlmeier, April Kwong

A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes

Sedick David Baker Effendi, Berk Cirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp

Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations

Ming Yan, Junjie Chen, Hangyu Mao, Jiajun Jiang, Jianye Hao, Xingjian Li, Zhao Tian, Zhichao Chen, Dong Li, Dong Li, Yanwei Guo, Wulong Liu, Bin Wang, Yuefeng Sun, Yongshun Cui

An empirical study of question discussions on Stack Overflow

Wenhan Zhu, Haoxiang Zhang, Ahmed E. Hassan, Michael W. Godfrey

ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects

Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie

Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence

zejun zhang, Zhenchang Xing, Xin Xia, Xiwei (Sherry) Xu, Liming Zhu, Qinghua Lu

Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension

Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo, Yue Yu

VID2XML: Automatic Extraction of a Complete XML Data from Mobile Programming Screencasts

Towards Supporting Emotion Awareness in Retrospective Meetings

GradeStyle: GitHub-Integrated and Automated Assessment of Java Code Style

Randomized Differential Testing of RDF Stores

12:20

Auto-Logging: AI-centred Logging Instrumentation

Jasmin Bogatinovski, Odej Kao

Test-Driven Development Benefits Beyond Design Quality: Flow State and Developer Experience

Pedro Calais, Lissa Franzini

The Challenges of Shift Left Static Analysis

Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen

Boosting Compiler Testing via Compiler Optimization Exploration

Junjie Chen, Chenyao Suo

Executive Meeting

Executive Meeting

srcML meeting

Jonathan I. Maletic

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

Executive Meeting

12:40

13:00

13:20

13:40

Analyzing the Impact of Workloads on Modeling the Performance of Configurable Software Systems

Stefan Mühlbauer, Florian Sattler, Christian Kaltenecker, Johannes Dorn, Sven Apel, Norbert Siegmund

Learning Deep Semantics for Test Completion

Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond Mooney, Milos Gligoric

Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs

Fozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Daniel Varro

Safe low-level code without overhead is practical

Solal Pirelli, George Candea

Coverage Guided Fault Injection for Cloud Systems

Yu Gao, Wensheng Dou, Dong Wang, Wenhan Feng, Jun Wei, Hua Zhong, Tao Huang

An Empirical Study of Deep Learning Models for Vulnerability Detection

Benjamin Steenhoek, Md Mahbubur Rahman, Richard Jiles, Wei Le

srcML meeting

Jonathan I. Maletic

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

Persona-based Assessment of Software Engineering Student Research Projects: An Experience Report

Chetan Arora, Laura Tubino, Andrew Cain, Kevin Lee, Vasudha Malhotra

Incident-aware Duplicate Ticket Aggregation for Cloud Systems

Jinyang Liu, Shilin He, Zhuangbin Chen, Liqun Li, Yu Kang, Xu Zhang, Pinjia He, Hongyu Zhang, Qingwei Lin, Zhangwei Xu, Saravan Rajmohan, Dongmei Zhang, Michael Lyu

14:00

Twins or False Friends? A Study on Energy Consumption and Performance of Configurable Software

Max Weber, Christian Kaltenecker, Florian Sattler, Sven Apel, Norbert Siegmund

Dynamic Human-in-the-Loop Assertion Generation

Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee

Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

Pablo Valle, Aitor Arrieta, Maite Arratibel

Sibyl: Improving Software Engineering Tools with SMT Selection

Will Leeson, Matthew B Dwyer, Antonio Filieri

Distinguished Paper Award

Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations

Jongwook Kim, Sunbeom So, Hakjoo Oh

DeepVD: Toward Class-Separation Features for Neural Network Vulnerability Detection

Wenbo Wang, Tien N. Nguyen, Shaohua Wang, Yi Li, Jiyuan Zhang, Aashish Yadavally

Exposing Software Engineering Students to Stressful Projects: Does Diversity Matter?

Isabella Graßl, Gordon Fraser, Stefan Trieflinger, Marco Kuhrmann

Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction

Sungmin Kang, Juyeon Yoon, Shin Yoo

Auto-tuning elastic applications in production

Adalberto R. Sampaio Jr, Ivan Beschastnikh, Daryl Maier, Don Bourne, Vijay Sundaresan

SkCoder: A Sketch-based Approach for Automatic Code Generation

Jia Li, Yongmin Li, Ge Li, Zhi Jin, Xing Hu

WirelessDT: A Digital Twin Platform for Real-Time Evaluation of Wireless Software Applications

Make Your Tools Sparkle with Trust: The PICSE Framework for Trust in Software Tools

Brittany Johnson, Christian Bird, Denae Ford, Nicole Forsgren, Thomas Zimmermann

Identifying Defect Injection Risks from Analysis and Design Diagrams: An Industrial Case Study at Sony

Yoji Imanishi, Kazuhiro Kumon, Shuji Morisaki

Enhancing Deep Learning-based Vulnerability Detection by Building Behavior Graph Model

Bin Yuan, Yifan Lu, Yilin Fang, Yueming Wu, Deqing Zou, Zhen Li, Zhi Li, Hai Jin

“Software is the easy part of Software Engineering” - Lessons and Experiences from A Large-Scale, Multi-Team Capstone Course

Ze Shi (Zane) Li, Nowshin Nawar Arony, Kezia Devathasan, Daniela Damian

On the Reproducibility of Software Defect Datasets

Hao-Nan Zhu, Cindy Rubio-González

14:20

MROS: A framework for robot self-adaptation

Gustavo Rezende Silva, Darko Bozhinoski, Mario Garzon Oviedo, Mariano Ramírez Montero, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Andrzej Wąsowski, Carlos Hernández Corbato

CryptOpt: Automatic Optimization of Straightline Code

An Empirical Comparison of Pre-Trained Models of Source Code

Changan Niu, Chuanyi Li, Vincent Ng, Dongxiao Chen, Jidong Ge, Bin Luo

Mind the Gap! A Study on the Transferability of Virtual vs Physical-world Testing of Autonomous Driving Systems

CoCoSoDa: Effective Contrastive Learning for Code Search

Ensheng Shi, Wenchao Gu, Yanlin Wang, Lun Du, Hongyu Zhang, Shi Han, Dongmei Zhang, Hongbin Sun

DaMAT: A Data-driven Mutation Analysis Tool

Vulnerability Detection with Graph Simplification and Enhanced Graph Representation Learning

Xin-Cheng Wen, Yupan , Cuiyun Gao, Hongyu Zhang, Jie M. Zhang, Qing Liao

Attribution-based Personas in Virtual Software Engineering Education

Klaudia Madhi, Lara Marie Reimer, Stephan M. Jonas

Context-aware Bug Reproduction for Mobile Apps

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

Performance Analysis with Bayesian Inference

Noric Couderc, Christoph Reichenbach, Emma Söderberg

Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data (Journal First Presentation)

Ferhat Ozgur Catak, Tao Yue, Shaukat Ali

Mutation testing in the wild: findings from GitHub

Ana B. Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura

14:40

Runtime Performance Prediction for Deep Learning Models with Graph Neural Network

Yanjie Gao, Xianyu Gu, Hongyu Zhang, Haoxiang Lin, Mao Yang

On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot

Antonio Mastropaolo, Luca Pascarella, Emanuela Guglielmi, Matteo Ciniselli, Simone Scalabrino, Rocco Oliveto, Gabriele Bavota

Uncertainty-aware Robustness Assessment of Industrial Elevator Systems

Task Context: A Tool for Predicting Code Context Models for Software Development Tasks

An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing

Does data sampling improve deep learning-based vulnerability detection? Yeas! and Nays!

Xu Yang, Shaowei Wang, Yi Li, Shaohua Wang

Leveraging Diversity in Software Engineering Education through Community Engaged Learning and a Supportive Network

Nowshin Nawar Arony, Kezia Devathasan, Ze Shi (Zane) Li, Daniela Damian

Read It, Don't Watch It: Captioning Bug Recordings Automatically

Sidong Feng, Mulong Xie, Yinxing Xue, Chunyang Chen

Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions

Chengjie Lu, Shi Yize, Huihui Zhang, Man Zhang, Tiexin Wang, Tao Yue, Shaukat Ali

Continuously Accelerating Research

Sergey Mechtaev, Jonathan Bell, Christopher Steven Timperley, Earl T. Barr, Michael Hilton

Assurance Cases as Data: A Manifesto

Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeffrey Joyce, Marsha Chechik

15:00

Judging Adam: Studying the Performance of Optimization Methods on ML4SE Tasks

Source Code Recommender Systems: The Practitioners' Perspective

Matteo Ciniselli, Luca Pascarella, Emad Aghajani, Simone Scalabrino, Rocco Oliveto, Gabriele Bavota

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria

An Alternative to Cells for Selective Execution of Data Science Pipelines

Predictive Mutation Analysis via Natural Language Channel in Source Code

Learning from What We Know: How to Perform Vulnerability Prediction using Noisy Historical Data

BURT: A Chatbot for Interactive Bug Reporting

Who Ate My Memory? Towards Attribution in Memory Management

Gunnar Kudrjavets, Ayushi Rastogi, Jeff Thomas, Nachiappan Nagappan

pytest-inline: An Inline Testing Tool for Python

Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen

Do I really need all this work to find vulnerabilities? An empirical case study comparing vulnerability detection techniques on a Java application

Sarah Elder, Nusrat Zahan, Rui Shu, Valeri Kozarev, Tim Menzies, Laurie Williams

Afternoon Tea

srcML meeting

Jonathan I. Maletic

15:20

15:40

DuetCS: Code Style Transfer through Generation and Retrieval

Binger Chen, Ziawasch Abedjan

On the Applicability of Language Models to Block-Based Programs

Elisabeth Griebl, Benedikt Fein, Florian Obermueller, Gordon Fraser, René Just

MTTM: Metamorphic Testing for Textual Content Moderation Software

Wenxuan Wang, Jen-tse Huang, Weibin Wu, Jianping Zhang, Yizhan Huang, Shuqing Li, Pinjia He, Michael Lyu

On the validity of pre-trained transformers for natural language processing in the software engineering domain

Alexander Trautsch, Julian von der Mosel, Steffen Herbold

Stubbifier: debloating dynamic server-side JavaScript applications

Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip

Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation

Jiamou Sun, Zhenchang Xing, Qinghua Lu, Xiwei (Sherry) Xu, Liming Zhu, Thong Hoang, Dehai Zhao

Data-driven Mutation Analysis for Cyber-Physical Systems

Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel Briand

srcML meeting

Jonathan I. Maletic

Eye tracker experiment

Bonita Sharif, Robert Dyer, Samuel W. Flint

Upstream Bug Management in Linux Distributions - An Empirical Study of Debian and Fedora Practices

Technical Briefing on Socio-Technical Grounded Theory for Qualitative Data Analysis

Treat societally impactful scientific insights as open-source software artifacts

Cynthia C. S. Liem, Andrew M. Demetriou

16:00

Understanding Why and Predicting When Developers Adhere to Code-Quality Standards

Manish Motwani, Yuriy Brun

Improving Grading Outcomes in Software Engineering Projects Through Automated Contributions Summaries

Kai Presler-Marshall, Sarah Heckman, Kathryn Stolee

Metamorphic Shader Fusion for Testing Graphics Shader Compilers

Dongwei Xiao, Zhibo Liu, Shuai Wang

Automating Code-Related Tasks Through Transformers: The Impact of Pre-training

Rosalia Tufano, Luca Pascarella, Gabriele Bavota

DStream: A Streaming-Based Highly Parallel IFDS Framework

Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao

Compatible Remediation on Vulnerabilities from Third-Party Libraries for Java Projects

Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen, Lingling Fan, Lida Zhao, Wu Jiahui, Yang Liu

Distinguished Paper Award

Finding Causally Different Tests for an Industrial Control System

Chris Poskitt, Yuqi Chen, Jun Sun, Yu Jiang

Rules of Engagement: Why and How Companies Participate in OSS

Mariam Guizani, Aileen Abril Castro-Guzman, Anita Sarma, Igor Steinmacher

Code Compliance Assessment as a Learning Problem

Neela Sawant, Srinivasan H. Sengamedu

Analyzing the Quality of Submissions in Online Programming Courses

Maria Tigina, Anastasiia Birillo, Yaroslav Golubev, Hieke Keuning, Nikolay Vyahhi, Timofey Bryksin

Metamorphic Testing and Debugging of Tax Preparation Software

Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi

Log Parsing with Prompt-based Few-shot Learning

Van-Hoang Le, Hongyu Zhang

(Partial) Program Dependence Learning

Aashish Yadavally, Wenbo Wang, Shaohua Wang, Tien N. Nguyen

Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs

Davide Corradini, Michele Pasqua, Mariano Ceccato

Doppelganger Test Generation for Revealing Bugs in Autonomous Driving Software

Yuqi Huai, Yuntianyi Chen, Sumaya Almanee, Tuan Ngo, Xiang Liao, Ziwen Wan, Alfred Chen, Joshua Garcia

An Empirical Study on Software Bill of Materials: Where We Stand and the Road Ahead

Boming Xia, Tingting Bi, Zhenchang Xing, Qinghua Lu, Liming Zhu

16:20

An Empirical Study on Quality Issues of Deep Learning Platform

Yanjie Gao, Xiaoxiang Shi, Haoxiang Lin, Hongyu Zhang, Hao Wu, Rui Li, Mao Yang

A Metric for Measuring Software Engineering Post-Graduate Outcomes

Travis Breaux, Jennifer Moritz

Biasfinder: Metamorphic test generation to uncover bias for sentiment analysis systems

Retrieval-Based Prompt Selection for Code-Related Few-Shot Learning

Noor Nashid, Mifta Sintaha, Ali Mesbah

MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems

Yicheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen, Mingze Xu, Yuqun Zhang, Lingming Zhang

Patchmatch: A Tool for Locating Patches of Open Source Project Vulnerabilities

Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems

Garrett Christian, Trey Woodlief, Sebastian Elbaum

Open Source Software Onboarding as a University Course: An Experience Report

Hao He, Minghui Zhou, Qingye Wang, Jingyue Li

Automated Metamorphic Testing using Transitive Relations for Specializing Stance Detection Models

Alisa Arno, Futoshi Iwama, Mikio Takeuchi

Software Updates Strategies: a Quantitative Evaluation against Advanced Persistent Threats

Giorgio Di Tizio, Michele Armellini, Fabio Massacci

16:40

Can static analysis tools find more defects? A qualitative study of design rule violations found by code review

Using Focus to Personalise Learning and Feedback in Software Engineering Education

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

Matteo Paltenghi, Michael Pradel

An Empirical Study of Pre-Trained Model Reuse in the Hugging Face Deep Learning Model Registry

Wenxin Jiang, Nicholas Synovic, Matt Hyatt, Taylor R. Schorlemmer, Rohan Sethi, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis

Incremental Call Graph Construction in Industrial Practice

Zelin Zhao, Xizao Wang, Zhaogui Xu, Zhenhao Tang, Yongchao Li, Peng Di

SSPCatcher: Learning to Catch Security Patches

Automated Test Case Generation for Safety-Critical Software in Scade

Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro

An Empirical Study of License Conflict in Free and Open Source Software

Xing Cui, Jingzheng Wu, Yanjun Wu, Xu Wang, Tianyue Luo, Sheng Qu, Xiang Ling, Mutian Yang

DebtFree: minimizing labeling cost in self-admitted technical debt identification using semi-supervised learning

Huy Tu, Tim Menzies

Shaping a Tool for Developing Computing Students’ Professional Identity - Industry Perspectives

Laura Tubino, Kerri Morgan, Guy Wood-Bradley, Andrew Cain

CoLeFunDa: Explainable Silent Vulnerability Fix Identification

Jiayuan Zhou, Michael Pacheco, Jinfu Chen, Xing Hu, Xin Xia, David Lo, Ahmed E. Hassan

17:00

FIXME: synchronize with database! An empirical study of data access self-admitted technical debt

REFERENT: Transformer based Feedback Generation using Assignment Information for Programming Course

ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning

Shangqing Liu, bozhi wu, Xiaofei Xie, Guozhu Meng, Yang Liu

Generic Partition Refinement and Weighted Tree Automata

Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann

Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments

LicenseRec: Knowledge based Open Source License Recommendation for OSS Projects

How does quality deviate in stable releases by backporting?

Jarin Tasnim, Debasish Chakroborti, Chanchal K. Roy, Kevin Schneider

Factors Affecting Compilable State at Each Keystroke in CS1

Steven Scott, Arto Hellas, Juho Leinonen, John Edwards

Parameter Coverage for Testing of Autonomous Driving Systems Under Uncertainty

Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque

Will you come back to contribute? Investigating the inactivity of OSS core developers in GitHub

Fabio Calefato, Marco Gerosa, Giuseppe Iaffaldano, Filippo Lanubile, Igor Steinmacher

ICSE Closing

Laurie Williams, John Grundy

17:20

17:40

18:00

18:20

18:40

19:00

19:20

19:40

20:00

20:20

20:40

21:00

21:20

21:40

22:00

Welcome talk

22:20

22:40

23:00

23:20

Morning break

23:40

Survival of the Tested: Gamified Unit Testing Inspired by Battle Royale

Sat 20 May

0:00

Sat 20 May
Displayed time zone: Hobart change

Sat 20 May

Level 1 Exhibtion Space

Meeting Room 101

Meeting Room 102

Meeting Room 103

Meeting Room 104

Meeting Room 105

Meeting Room 107

Meeting Room 108

Meeting Room 109

Meeting Room 111

Meeting Room 112

Virtual - Zoom for GAS

Sat 20 May

0:00

Exploring Quality Assurance Practices and Tools for Indie Games

0:20

An Exploratory Approach for Game Engine Architecture Recovery

0:40

1:00

1:20

1:40

2:00

2:20

2:40

3:00

Maria Rauschenberger

3:20

3:40

4:00

Domain-Specific Languages for Describing Game Progression Logics

4:20

4:40

Assessing Video Game Balance using Autonomous Agents

5:00

Afternoon Break

5:20

Closing panel with Q&A

5:40

6:00

6:20

Closing remarks

6:40

7:00

7:20

7:40

Building IoT Systems Modeling: A Object-oriented Metamodeling Approach

Peter Yefi, Ramanunni Menon, Ursula Eicker

8:00

Building an Interface for Controlling IoT Devices

Steven P. Reiss

8:20

An Experiment to Build an Open Source Application for the Internet of Things as Part of a Software Engineering Course

Rares Cristea, Ciprian Paduraru

8:40

On the Cyber-Physical Security of Latest Autonomous Driving and Intelligent Transportation Systems

9:00

Opening ceremony

Mairieli Wessel, Ahmad Abdellatif, Igor Steinmacher

Muhammad Ali Babar, Triet Le

Introduction from Chairs

Welcome & Introductions

Brian Fitzgerald

Andrea Di Sorbo, Sebastiano Panichella

Keynote: Applying psychological theories to improve software vulnerability management

How international standards are defining best practice and helping implement AI responsibly: Dr. Aurelie Jacquet

Aurelie Jacquet

It’s all in the Semantics: When are Genetically Improved Programs Still Correct?

Continuous InnerSource in Production

Russell Rutledge

9:20

Automated Bug Management: Reflections and the Road Ahead

A methodology for log-based Smart Contract testing

Remo Pareschi, Francesco Salzano

EUGAIN after 2 years. Past Present and Future

Valentina Lenarduzzi

9:40

What do we know about conversation?

If you Find Yourself in Lava, Don't Panic. Go with the Flow! Flowing between InnerSource and Open Source Development

Chan Voong, Shilla Saebi

10:00

TODLER: A Transaction Ordering Dependency anaLyzER – for Ethereum Smart Contracts

Sundas Munir, Christoph Reichenbach

Motivating and Demystifying IoT Learning with Hackathons in a Maker Space, Low-code Development and Rapid Prototyping

VrT: Vulnerabilities Reports Tagger Machine Learning Driven Cybersecurity Tool for Vulnerability Classification

Sultan Alqahtni

Microsoft's approach to InnerSource adoption

10:20

Morning Tea

Morning tea

Event Driven Architecture: on the Gap Between Academia and Industry

Nader Trabelsi, Cristiano Politowski, Ghizlane El Boussaidi

10:40

11:00

A Controlled Experiment on Incorporating Failure Knowledge into Design Decisions for Internet of Things Systems

Dharun Anandayuvaraj, Pujita Thulluri, Justin Figueroa, Harshit Shandilya, James C. Davis

Navigating Complexity in Software Engineering: A Prototype for Comparing GPT-n Solutions

Christoph Treude

Trends and Opportunities in the Application of Large Language Models: the Quest for Maximum Effect

A Static Analysis Platform for Investigating Security Trends in Repositories

Tim Sonnekalb, Christopher-Tobias Knaust, Thomas S. Heinze, Clemens-Alexander Brust, Bernd Gruner, Lynn von Kurnatowski, Andreas Schreiber, Patrick Mäder

safe.trAIn – Engineering and Assurance of a Driverless Regional Train

Blockchain-based electronic health record system with patient-centred data access control

Generative Art via Grammatical Evolution

Erik Fredericks, Abigail C. Diller, Jared Moore

Cognitive Distance and Women in Software Engineering: An Empirical Study in the Context of Bangladesh

Noshin Tahsin, Md Arif Hasan, Rafiul Islam, Kazi Sakib

An Empirical Study on Workflows and Security Policies in Popular GitHub Repositories

Jessy Ayala, Joshua Garcia

11:20

Towards Continuous Performance Assessment of Java Applications With PerfBot

Florian Markusse, Alexander Serebrenik, Philipp Leitner

Intersectionality in Computer Science: A Systematic Literature Review

Anna Szlavi, Sandra Helen Husnes, Marit Fredrikke Hansen, Tayana Conte

ReqMIoT: An Integrated Requirements Modelling Environment for IoT Systems

Paul Boutot, Sadaf Mustafiz

Developing ethical and trustworthy AI/ML in the warfare domain

Hector Barron-Escobar

Automatic Generation of a Blockchain-based Drug Supply Chain Management System

Lodovica Marchesi

Genetic Improvement of OLC and H3 with Magpie

William Langdon, Brad Alexander

The Relationship between Open Source and InnerSource

11:40

Supporting Conversational Agent-Based Software Development

Glaucia Melo, Luis Fernando Lins, Paulo Alencar, Donald Cowan

Group forming and discussion - SVM gaps between academia and practice

How diversity and inclusion is approached in Software Engineering university level teaching

Sonja Hyrynsalmi

ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts

Majid Babaei, Maroua Ben Attia

12:00

Idiolect: A Reconfigurable Voice Coding Assistant

Breandan Considine, Nicholas Albion, Xujie Si

The (Ab)use of Open Source Code to Train Language Models

Ali Al-Kaswan, Maliheh Izadi

Helping companies de-risk the integration of first, second and third-party AI models into a customer engagement platform

A notarization system for water quality parameters

DebugNS: Novelty Search for Finding Bugs in Simulators

David Griffin, Susan Stepney, Ian Vidamour

Shooting for the Stars: How a STEM Initiative has Evolved to Address Gender Challenges in Work and Education

Marie Travers, Jenna Bromell, Katie Crowley, James Vincent Patten, Ita Richardson

Open Innovation in Cities with IoT Hackathons

Breno Alencar Gonçalves, Evisson Lucena, Kiev Gama

Exploring Generalizability of NLP-based Models for Modern Software Development Cross-Domain Environements

Rrezarta Krasniqi, Hyunsook Do

12:20

12:40

13:00

Mitigating Cyber-Risks from the internal Software Supply Chain of InnerSource

13:20

A Meta-Summary of Challenges in Building Products with ML Components -- Collecting Experiences from 4758+ Practitioners

Nadia Nahar, Haoran Zhang, Grace Lewis, Shurui Zhou, Christian Kästner

Distinguished paper Award Candidate

13:40

Dataflow graphs as complete causal graphs

From RSSE to BotSE: Potentials and Challenges Revisited after 15 Years

Opening & Issue Report Classification Competition

Rafael Kallis, Maliheh Izadi, Pooja Rani, Luca Pascarella, Oscar Chaparro

Invited talk - (Dr. Hyun Sangwon)

Prevalence of Code Smells in Reinforcement Learning Projects

Nicolás Cardozo, Ivana Dusparic, Christian Cabrera

Modeling of Blockchain and Application Concerns in Blockchain Applications

Coralie Esnoul, Eunkyoung Jee

All about the money: Cost modeling and optimization of cloud applications

Sebastian Baltes

Establishing techniques to validate the ROI of an InnerSource program

An Intelligent Tool for Classifying Issue Reports

Towards Code Generation from BDD Test Case Specifications: A vision

Invited Keynote EnCyCriS: Moving from procedural to surgical cyber security training of operators - lessons learned from CybWin and the OECD NEA Halden HTO projects

John Eidar Simensen

Opportunities and constraints of women-focused online hackathons

Lavinia Francesca Paganini, Kiev Gama, Alexander Nolte, Alexander Serebrenik

14:00

Invited talk - Incident Prevention Through Reliable Changes Development: Progress and Future Plans

Towards Concrete and Connected AI Risk Assessment (C2AIRA): A Systematic Mapping Study

Boming Xia, Qinghua Lu, Harsha Perera, Liming Zhu, Zhenchang Xing, Yue Liu, Jon Whittle

Optimizing Workflow for Elite Developers: Perspectives on Leveraging SE Bots

Zhendong Wang, Yi Wang, David Redmiles

Few-Shot Learning for Issue Report Classification

Giuseppe Colavito, Filippo Lanubile, Nicole Novielli

Panel Discussion - Onsite

Code Comment Classification Competition

Pooja Rani, Luca Pascarella, Oscar Chaparro

Invited talk - Software vulnerabilities causing timing attacks: An empirical study

M. Mehdi Kholoosi

Exploring distributed ledger technology for severely constrained environment

Gurpriya Kaur Bhatia, Venkatesh Subramanian, Satya Sai Srinivas Abbabathula

What research is needed on InnerSource?

Leveraging Corporate Engagement for Diversity in Free/Libre and Open Source Software Projects

Olivia B. Newton, Stephen Fiore

14:20

Bot With Interactions: Improving GitHub Pull-Request Feedback Through Two-Way Communication

Zhewei Hu, Edward Gehringer

Performance Comparison of Binary Machine Learning Classifiers in Indentifying Code Comment Types: An Exploratory Study

Identifying missing relationships of CAPEC attack patterns by transformer models and graph structure

Rikuho Miyata, Hironori Washizaki, Kensuke Sumoto, Nobukazu Yoshioka, Yoshiaki Fukazawa, Takao Okubo

Classifying Code Comments via Pre-trained Programming Language Model

Evaluating Moving Target Defenses against Realistic Attack Scenarios

Alex Brown, Tze-Wen lee, Jin B. Hong

Women in Scrum Master Role: Challenges and Opportunities

Manuela Petrescu, Simona Motogna, Liviu Berciu

14:40

The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report

Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaetan Gilbert

STACC: Code Comment Classification using Sentence Transformers

Ali Al-Kaswan, Maliheh Izadi, Arie van Deursen

Panel discussion - Reflections and Visions for SVM

Kryptosafe: managing and trading datasets using blockchain and IPFS

Marco Di Francesco, Lodovica Marchesi, Raffaele Porcu

Towards Objective-Tailored Genetic Improvement Through Large Language Models

Sungmin Kang, Shin Yoo

Rafael Kallis, Maliheh Izadi, Pooja Rani, Luca Pascarella, Oscar Chaparro

Autoencoder via DCNN and LSTM Models for Intrusion Detection in Industrial Control Systems of Critical Infrastructures

Yakub Kayode Saheed, Sanjay Misra, Sabarathinam Chockalingam

RockStartIT: Authentic and Inclusive Interdisciplinary Software Engineering Courses

Lucia Happe, Kai Marquardt

15:00

Maintaining and Monitoring AIOps Models Against Concept Drift

Exploring the Use of Natural Language Processing Techniques for Enhancing Genetic Improvement

Towards Understanding Machine Learning Testing in Practise

Algorithm Debt: Challenges and Future Paths

Emmanuel Iko-Ojo Simon, Melina Vidoni, Fatemeh Hendijani Fard

Afternoon Tea

Who owns this code? Examining Ownership Concepts in InnerSource Practice

15:20

Extensible Modeling Framework for Reliable Machine Learning System Analysis

AI Living Lab: Quality Assurance for AI-based Health systems

15:40

Suggestion Bot: Analyzing the Impact of Automated Suggested Changes on Code Reviews

Nivishree Palvannan, Chris Brown

An Exploratory Study on the Usage and Readability of Messages within Assertion Methods of Test Cases

Anthony Peruma, Mohamed Wiem Mkaouer

Functional cyber-resilience – Extending the cybersecurity paradigm in critical infrastructures

Johannes de Haan

Updating Gin’s profiler for current Java

Alexander E.I. Brownlee, Myles Watkinson

Workshop Wrap Up & Next Steps

16:00

Using Benchmarking Bots for Continuous Performance Assessment

Florian Markusse, Philipp Leitner, Alexander Serebrenik

Stop Words for Processing Software Engineering Documents: Do they Matter?

Chetan Arora, Christoph Treude

Studying Secure Coding in the Laboratory: Why, What, Where, How, and Who?

Ita Ryan, Klaas-Jan Stol, Utz Roedig

16:20

From Specialized Mechanics to Project Butlers: The Usage of Bots in Open Source Software Development

Zhendong Wang, Yi Wang, David Redmiles

Applying Information Theory to Software Evolution

Sebastian Baltes, Christoph Treude, Markus Wagner

Cryptography Based Security for the ATM Surveillance Chain

Johannes de Haan, Abdel Youssouf

Workshop closing from chairs

16:40

Recognizing Bot Activity in Collaborative Software Development

Mehdi Golzadeh, Tom Mens, Alexandre Decan , Eleni Constantinou, Natarajan Chidambaram

Zero-shot Prompting for Code Complexity Prediction Using GitHub Copilot

The State of Secure Coding Practice: Small Organisations and “Lone, Rogue Coders”

Ita Ryan, Klaas-Jan Stol, Utz Roedig

17:00

Evaluating Code Comment Generation with Summarized API Docs

Fatemeh Hendijani Fard

Awards and Closing

Closing ceremony

Igor Steinmacher, Mairieli Wessel, Ahmad Abdellatif

Break 10min

Workshop closing

Andrea Di Sorbo, Sebastiano Panichella

Future of IT and OT - Research questions

John Eidar Simensen, Eunkyoung Jee, Sabarathinam Chockalingam

17:20

17:40

Summary and Closure

18:00