MSR 2026
Mon 13 - Tue 14 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
VenueWindsor Convention Center and Hotels
Room nameOceania II
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Session 1DSE at Oceania II
Chair(s): Mohamad Kassab Boston University
09:00
30m
Talk
Opening Message
DSE
Mohamad Kassab Boston University
09:30
30m
Talk
The Moral Consistency Pipeline: Continuous Ethical Evaluation for Large Language Models
DSE
Saeid Jamshidi École Polytechnique de Montréal, Kawser Wazed Nafi École Polytechnique de Montréal, Arghavan Moradi Dakhel Polytechnique Montreal, Negar Shahabi Concordia University, Foutse Khomh Polytechnique Montréal
10:00
30m
Talk
Every Breath You Take (I’ll Be Logging You): Detecting Metric Gaming in Educational Software Projects
DSE
Marco Torchiano Politecnico di Torino, Riccardo Coppola Politecnico di Torino, Antonio Vetrò Politecnico di Torino
11:00 - 12:30
Session 2DSE at Oceania II
Chair(s): Mohamad Kassab Boston University, Rui Rua New York University Abu Dhabi
11:00
15m
Talk
dAurora: A Prescriptive Solution based on AI to Shade Light on Dark Engineering of Fake News
DSE
Valdemar Graciano Neto Federal University of Goiás, Jacson Rodrigues Barbosa Institute of Informatics (INF) / Federal University of Goiás (UFG), Eliomar Araújo de Lima Universidade Federal de Goiás (UFG)
11:15
30m
Talk
The Dark Art of Dopamine Engineering
DSE
Jukka Ruohonen University of Southern Denmark, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, Adam Alami University of Southern Denmark
11:45
30m
Talk
A Longitudinal Analysis of Gamification in Untappd: Ethical Reflections on a Social Drinking Application
DSE
Jefferson Seide Molléri Simula Metropolitan Centre for Digital Engineering, Sami Hyrynsalmi LUT University, Antti Hakkala University of Turku, Kai K. Kimppa University of Turku, Jouni Smed University of Turku
12:15
15m
Talk
Patrones Oscuros: a Browser Extension for detecting Dark Patterns in Spanish
DSE
Julian Grigera LIFIA, UNLP, Leonardo Germán Loza Bonora LIFIA Fac. de Informática, UNLP / CONICET, Juan Cruz Gardey LIFIA Fac. de Informática, UNLP, Alejandra Garrido LIFIA, University of La Plata & CONICET, Argentina
14:00 - 15:30
AI Governance & ImpactRAIE at Oceania II
Chair(s): Muneera Bano CSIRO's Data61
14:00
45m
Keynote
Responsible, Human-Centered Quantum Software Engineering
RAIE
Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
14:45
15m
Talk
Examining Transparency Requirements for AI-Based Chatbots and Websites
RAIE
Juha Vesala University of Turku, Sampsa Rauti University of Turku, Sammani Rajapaksha University of Turku, Kalle Hjerppe University of Turku, Timi Heino University of Turku
15:00
15m
Talk
A Study of International Standards for Safe and Responsible AI for the Brazilian National Council of Justice
RAIE
Ramon Campos Unaffiliated, Bruno Mortari Unaffiliated, Roberto Rodrigues Unaffiliated, Patrick Letouzé Unaffiliated
15:15
15m
Talk
Algorithmic Discrimination in Healthcare: A Scoping Study
RAIE
Iqra Jawaid University of Calgary, Lucas Rodrigues Valença University of Calgary, Ayah Metwali University of Calgary, Joanna Lin University of Calgary, Zahra Abbasi University of Calgary, Roberto Souza University of Calgary, Mariana Pinheiro Bento University of Calgary, Ronnie de Souza Santos University of Calgary
16:00 - 17:30
Trustworthy AI SystemsRAIE at Oceania II
16:00
45m
Keynote
From Biased to Trustworthy AI: Responsible Agentic Software Engineering Beyond Code
RAIE
Rashina Hoda Monash University
16:45
15m
Talk
An Adversarial-Attack Approach to Assess Bias in Text-to-Image Models
RAIE
Keya Gangadharan Penn State University, Nathalia Nascimento Pennsylvania State University, Paulo Alencar University of Waterloo, Myron David Peixoto Federal University of Alagoas, Audrey Vasconcelos Federal University of Alagoas (UFAL), Davy Baia Federal University of Alagoas, Baldoino Fonseca Federal University of Alagoas (UFAL)
17:00
15m
Talk
Reliable SOC LLM Agent with Workflow Generation
RAIE
Shohei Mitani Georgetown University, Siddharth Yadav Virginia Tech, Shinichiro Matsuo Georgetown University, Eric Burger Virginia Tech
17:15
15m
Talk
Anonymous-by-Construction: An LLM-Driven Framework for Privacy-Preserving Text
RAIE

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:30
Opening & AwardsSEAMS Program at Oceania II
Chair(s): Andrea Zisman The Open University
09:30 - 10:30
Keynote 1: Michael WhalenSEAMS Program at Oceania II
Chair(s): Eunsuk Kang Carnegie Mellon University

Keynote: Enabling adaptation in the cloud using automated reasoning. Speaker: Dr. Michael Whalen (Amazon Web Services).

11:00 - 12:30
Learning-Based, Causality-Aware & Sustainable AdaptationSEAMS Research Track / SEAMS Artifact Track / SEAMS Program at Oceania II
Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam
11:00
15m
Talk
Ripple: A Long-Sighted Self-Adaptation Approach to Retrain Machine Learning-Enabled SystemsBEST STUDENT PAPER AWARDFULL
SEAMS Research Track
Maria Casimiro INESC-ID, IST, University of Lisbon & S3D, Carnegie Mellon University, Valentim Romão INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Paolo Romano University of Lisbon, Portugal, Luis Rodrigues INESC-ID, IST, ULisboa, David Garlan Carnegie Mellon University
11:15
10m
Talk
Balancing Multiple Objectives in Urban Traffic Control with Reinforcement Learning from AI FeedbackSHORT
SEAMS Research Track
Chenyang Zhao Trinity College Dublin, Vinny Cahill Trinity College Dublin, Ivana Dusparic Trinity College Dublin, Ireland
File Attached
11:25
15m
Talk
MAPER: Extending MAPE-K with LLM-Based Reasoning to Manage Unanticipated Situations in Self-Adaptive SystemsFULL
SEAMS Research Track
Paulo Maia State University of Ceará, Lucas Vieira State University of Ceará, Gabriel Luiz Barros De Oliveira State University of Ceará - UECE, Matheus Chagas State University of Ceará, Alan Bandeira State University of Ceará - UECE, Cleilton Rocha Atlantico Institute
11:40
10m
Talk
Robust Exploration in Directed Controller Synthesis via Mixture-of-Experts Reinforcement LearningEXTENDED ABSTRACT
SEAMS Research Track
Toshihide Uubukata Waseda University, Mingyue Zhang Southwest University, Zhiyao Wang The University of Osaka, NIANYU LI ZGC Lab, China, Jialong Li Waseda University, Japan, Kenji Tei Institute of Science Tokyo
11:50
15m
Talk
RAMNA: A Resource-Aware Algorithm for Maximizing Availability in Flying Ad-Hoc NetworksFULL
SEAMS Research Track
Miguel Catarro Universidade de Lisboa, Luis Pinto Universidade de Lisboa, Alan Oliveira Universidade de Lisboa
12:05
10m
Talk
Harmonica: A Self-Adaptation Exemplar for Sustainable MLOpsARTIFACT
SEAMS Artifact Track
Ananya Vishal Halgatti IIIT-Hyderabad, Shaunak Biswas IIIT Hyderabad, Hiya Bhatt IIIT Hyderabad, Srinivasan Rakhunathan Microsoft, India, Karthik Vaidhyanathan IIIT Hyderabad
12:15
15m
Talk
CRAFTER: Causality-based Self-Adaptation for Autonomous IoT SystemsFULL
SEAMS Research Track
Houssam Hajj Hassan Orange Innovation, Ajay Kattepur , Denis Conan SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Georgios Bouloukakis Department of Electrical and Computer Engineering, University of Patras, Greece
Pre-print
14:00 - 15:30
Runtime Optimization & Resource-Aware AdaptationSEAMS Research Track / SEAMS Artifact Track / SEAMS Program at Oceania II
Chair(s): Khouloud Gaaloul University of Michigan - Dearborn
14:00
15m
Full-paper
Run-Time Self-Optimization Through Dynamic Configuration Space ReductionFULL
SEAMS Research Track
Luca Brodo Hochschule Hamm-Lippstadt, Giuseppe Scalora Hamm-Lippstadt University of Applied Sciences, Stefan Henkler Hochschule Hamm-Lippstadt
14:15
10m
Talk
Optimized Deployment of Data Intermediation ServicesSHORT
SEAMS Research Track
Vasileios Karagiannis Austrian Institute of Technology
14:25
10m
Talk
iFogSim-Placement: A Simulation Framework for Edge Service PlacementARTIFACT
SEAMS Artifact Track
Joseph Poon National University of Singapore, Christian Cabrera University of Cambridge, Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge
14:35
15m
Talk
Adaptive Toggling of Architectural Patterns for Federated LearningFULL
SEAMS Research Track
Luciano Baresi Politecnico di Milano, Ivan Compagnucci Gran Sasso Science Institute, Livia Lestingi DEIB, Politecnico di Milano, Catia Trubiani Gran Sasso Science Institute
File Attached
14:50
10m
Talk
ASTL: An Adaptive Serving Stack for LLMs to Balance Utilization and Tail LatencySHORT
SEAMS Research Track
Farhoud Jafari Kaleibar York University, Marin Litoiu York University, Canada
15:00
10m
Talk
FactorySim: An Interactive Testbed for Adaptive Multi-Objective Production SchedulingARTIFACT
SEAMS Artifact Track
Ali Torbati Carl von Ossietzky Universität Oldenburg, Stanislaw Matis Carl von Ossietzky Universität Oldenburg, Verena Klös Carl von Ossietzky Universität Oldenburg
15:10
15m
Talk
A Self-Adaptive Digital Twin Architecture for Dynamic Resource ManagementFULL
SEAMS Research Track
Riccardo Sieve University of Oslo, Paul Kobialka University of Oslo, Andrea Pferscher University of Oslo, Nelly Bencomo Durham University, Silvia Lizeth Tapia Tarifa University of Oslo, Norway, Buster Salomon Rasmussen University of Oslo, Einar Broch Johnsen University of Oslo
16:00 - 16:45
Ethics, Humans & Socially-Aware AdaptationSEAMS Journal First Track / SEAMS Research Track / SEAMS Program at Oceania II
Chair(s): Vitor Silva Sousa Federal University of Espírito Santo
16:00
15m
Talk
Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMsFULL
SEAMS Research Track
Gricel Vázquez University of York, UK, Alexandros Evangelidis University of York, UK, Sepeedeh Shahbeigi University of York, UK, Radu Calinescu University of York, UK, Simos Gerasimou Cyprus University of Technology
File Attached
16:15
10m
Talk
A Process to Enforce Ethical Requirements of Autonomous Systems at RuntimeSHORT
SEAMS Research Track
Martina De Sanctis Gran Sasso Science Institute, Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Paola Inverardi Gran Sasso Science Institute, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Sara Pettinari Gran Sasso Science Institute, Patrizia Scandurra University of Bergamo, Italy
File Attached
16:25
15m
Talk
RobEthiChor: Automated Context-aware Ethics-based Negotiation for Autonomous RobotsJOURNAL FIRST
SEAMS Journal First Track
Mashal Afzal Memon University of L’Aquila, Italy, Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Gian Luca Scoccia Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Paola Inverardi Gran Sasso Science Institute
16:45 - 17:30
Regional DebateSEAMS Program at Oceania II
Chair(s): Paulo Maia State University of Ceará

Moderator: Paulo Henrique Mendes Maia Universidade do Ceara, Brazil
Panelists: Pablo Antonino Fraunhofer IESE, Germany, Fabio Kon Universidade de São Paulo, Brazil, Carlos Leao HP Brazil, Brazil

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:00
Keynote 2: Paola InverardiSEAMS Program at Oceania II
Chair(s): Amel Bennaceur The Open University, UK

Keynote: The core property of ethical aware Autonomous Systems: Adaptation. Speaker: Prof. Paola Inverardi (GSSI).

10:00 - 10:30
MIP Award TalkSEAMS Program at Oceania II
Chair(s): Andrea Zisman The Open University
11:00 - 12:30
Self-Healing, Diagnosis & Adaptive RepairSEAMS Research Track / SEAMS Artifact Track / SEAMS Program at Oceania II
Chair(s): Ilias Gerostathopoulos Vrije Universiteit Amsterdam
11:00
15m
Talk
Dynamic Agent Generation for Self-Adaptive Root Cause AnalysisFULL
SEAMS Research Track
Brell SANWOUO Univ. Lille / INRIA, Paul Temple IRISA, Clément Quinton University of Lille
11:15
15m
Talk
Artifact of Dynamic Agent Generation for Self-Adaptive Root Cause AnalysisBEST ARTIFACT AWARDARTIFACT
SEAMS Artifact Track
Brell SANWOUO Univ. Lille / INRIA, Paul Temple IRISA, Clément Quinton University of Lille
11:30
10m
Talk
Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from MistakesDISTINGUISHED PAPER AWARDFULL
SEAMS Research Track
Pietro Benecchi Politecnico di Milano, Luigi Cardone Politecnico di Milano, Matteo Camilli Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
11:40
15m
Talk
Leveraging Low-Parameter LLMs for Self-Healing in Kubernetes-Based Container OrchestrationFULL
SEAMS Research Track
Yann Wiesinger Fraunhofer Institute for Open Communication Systems, Marcus Engelhardt Fraunhofer Institute for Open Communication Systems, Roman Laas Fraunhofer Institute for Open Communication Systems
11:55
15m
Talk
Reasoning About Hidden Hybrid Assumptions in Assured Temporal MissionsFULL
SEAMS Research Track
Juan felipe Perdomo Institute Computer Science -Buenos Aires /CONICET/INVAP, Víctor Braberman ICC (UBA-CONICET), Sebastian Uchitel Universidad de Buenos Aires / Imperial College, Sebastián Zudaire ABB Corporate Research, Sweden
12:10
15m
Talk
CALM: A Self-Adaptive Orchestration Approach for QoS-Aware Routing in Small Language Model based SystemsFULL
SEAMS Research Track
Hemang Jain International Institute of Information Technology - Hyderabad, Divyansh Pandey International Institute of Information Technology - Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
14:00 - 15:30
Autonomous, Robotic & Cyber-Physical SystemsSEAMS Research Track / SEAMS Artifact Track / SEAMS Journal First Track / SEAMS Program at Oceania II
Chair(s): Matteo Camilli Politecnico di Milano
14:00
15m
Talk
Using Context-Role-Oriented Programming for Swarms to Alleviate the Micro-Macro ProblemFULL
SEAMS Research Track
Sebastian Götz Technische Universität Dresden, Christian Gutsche Boysen-TU Dresden-Graduiertenkolleg; Technische Universität Dresden, Adrian Scholze Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
14:15
15m
Talk
Maneuver Sequence Coverage of Scenarios for Autonomous Driving SystemFULL
SEAMS Research Track
Yulin Jin University of Edinburgh, Ajitha Rajan The University of Edinburgh
14:30
10m
Talk
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous SystemsSHORT
SEAMS Research Track
Gricel Vázquez University of York, UK, Calum Imrie University of York, Sepeedeh Shahbeigi University of York, UK, Nawshin Mannan Proma University of York, Tian Gan University of York, UK, Victoria J. Hodge University of York, John Molloy University of York, Simos Gerasimou Cyprus University of Technology
File Attached
14:40
15m
Talk
EvoDriver: Novelty-Search Driven Evolution of Behavioral Test Suites for Autonomous VehiclesFULL
SEAMS Research Track
Sol Zilberman Michigan State University, Kenneth Chan Michigan State University, Betty H.C. Cheng Michigan State University
14:55
10m
Talk
Towards Assured Mission Adaptation of Multi-Robot SystemsSHORT
SEAMS Research Track
Vicente Romeiro Ruhr University Bochum, Ricardo Caldas Gran Sasso Science Institute (GSSI), Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Thorsten Berger Ruhr University Bochum, Genaína Nunes Rodrigues University of Brasília
15:05
15m
Talk
Automated Planning for Task-Based Cyber-Physical Systems under Multiple Sources of UncertaintyJOURNAL FIRST
SEAMS Journal First Track
Raquel Sánchez Salas University of Malaga, Javier Troya ITIS Software, University of Malaga, Javier Camara University of Málaga
15:20
10m
Talk
Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted LivingARTIFACT
SEAMS Artifact Track
Javier Camara University of Málaga, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Livia Lestingi DEIB, Politecnico di Milano, Michele Loreti University of Camerino, Hiroyuki Nakagawa Okayama University, Marjan Sirjani Malardalen University, Kenji Tei Institute of Science Tokyo
16:00 - 16:30
LLM- and Agent-Centric Adaptive SystemsSEAMS Research Track / SEAMS Program at Oceania II
Chair(s): Marin Litoiu York University, Canada
16:00
10m
Talk
Software Self-Extension with SelfEvolve: an Agentic Architecture for Runtime Code GenerationSHORT
SEAMS Research Track
Md Asif Iqbal Fahim University College Dublin (UCD), Oluwadamilola Adebayo JP Morgan Chase, Dublin, Ireland, Alessio Ferrari Consiglio Nazionale delle Ricerche (CNR) and University College Dublin (UCD)
File Attached
16:10
10m
Talk
Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go WrongSHORT
SEAMS Research Track
Khouloud Gaaloul University of Michigan - Dearborn, Zaid Ghazal University of Michigan-Dearborn, Madhu Latha Pulimi University of Michigan Dearborn, Sam Emmanuel Kathiravan University of Michigan Dearborn
16:20
10m
Talk
POLARIS: Is Multi-Agentic Reasoning the Next Wave in Engineering Self-Adaptive Systems?SHORT
SEAMS Research Track
Divyansh Pandey International Institute of Information Technology - Hyderabad, Vyakhya Gupta IIIT Hyderabad, Prakhar Singhal International Institute of Information Technology - Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
16:30 - 17:15
Community Debate: How Ethical can an Ethic-Aware Controller Be?SEAMS Program at Oceania II
Chair(s): Genaína Nunes Rodrigues University of Brasília

Chair: Genaina Rodrigues University of Brasilia, Brazil
Debaters: Betty Cheng Michigan State University, USA, David Garlan Carnegie Mellon University, USA, Paola Inverardi Gran Sasso Science Institute, Italy, Jeff Kramer Imperial College London, UK

17:15 - 17:30
Closing & SEAMS 2027SEAMS Program at Oceania II
Chair(s): Andrea Zisman The Open University

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Testing and Analysis 2ICSE Journal-first Papers / ICSE SE In Practice (SEIP) / ICSE Research Track at Oceania II
Chair(s): Andrea Stocco Technical University of Munich, fortiss
11:00
15m
Talk
An industrial experience report on applying search-based boundary input generation to cyber-physical systems
ICSE Journal-first Papers
Pablo Valle Mondragon University, Vincenzo Riccio University of Udine, Aitor Arrieta Mondragon University, Paolo Tonella USI Lugano, Maite Arratibel Orona
11:15
15m
Talk
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
ICSE Journal-first Papers
Claudio Mandrioli University of Luxembourg, Seung Yeob Shin University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
11:30
15m
Talk
Signal Feature Coverage and Testing for CPS Dataflow Models
ICSE Journal-first Papers
Ezio Bartocci TU Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav University of Luxembourg, Luxembourg
11:45
15m
Talk
Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
ICSE Research Track
Theodore Chambers University of Notre Dame, Arturo Miguel Russell Bernal University of Notre Dame, Michael Vierhauser University of Innsbruck, Jane Cleland-Huang University of Notre Dame
Pre-print
12:00
15m
Talk
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
ICSE SE In Practice (SEIP)
Jiahui Wu Simula Research Laboratory and University of Oslo, Chengjie Lu Simula Research Laboratory and University of Oslo, Aitor Arrieta Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Peyrucain PAL Robotics
12:15
15m
Talk
Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
ICSE Research Track
M M Abid Naziri North Carolina State University, Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Andrea Stocco Technical University of Munich, fortiss, Marcelo d'Amorim North Carolina State University
Pre-print
14:00 - 15:30
Testing and Analysis 5ICSE SE In Practice (SEIP) / ICSE Research Track / ICSE Journal-first Papers at Oceania II
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana
14:00
15m
Talk
Parallelization in System-level Testing: Novel Approaches to Manage Test Suite Dependencies
ICSE Journal-first Papers
Pasquale Polverino USI Università della Svizzera italiana, Fabio Di Lauro USI Università della Svizzera italiana, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Paolo Tonella USI Lugano, Antonio Carzaniga Università della Svizzera italiana
DOI Pre-print
14:15
15m
Talk
Automated Network-Level Fault Injection Testing of Microservice Architectures
ICSE Research Track
Delano Flipse Delft University of Technology (TU Delft), Hakan Simsek ASML, Jérémie Decouchant Delft University of Technology (TU Delft), Burcu Kulahcioglu Ozkan Delft University of Technology
14:30
15m
Talk
Predicting Failures in Smart Human-Centric EcoSystems
ICSE Research Track
Niccolò Puccinelli Università della Svizzera Italiana, Davide Molinelli Constructor Institute of Technology, Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Matteo Ciniselli Università della Svizzera Italiana, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
14:45
15m
Talk
PerfScout: An Adaptive Workload Generator in Software Performance Testing
ICSE SE In Practice (SEIP)
Yongqian Sun Nankai University, Qingliang Zhang Nankai University, Xiao Xiong Nankai University, Mengyao Li Nankai University, Yimin Zuo Nankai University, Shenglin Zhang Nankai University, Xidao Wen BizSeer, Wenwei Gu Nankai University, Huandong Zhuang Huawei Cloud, Bowen Deng Huawei Cloud, Ruiyuan Wan , Dan Pei Tsinghua University
15:00
15m
Talk
Scaling Mobile Chaos Testing with AI-Driven Test Execution
ICSE SE In Practice (SEIP)
Juan Marcano Uber Technologies, Ashish Samant Uber Technologies, Inc, Kai Song Uber Technologies, Inc, Lingchao Chen Uber Technologies, Kaelan Mikowicz Uber Technologies, Inc., Tim Smyth Uber Technologies, Inc., Mengdie Zhang Uber Technologies, Inc., Ali Zamani Uber Technologies, Inc., Arturo Bravo Rovirosa Uber Technologies, Inc., Sowjanya Puligadda Uber Technologies, Inc., Srikanth Prodduturi Uber Technologies, Inc., Mayank Bansal Uber Technologies, Inc.
15:15
15m
Talk
CAST: Automated Resilience Testing for Production Cloud Service Systems
ICSE SE In Practice (SEIP)
Zhuangbin Chen Sun Yat-sen University, Zhiling Deng School of Software Engineering, Sun Yat-sen University, Kaiming Zhang School of Software Engineering, Sun Yat-sen University, Yang Liu Nanyang Technological University, Cheng Cui Huawei Cloud, Jinfeng Zhong Huawei Cloud, Zibin Zheng Sun Yat-sen University
16:00 - 17:30
Testing and Analysis 7ICSE Research Track at Oceania II
Chair(s): Ivan Beschastnikh The University of British Columbia
16:00
15m
Talk
Dependency-aware Residual Risk Analysis
ICSE Research Track
Seongmin Lee UCLA, Marcel Böhme MPI for Security and Privacy
16:15
15m
Talk
Hallucinating Certificates: Differential Testing of TLS Certificate Validation Using Generative Language Models
ICSE Research Track
Muhammad Talha Paracha Ruhr University Bochum, Kyle Posluns Northeastern University, Kevin Borgolte Ruhr University Bochum, Martina Lindorfer TU Wien, David Choffnes Northeastern University
16:30
15m
Talk
Fuzzing Java Optimizing Compilers with Complex Inter-Class Structures Guided by Heterogeneous Program Graphs
ICSE Research Track
Shiyu Qiu Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Zifan Xie Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
16:45
15m
Talk
Variability-Aware Fuzzing
ICSE Research Track
Meah Tahmeed Ahmed University of Texas at Dallas, Arnab Dev University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
Pre-print
17:00
15m
Talk
Temporal Specification Oriented Fuzzing for Trigger-Action-Programming Smart Home Integrations
ICSE Research Track
Jinglin Dai Nanjing University, Yifan Xiong Nanjing University, Lezhi Ma Nanjing University, Shangqing Liu Nanjing University, Lei Bu Nanjing University
17:15
15m
Talk
DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
ICSE Research Track
Guy Farrelly The University of Adelaide, Adelaide, Michael Chesser University of Adelaide, Seyit Camtepe CSIRO Data61, Damith C. Ranasinghe University of Adelaide

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
15m
Talk
GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
ICSE Demonstrations
Kristian Kolthoff Institute for Software and Systems Engineering, Clausthal University of Technology, Felix Kretzer human-centered systems Lab (h-lab), Karlsruhe Institute of Technology (KIT) , Simone Paolo Ponzetto Data and Web Science Group, University of Mannheim, Alexander Maedche human-centered systems Lab (h-lab), Karlsruhe Institute of Technology (KIT) , Christian Bartelt Institute for Software and Systems Engineering, TU Clausthal
Pre-print Media Attached
11:15
15m
Talk
Valg: A Fast Reinforcement Learning-Based Runtime Verification Tool for Java
ICSE Demonstrations
Shinhae Kim Cornell University, Saikat Dutta Cornell University, Owolabi Legunsen Cornell University
11:30
15m
Talk
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
ICSE Journal-first Papers
Xinyi Wang Simula Research Laboratory; University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics , Narasimha Raghavan Veeraragavan Cancer Registry of Norway and Norwegian Institute of Public Health, Jan F. Nygård Cancer Registry of Norway
11:45
15m
Talk
Testora: Using Natural Language Intent to Detect Behavioral Regressions
ICSE Research Track
Michael Pradel CISPA Helmholtz Center for Information Security
12:00
15m
Talk
Automatic Validation of LLM-Generated Code with Prompt Paraphrasing
ICSE New Ideas and Emerging Results (NIER)
Xiaoyin Wang University of Texas at San Antonio, Dakai Zhu The University of Texas at San Antonio
12:15
15m
Talk
Causally Perturbed Fairness Testing
ICSE Journal-first Papers
Chengwen Du University of Birmingham, Tao Chen University of Birmingham
14:00 - 15:30
Testing and Analysis 12ICSE Research Track at Oceania II
Chair(s): Sam Malek University of California at Irvine
14:00
15m
Talk
Generator Solving for Symbolic Execution
ICSE Research Track
Siwei Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China, Yan Cai Institute of Software at Chinese Academy of Sciences
14:15
15m
Talk
How Good are Input Grammar Miners? An Empirical Study
ICSE Research Track
Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
14:30
15m
Talk
LSPRAG: LSP-Guided RAG for Language-Agnostic Real-Time Unit Test Generation
ICSE Research Track
Gwihwan Go Tsinghua University, Quan Zhang East China Normal University, Chijin Zhou East China Normal University, Zhao Wei Tencent, Yu Jiang Tsinghua University
14:45
15m
Talk
Breaking Single-Tester Limits: Multi-Agent LLMs for Multi-User Feature Testing
ICSE Research Track
Sidong Feng Monash University, Changhao Du Jilin University, huaxiao liu Jilin University, Qingnan Wang Jilin University, Zhengwei Lv ByteDance, Mengfei Wang ByteDance, Chunyang Chen TU Munich
15:00
15m
Talk
Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
ICSE Research Track
M M Abid Naziri North Carolina State University, Shinhae Kim Cornell University, Feiran Qin North Carolina State University, Saikat Dutta Cornell University, Marcelo d'Amorim North Carolina State University
15:15
15m
Talk
MioHint: LLM-Assisted Request Mutation for Whitebox REST API Testing
ICSE Research Track
Jia Li , Jiacheng Shen Duke Kunshan University, Yuxin Su Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong
16:00 - 17:30
Testing and Analysis 13ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track / ICSE Journal-first Papers at Oceania II
Chair(s): Lei Zhang University of Maryland Baltimore County
16:00
15m
Talk
How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs
ICSE Journal-first Papers
Mengting He The Pennsylvania State University, Shihao Xia The Pennsylvania State University, Boqin Qin China Telecom Cloud Computing Corporation, Nobuko Yoshida University of Oxford, Tingting Yu University of Connecticut, Yiying Zhang University of California San Diego, Linhai Song The Pennsylvania State University
16:15
15m
Talk
Relax with Capybaras
ICSE Research Track

Media Attached
16:30
15m
Talk
Characterizing and Refactoring Table-Driven Tests in Go
ICSE New Ideas and Emerging Results (NIER)
Max Green Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Zhongpeng Lin Uber Technologies Inc.
16:45
15m
Talk
Data-aware Static Analysis: Improving Semantic Fault Detection in Machine Learning Code Using Data Characteristics
ICSE New Ideas and Emerging Results (NIER)
Willem Meijer Linköping University, Kristian Sandahl Linköping University, Daniel Varro Linköping University / McGill University
17:00
15m
Talk
Towards Automatically Inferring Constraints to Identify Implicit Assumptions in Data Analysis
ICSE New Ideas and Emerging Results (NIER)
Florian Sihler Ulm University, Lars Pfrenger Ulm University, Oliver Gerstl Ulm University, Matthias Tichy Ulm University
17:15
15m
Talk
QSolver: A Quantum Constraint Solver
ICSE New Ideas and Emerging Results (NIER)
Shangzhou Xia Kyushu University, Haitao Fu Kyushu University, Jianjun Zhao Kyushu University

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Testing and Analysis 16ICSE Research Track / ICSE SE In Practice (SEIP) at Oceania II
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
11:00
15m
Talk
Parse this! Summoning Context-Sensitive Inputs with Goblin
ICSE Research Track
Robert Lorch The University of Iowa, Muhammad Daniyal Pirwani Dar Stony Brook University, Cesare Tinelli University of Iowa, Omar Chowdhury Stony Brook University
11:15
15m
Talk
Context-Free Property Oriented Fuzzing
ICSE Research Track
Jiaqiang Yao College of Computer, National University of Defense Technology, Meixi Liu National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology, Yongchao Xing College of Computer, National University of Defense Technology, Jinjian Luo College of Computer, National University of Defense Technology, Yunlai Luo National University of Defense Technology, Guofeng Zhang College of Computer, National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology
11:30
15m
Talk
Metamorphic Fuzzing for Multi-Agent Path Finding Algorithms
ICSE Research Track
Luxia Lin Institute of Software, Chinese Academy of Sciences, China, xudong zhang , Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Institute of Software at Chinese Academy of Sciences
11:45
15m
Talk
Fuzzing JavaScript Engines by Fusing JavaScript and WebAssembly
ICSE Research Track
Jiayi Lin The University of Hong Kong, Changhua Luo The University of Hong Kong; Wuhan University, Mingxue Zhang Zhejiang University, Lanteng Lin The University of Hong Kong, Penghui Li Columbia University, Chenxiong Qian University of Hong Kong
12:00
15m
Talk
TypeJinja: Static Type Checking of Jinja Templates at dbt Labs
ICSE SE In Practice (SEIP)
Cheng Ding The University of Texas at Austin, Zhong Xu dbt Labs, Michael Levin dbt Labs, Wolfram Schulte dbt Labs, Milos Gligoric The University of Texas at Austin
12:15
15m
Talk
Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach
ICSE SE In Practice (SEIP)
Xiaoheng Xie Ant Group, Gang Fan Huawei Hong Kong Research Centre, Xiaojun Lin Ant Group, Ang Zhou Ant Group, Shijie Li Ant Group, Xunjin Zheng Ant Group, Yinan Liang Ant Group, Yu Zhang Ant Group, Na Yu Ant Group, Haokun Li Ant Group, Xinyu Chen Ant Group, Yingzhuang Chen Ant Group, Yi Zhen Ant Group, Dejun Dong Ant Group, Xianjin Fu Ant Group, Jinzhou Su Ant Group, Fuxiong Pan Ant Group, Pengshuai Luo Ant Group, Youzheng Feng Ant Group, Ruoxiang Hu Ant Group, Hanyang Guo School of Software Engineering, Sun Yat-sen University, Jing Fan Ant Group, Xiao Xiao Sourcebrella Inc., Peng Di Ant Group & UNSW Sydney
14:00 - 15:30
Testing and Analysis 19ICSE Research Track at Oceania II
Chair(s): Nasir Eisty University of Tennessee-Knoxville
14:00
15m
Talk
E-Test: E'er-Improving Test Suites
ICSE Research Track
Ketai Qiu USI Università della Svizzera Italiana, Luca Di Grazia University of St. Gallen, Leonardo Mariani University of Milano-Bicocca, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
Pre-print
14:15
15m
Talk
AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests
ICSE Research Track
Lara Khatib University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Mei Nagappan University of Waterloo
14:30
15m
Talk
Boosting Gas Revenues of Ethereum Miners
ICSE Research Track
Togzhan Barakbayeva HKUST, Soroush Farokhnia Hong Kong University of Science and Technology, Amir Kafshdar Goharshady University of Oxford, Sergei Novozhilov The Hong Kong University of Science and Technology
14:45
15m
Talk
LLM4Perf: Large Language Models Are Effective Samplers for Multi-Objective Performance Modeling
ICSE Research Track
Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Zhenhao Li York University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou)
Pre-print
15:00
15m
Talk
On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation
ICSE Research Track
Verya Monjezi University of Illinois Chicago, Ashish Kumar Pennsylvania State University, Ashutosh Trivedi University of Colorado Boulder, Gang (Gary) Tan Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago
15:15
15m
Talk
Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based Regression Bug Detection
ICSE Research Track
Xuezhi Song Fudan University, Yijian Wu Fudan University, Bihuan Chen Fudan University, Zhengjie Lu Fudan University, Shuning Liu Fudan University, Xin Peng Fudan University
16:00 - 17:30
Testing and Analysis 20ICSE Demonstrations at Oceania II
Chair(s): Gunel Jahangirova King's College London
16:00
15m
Talk
JUnitGenie: A Framework for Path-Sensitive Unit Test Generation with Large Language Models
ICSE Demonstrations
Dianshu Liao the Australian National University, Xin Yin Zhejiang University, Shidong Pan Columbia University & New York University, Chao Ni Zhejiang University, Zhenchang Xing CSIRO’s Data61; Australian National University, xiaoyu sun The Australian National University
Media Attached
16:15
15m
Talk
BugHunter: An Automated Tool for Bug-Aware GUI Testing via Retrieval Augmentation
ICSE Demonstrations
Zhe Liu Institute of Software, Chinese Academy of Sciences, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Xu Xiang Beike Technology Co., Ltd., Yujiao Yuan Beike Technology Co., Ltd., Qing Wang Institute of Software at Chinese Academy of Sciences
16:30
15m
Talk
Automated Testing of Conversational Agents with Chatbot Dōjō
ICSE Demonstrations
Iván Sotillo del Horno Universidad Autónoma de Madrid, Alejandro del Pozzo Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
16:45
15m
Talk
GDSynth: A Graph Database Testing Framework via Effective Graph Synthesis
ICSE Demonstrations
Fozail Ahmad McGill University, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University, Lili Wei McGill University
17:00
15m
Talk
WiseUT: An Intelligent Framework for Unit Test Generation
ICSE Demonstrations
Chen Yang Tianjin University, Ziqi Wang Tianjin University, Lin Yang Tianjin University, Dong Wang Tianjin University, Shutao Gao Tianjin University, Yanjie Jiang Tianjin University, Junjie Chen Tianjin University
17:15
15m
Talk
RESTifAI: LLM-Based Workflow for Reusable REST API Testing
ICSE Demonstrations
Leon Kogler CASABLANCA hotelsoftware, Maximilian Ehrhart CASABLANCA hotelsoftware, Benedikt Dornauer University of Innsbruck; University of Cologne, Eduard Paul Enoiu Mälardalen University

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Oceania II

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Oceania II

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Oceania II

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania II

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania II

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania II