ROZZ: Property-based Fuzzing for Robotic Programs in ROS.

Kai-Tao Xie Jia-Ju Bai Yong-Hao Zou Yu-Ping Wang

Published in: ICRA (2022)

Keyphrases

mobile robot
robotic systems
fixpoint
real time
computer programs
automatic programming
data sets
databases
feature selection
decision making
image sequences
search algorithm
expert systems
manipulation tasks
object manipulation