ROZZ: Property-based Fuzzing for Robotic Programs in ROS
Kai-Tao Xie,Jia-Ju Bai,Yong-Hao Zou,Yu-Ping Wang,Kai-Tao Xie,Jia-Ju Bai,Yong-Hao Zou,Yu-Ping Wang
ROS is popular in robotic-software development, and thus detecting bugs in ROS programs is important for modern robots. Fuzzing is a promising technique of runtime testing. But existing fuzzing approaches are limited in testing ROS programs, due to neglecting ROS properties, such as multi-dimensional inputs, temporal features of inputs and the distributed node model. In this paper, we develop a ne...
