ROZZ: Property-based Fuzzing for Robotic Programs in ROS. - Kai-Tao Xie; Jia-Ju Bai; Yong-Hao Zou; Yu-Ping Wang 001 (ICRA, 2022)

Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing. - Jia-Ju Bai; Zi-Xuan Fu; Kai-Tao Xie; Zu-Ming Jiang (IEEE Trans. Dependable Secur. Comput., 2024)