一句话：提出 RoboFuzz，在 ROS 之上对机器人系统进行模糊测试，用于发现语义正确性缺陷。
机器人系统正日益融入人类生活，Robot Operating System（ROS）作为开源中间件套件，凭借实用的工具与库被广泛用于快速开发机器人。本文关注 ROS 及基于 ROS 的机器人系统中相对缺乏测试的一类缺陷，即语义正确性缺陷，包括规约违背、物理定律违背以及信息物理差异。这类缺陷往往源于机器人系统的信息物理本质：带有噪声的硬件组件与软件组件紧密交织，因此现有主要面向内存安全缺陷的模糊测试方法无法检测到它们。为此，论文提出 RoboFuzz，在 ROS 之上对机器人系统进行模糊测试，以暴露此类语义正确性缺陷。
Robotic systems are becoming an integral part of human lives. Responding to the increased demands for robot productions, Robot Operating System (ROS), an open-source middleware suite for robotic development, is gaining traction by providing practical tools and libraries for quickly developing robots. In this paper, we are concerned with a relatively less-tested class of bugs in ROS and ROS-based robotic systems, called semantic correctness bugs, including the violation of specification, violation of physical laws, and cyber-physical discrepancy. These bugs often stem from the cyber-physical nature of robotic systems, in which noisy hardware components are intertwined with software components, and thus cannot be detected by existing fuzzing approaches that mostly focus on finding memory-safety bugs.