Kai-Tao Xie

ROZZ: Property-based Fuzzing for Robotic Programs in ROS

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-dimensiona…