ROZZ: Property-based Fuzzing for Robotic Programs in ROS

Kai-Tao Xie, Jia-Ju Bai, Yong-Hao Zou, Yu-Ping Wang 0001. ROZZ: Property-based Fuzzing for Robotic Programs in ROS. In 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022. pages 6786-6792, IEEE, 2022. [doi]

Abstract

Abstract is missing.