ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil

This program is tentative and subject to change.

Wed 15 Apr 2026 16:30 - 16:45 at Oceania IX - Testing and Analysis 6

In next-generation traffic, multiple intelligent vehicles equipped with autonomous driving systems (ADS) operate simultaneously. These vehicles share real-time information through vehicle-to-vehicle (V2V) communication during operation and make decisions based on this mutual perception. In this paper, we present a novel METAmorphic testing framework to evaluate ADS performance in multi-vehicle scenarios, addressing the META information shared during V2V communication (META²V2V). META²V2V interacts with the shared information by systematically injecting four types of controlled common perturbations into V2V data streams and observing how these disruptions affect the vehicles’ mutual perception and subsequent interactions. META²V2V assesses ADS decisions from two aspects: soundness and robustness, by introducing soundness metamorphic testing relations (S-MRs) and robustness metamorphic relations (R-MRs), respectively. Specifically, S-MRs claim that the performance of ADS under perfect information should outperform that under perturbations, whereas R-MRs claim that the performance of ADS should not degrade too much under information perturbations. Furthermore, META²V2V employs multi-objective search-based testing conducted from two directions to efficiently generate test groups that violate S-MRs and R-MRs, respectively. Experimental results demonstrate that, compared to random testing, our approach can identify 733.3% and 133.0% more violations that reveal soundness and robustness issues.

This program is tentative and subject to change.

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

16:00 - 17:30
Testing and Analysis 6Research Track at Oceania IX
16:00
15m
Talk
SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Crash Data
Research Track
Siwei Luo Macquarie University, Yang Zhang , Yao Deng Macquarie University, Linfeng Liang Macquarie University, Xi Zheng Macquarie University
16:15
15m
Talk
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
Research Track
Haoyang Ma Hong Kong University of Science and Technology, Alastair F. Donaldson Imperial College London, Qingchao Shen Tianjin University, Yongqiang Tian Monash University, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology
16:30
15m
Research paper
META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving
Research Track
Lejin Li Kyushu University, Xiao-Yi Zhang University of Science and Technology Beijing, Shuncheng Tang University of Science and Technology of China, Zhenya Zhang Kyushu University, Jianjun Zhao Kyushu University
Media Attached
16:45
15m
Talk
DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous Driving Planning
Research Track
Yuqi Huai University of California, Irvine, Yuntianyi Chen University of California, Irvine, Ziwen Wan University of California, Irvine, Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine
17:00
15m
Talk
TARIPlay: A Test Framework for AR Applications based on Interactive Area Detection in Playback Videos
Research Track
Seyed Amir Mousavi PhD Student at University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
17:15
15m
Talk
Validating Mixed-Integer Programming Solvers
Research Track
Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Chengnian Sun University of Waterloo