Jia-Ju Bai

2 accepted papers

2022

ROZZ: Property-based Fuzzing for Robotic Programs in ROS

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

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…

Cited by 13 Source ↗Scholar ↗

2021

Effective Crash Recovery of Robot Software Programs in ROS

Yong-Hao Zou, Jia-Ju Bai

ICRA 2021poster

Modern robot systems use various software programs to autonomously perform different kinds of tasks. However, due to the risks of possible faults and errors, a robotic software program can inevitably crash in some cases, causing that the robot system fails to perform the current task. Thus, for robu…

Cited by 4 Source ↗Scholar ↗