ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Fri 17 Apr 2026 11:30 - 11:45 at Oceania II - Testing and Analysis 16 Chair(s): Andreas Zeller

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 Apr

Displayed 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
15m
Talk
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
15m
Talk
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
15m
Talk
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
15m
Talk
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
15m
Talk
TypeJinja: Static Type Checking of Jinja Templates at dbt LabsVirtual Attendance
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
15m
Talk
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