META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving
This program is tentative and subject to change.
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 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
16:00 - 17:30 | |||
16:00 15mTalk | 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 15mTalk | 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 15mResearch 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 15mTalk | 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 15mTalk | 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 15mTalk | Validating Mixed-Integer Programming Solvers Research Track Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Chengnian Sun University of Waterloo | ||