Multi-Agent Path Finding (MAPF) is a fundamental problem in multi-agent systems, with broad applications in warehouse logistics, robotics, and autonomous driving. Ensuring that MAPF solvers consistently return a solution whenever one exists and deliver high-quality plans is critical for real-world deployment. However, MAPF algorithms remain insufficiently tested. The high-dimensional, tightly coupled input space arising from map topology and agent configurations makes systematic testing extremely challenging. This paper introduces MAPFFuzz, a metamorphic fuzzing framework for systematically testing MAPF solvers to detect both completeness failures and optimality failures. MAPFFuzz uses semantics-aware mutation strategies that jointly perturb both maps and agent configurations, coupled with a lightweight feasibility verification mechanism to ensure valid scenarios. Additionally, it incorporates diversity-guided seed selection and leverages metamorphic relations as oracles to assess solution quality. We evaluate MAPFFuzz on four recent MAPF solvers: PIBT, HCA, PIBT+, and LaCAM*. Results show that MAPFFuzz can detect completeness failures and more than 400 cases with degree of suboptimality exceeding 25% with 100 agents on 128x128 map cases per solver. MAPFFuzz also identifies 37 scenarios unsolvable by LaCAM* even under a 30-second parallel optimization setting. These findings demonstrate that MAPFFuzz can reveal both completeness failures and significant solution degradations, even in state-of-the-art algorithms under generous time budgets.
Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
11:00 - 12:30 | Testing and Analysis 16Research Track / SE In Practice (SEIP) at Oceania II Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security | ||
11:00 15mTalk | Parse this! Summoning Context-Sensitive Inputs with Goblin 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 15mTalk | Context-Free Property Oriented Fuzzing 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 15mTalk | Metamorphic Fuzzing for Multi-Agent Path Finding Algorithms 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 15mTalk | Fuzzing JavaScript Engines by Fusing JavaScript and WebAssembly 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 15mTalk | TypeJinja: Static Type Checking of Jinja Templates at dbt Labs 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 Media Attached | ||
12:15 15mTalk | Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach 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 | ||