Oceania II - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameOceania II

Floor0

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Save

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

11:00 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:30 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:00 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
12:15 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)

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

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

14:00 - 15:30	Testing and Analysis 5ICSE SE In Practice (SEIP) / ICSE Research Track / ICSE Journal-first Papers at Oceania II

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
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 , 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

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	Testing and Analysis 9ICSE Research Track / ICSE Journal-first Papers / ICSE Demonstrations / ICSE New Ideas and Emerging Results (NIER) at Oceania II

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

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 Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) at Oceania II

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		Exploring Development Methods for Reactive Synthesis Specifications ICSE Journal-first Papers Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar
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

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

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

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
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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania II	DSE Session 1																								DSE Session 2																																				DSE																								DSE

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania II	SEAMS Program																								SEAMS Program																																				SEAMS Program																								SEAMS Program

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania II	SEAMS Program																								SEAMS Program																																				SEAMS Program																								SEAMS Program

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania II	ICSE Journal-first Papers + ICSE SE In Practice (SEIP) + ICSE Research Track Testing and Analysis 2																																				ICSE SE In Practice (SEIP) + ICSE Research Track + ICSE Journal-first Papers Testing and Analysis 5																								ICSE Research Track Testing and Analysis 7

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania II	ICSE Research Track + ICSE Journal-first Papers + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER) Testing and Analysis 9																																				ICSE Research Track Testing and Analysis 12																								ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) Testing and Analysis 13

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania II	ICSE Research Track + ICSE SE In Practice (SEIP) Testing and Analysis 16																																				ICSE Research Track Testing and Analysis 19																								ICSE Demonstrations Testing and Analysis 20

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Oceania II	DSE Opening Message 09:00 - 09:30						DSE The Moral Consistency Pipeline: Continuous Ethical Evaluation for Large ... 09:30 - 10:00						DSE Every Breath You Take (I’ll Be Logging You): Detecting Metric Gaming in ... 10:00 - 10:30												DSE The Dark Art of Dopamine Engineering 11:00 - 11:30						DSE A Longitudinal Analysis of Gamification in Untappd: Ethical Reflections ... 11:30 - 12:00						DSE Patrones Oscuros: a Browser Extension for detecting Dark Patterns in Sp ... 12:00 - 12:15			DSE dAurora: A Prescriptive Solution based on AI to Shade Light on Dark Eng ... 12:15 - 12:30

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Oceania II	ICSE Journal-first Papers An industrial experience report on applying search-based boundary input ... 11:00 - 11:15			ICSE Journal-first Papers Testing CPS with Design Assumptions-Based Metamorphic Relations and Gen ... 11:15 - 11:30			ICSE Journal-first Papers Signal Feature Coverage and Testing for CPS Dataflow Models 11:30 - 11:45			ICSE Research Track Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzi ... 11:45 - 12:00			ICSE SE In Practice (SEIP) Vision Language Model-based Testing of Industrial Autonomous Mobile Robots 12:00 - 12:15			ICSE Research Track Misbehavior Forecasting for Focused Autonomous Driving Systems Testing 12:15 - 12:30																					ICSE Journal-first Papers Parallelization in System-level Testing: Novel Approaches to Manage Tes ... 14:00 - 14:15			ICSE Research Track Automated Network-Level Fault Injection Testing of Microservice Archite ... 14:15 - 14:30			ICSE Research Track Predicting Failures in Smart Human-Centric EcoSystems 14:30 - 14:45			ICSE SE In Practice (SEIP) PerfScout: An Adaptive Workload Generator in Software Performance Testing 14:45 - 15:00			ICSE SE In Practice (SEIP) Scaling Mobile Chaos Testing with AI-Driven Test Execution 15:00 - 15:15			ICSE SE In Practice (SEIP) CAST: Automated Resilience Testing for Production Cloud Service Systems 15:15 - 15:30									ICSE Research Track Dependency-aware Residual Risk Analysis 16:00 - 16:15			ICSE Research Track Hallucinating Certificates: Differential Testing of TLS Certificate Val ... 16:15 - 16:30			ICSE Research Track Fuzzing Java Optimizing Compilers with Complex Inter-Class Structures G ... 16:30 - 16:45			ICSE Research Track Variability-Aware Fuzzing 16:45 - 17:00			ICSE Research Track Temporal Specification Oriented Fuzzing for Trigger-Action-Programming ... 17:00 - 17:15			ICSE Research Track DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monol ... 17:15 - 17:30

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Oceania II	ICSE Demonstrations GUISpector: An MLLM Agent Framework for Automated Verification of Natur ... 11:00 - 11:15			ICSE Demonstrations Valg: A Fast Reinforcement Learning-Based Runtime Verification Tool for ... 11:15 - 11:30			ICSE Journal-first Papers Quantum Neural Network Classifier for Cancer Registry System Testing: A ... 11:30 - 11:45			ICSE Research Track Testora: Using Natural Language Intent to Detect Behavioral Regressions 11:45 - 12:00			ICSE New Ideas and Emerging Results (NIER) Automatic Validation of LLM-Generated Code with Prompt Paraphrasing 12:00 - 12:15			ICSE Journal-first Papers Causally Perturbed Fairness Testing 12:15 - 12:30																					ICSE Research Track Generator Solving for Symbolic Execution 14:00 - 14:15			ICSE Research Track How Good are Input Grammar Miners? An Empirical Study 14:15 - 14:30			ICSE Research Track LSPRAG: LSP-Guided RAG for Language-Agnostic Real-Time Unit Test Generation 14:30 - 14:45			ICSE Research Track Breaking Single-Tester Limits: Multi-Agent LLMs for Multi-User Feature ... 14:45 - 15:00			ICSE Research Track Testing Deep Learning Libraries via Neurosymbolic Constraint Learning 15:00 - 15:15			ICSE Research Track MioHint: LLM-Assisted Request Mutation for Whitebox REST API Testing 15:15 - 15:30									ICSE Journal-first Papers How to Save My Gas Fees: Understanding and Detecting Real-World Gas Iss ... 16:00 - 16:15			ICSE Journal-first Papers Exploring Development Methods for Reactive Synthesis Specifications 16:15 - 16:30			ICSE New Ideas and Emerging Results (NIER) Characterizing and Refactoring Table-Driven Tests in Go 16:30 - 16:45			ICSE New Ideas and Emerging Results (NIER) Data-aware Static Analysis: Improving Semantic Fault Detection in Machi ... 16:45 - 17:00			ICSE New Ideas and Emerging Results (NIER) Towards Automatically Inferring Constraints to Identify Implicit Assump ... 17:00 - 17:15			ICSE New Ideas and Emerging Results (NIER) QSolver: A Quantum Constraint Solver 17:15 - 17:30

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Oceania II	ICSE Research Track Parse this! Summoning Context-Sensitive Inputs with Goblin 11:00 - 11:15			ICSE Research Track Context-Free Property Oriented Fuzzing 11:15 - 11:30			ICSE Research Track Metamorphic Fuzzing for Multi-Agent Path Finding Algorithms 11:30 - 11:45			ICSE Research Track Fuzzing JavaScript Engines by Fusing JavaScript and WebAssembly 11:45 - 12:00			ICSE SE In Practice (SEIP) TypeJinja: Static Type Checking of Jinja Templates at dbt Labs 12:00 - 12:15			ICSE SE In Practice (SEIP) Principles and Practices of Large-Scale Code Analysis at Ant Group: A D ... 12:15 - 12:30																					ICSE Research Track E-Test: E'er-Improving Test Suites 14:00 - 14:15			ICSE Research Track AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests 14:15 - 14:30			ICSE Research Track Boosting Gas Revenues of Ethereum Miners 14:30 - 14:45			ICSE Research Track LLM4Perf: Large Language Models Are Effective Samplers for Multi-Object ... 14:45 - 15:00			ICSE Research Track On the Robustness of Fairness Practices: A Causal Framework for Systema ... 15:00 - 15:15			ICSE Research Track Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based ... 15:15 - 15:30									ICSE Demonstrations JUnitGenie: A Framework for Path-Sensitive Unit Test Generation with La ... 16:00 - 16:15			ICSE Demonstrations BugHunter: An Automated Tool for Bug-Aware GUI Testing via Retrieval Au ... 16:15 - 16:30			ICSE Demonstrations Automated Testing of Conversational Agents with Chatbot Dōjō 16:30 - 16:45			ICSE Demonstrations GDSynth: A Graph Database Testing Framework via Effective Graph Synthesis 16:45 - 17:00			ICSE Demonstrations WiseUT: An Intelligent Framework for Unit Test Generation 17:00 - 17:15			ICSE Demonstrations RESTifAI: LLM-Based Workflow for Reusable REST API Testing 17:15 - 17:30

Room information: Oceania II

This program is tentative and subject to change.

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

DSE

DSE

DSE

DSE

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

SEAMS Program

SEAMS Program

SEAMS Program

SEAMS Program

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

SEAMS Program

SEAMS Program

SEAMS Program

SEAMS Program

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Journal-first Papers + ICSE SE In Practice (SEIP) + ICSE Research Track

ICSE SE In Practice (SEIP) + ICSE Research Track + ICSE Journal-first Papers

ICSE Research Track

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE Journal-first Papers + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER)

ICSE Research Track

ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER)

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track

ICSE Demonstrations

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

Room information: Oceania II

This program is tentative and subject to change.

Program Display Configuration

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

DSE

DSE

DSE

DSE

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

SEAMS Program

SEAMS Program

SEAMS Program

SEAMS Program

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

SEAMS Program

SEAMS Program

SEAMS Program

SEAMS Program

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Journal-first Papers + ICSE SE In Practice (SEIP) + ICSE Research Track

ICSE SE In Practice (SEIP) + ICSE Research Track + ICSE Journal-first Papers

ICSE Research Track

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE Journal-first Papers + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER)

ICSE Research Track

ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER)

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track

ICSE Demonstrations

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change