2022
ROZZ: Property-based Fuzzing for Robotic Programs in ROS
ICRA 2022poster
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…