Detecting Lifecycle-Related Concurrency Bugs in ROS Programs via Coverage-Guided Fuzzing. - Si-Miao Gao; Pengcheng Wang 003; Jia-Ju Bai; Jia-Wei Yu; Haizhou Wang 001 (IEEE Trans. Inf. Forensics Secur., 2025)