{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T18:15:58Z","timestamp":1772302558436,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":84,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T00:00:00Z","timestamp":1714176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62002195"],"award-info":[{"award-number":["62002195"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,27]]},"DOI":"10.1145\/3620665.3640425","type":"proceedings-article","created":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T14:18:06Z","timestamp":1713795486000},"page":"763-778","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9500-6100","authenticated-orcid":false,"given":"Jia-Ju","family":"Bai","sequence":"first","affiliation":[{"name":"Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9507-2474","authenticated-orcid":false,"given":"Hao-Xuan","family":"Song","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7507-6542","authenticated-orcid":false,"given":"Shi-Min","family":"Hu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2024,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"American Fuzzy Lop. http:\/\/lcamtuf.coredump.cx\/afl\/."},{"key":"e_1_3_2_1_2_1","unstructured":"ASan: address sanitizer. https:\/\/github.com\/google\/sanitizers\/wiki\/AddressSanitizer."},{"key":"e_1_3_2_1_3_1","unstructured":"AutoCarROS2: autonomous vehicle control and behaviour. https:\/\/github.com\/winstxnhdw\/AutoCarROS2."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3561161"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026959.3027017"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 28th USENIX Security Symposium","volume":"19","author":"Blazytko Tim","year":"2019","unstructured":"Tim Blazytko, Cornelius Aschermann, Moritz Schl\u00f6gel, Ali Abbasi, Sergej Schumilo, Simon W\u00f6rner, and Thorsten Holz. GRIMOIRE: synthesizing structure while fuzzing. In Proceedings of the 28th USENIX Security Symposium, volume 19, 2019."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14390-8_22"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519084"},{"key":"e_1_3_2_1_9_1","unstructured":"Cartographer: a system for real-time 2D and 3D SLAM across multiple platforms and sensor configurations. https:\/\/github.com\/cartographer-project\/cartographer_ros."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341085"},{"key":"e_1_3_2_1_11_1","first-page":"2325","volume-title":"Proceedings of the 29th USENIX Security Symposium","author":"Chen Hongxu","year":"2020","unstructured":"Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, and Yang Liu. MUZZ: thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs. In Proceedings of the 29th USENIX Security Symposium, pages 2325--2342, 2020."},{"key":"e_1_3_2_1_12_1","unstructured":"Common messages in ROS. http:\/\/wiki.ros.org\/common_msgs."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771811"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10878-018-0328-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561259"},{"key":"e_1_3_2_1_16_1","volume-title":"Verification of slam methods implemented in ROS. Journal of Multidisciplinary Engineering Science and Technology (JMEST), 6(9):2458--9403","author":"Ducho\u0148 Franti\u0161ek","year":"2019","unstructured":"Franti\u0161ek Ducho\u0148, Jakub Ha\u017e\u00edk, Jozef Rodina, Michal T\u00f6lgyessy, Martin Dekan, and Adam Sojka. Verification of slam methods implemented in ROS. Journal of Multidisciplinary Engineering Science and Technology (JMEST), 6(9):2458--9403, 2019."},{"key":"e_1_3_2_1_17_1","unstructured":"Fuzzing random programs without using execve. https:\/\/lcamtuf.blogspot.com\/2014\/10\/fuzzing-binaries-without-execve.html."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560431"},{"key":"e_1_3_2_1_19_1","first-page":"679","volume-title":"Proceedings of the 39th IEEE Symposium on Security and Privacy","author":"Gan Shuitao","year":"2018","unstructured":"Shuitao Gan, Chao Zhang, Xiaojun Qin, Xuwen Tu, Kang Li, Zhongyu Pei, and Zuoning Chen. CollAFL: path sensitive fuzzing. In Proceedings of the 39th IEEE Symposium on Security and Privacy, pages 679--696, 2018."},{"key":"e_1_3_2_1_20_1","unstructured":"Gazebo: a robot simulation framework. http:\/\/gazebosim.org\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/3101290.3101303"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464795"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP48549.2020.00035"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183534"},{"key":"e_1_3_2_1_25_1","unstructured":"Janko slavic peak detection method. https:\/\/github.com\/jankoslavic\/py-tools\/tree\/master\/findpeaks."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ymssp.2017.05.008"},{"key":"e_1_3_2_1_27_1","first-page":"249","volume-title":"Proceedings of the 2020 USENIX Annual Technical Conference","author":"Jeon Yuseok","year":"2020","unstructured":"Yuseok Jeon, WookHyun Han, Nathan Burow, and Mathias Payer. FuZZan: efficient sanitizer metadata design for fuzzing. In Proceedings of the 2020 USENIX Annual Technical Conference, pages 249--263, 2020."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/3489212.3489358"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2022.24296"},{"key":"e_1_3_2_1_30_1","first-page":"57","volume-title":"Proceedings of the 46th International Conference on Very Large Data Bases (VLDB)","author":"Jung Jinho","year":"2020","unstructured":"Jinho Jung, Hong Hu, Joy Arulraj, Taesoo Kim, and Woonhak Kang. APOLLO: automatic detection and diagnosis of performance regressions in database systems. In Proceedings of the 46th International Conference on Very Large Data Bases (VLDB), pages 57--70, 2020."},{"key":"e_1_3_2_1_31_1","unstructured":"Kalman filter based localization for ROS. https:\/\/github.com\/rsasaki0109\/kalman_filter_localization."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197060"},{"key":"e_1_3_2_1_33_1","volume-title":"Palisade: A framework for anomaly detection in embedded systems. Journal of Systems Architecture (JSA), 113:101876","author":"Kauffman Sean","year":"2021","unstructured":"Sean Kauffman, Murray Dunne, Giovani Gracioli, Waleed Khan, Nirmal Benann, and Sebastian Fischmeister. Palisade: A framework for anomaly detection in embedded systems. Journal of Systems Architecture (JSA), 113:101876, 2021."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549164"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561191"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2019.00023"},{"key":"e_1_3_2_1_39_1","unstructured":"LaMa: alternative localization and mapping. https:\/\/github.com\/iris-ua\/iris_lama_ros."},{"key":"e_1_3_2_1_40_1","first-page":"4309","volume-title":"Proceedings of the 31st USENIX Security Symposium","author":"Liang Yu","year":"2022","unstructured":"Yu Liang, Song Liu, and Hong Hu. Detecting logical bugs of DBMS with coverage-based guidance. In Proceedings of the 31st USENIX Security Symposium, pages 4309--4326, 2022."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274718"},{"key":"e_1_3_2_1_42_1","unstructured":"llvm-cov: collecting program coverage with llvm framework. https:\/\/www.llvm.org\/docs\/CommandGuide\/llvm-cov.html."},{"key":"e_1_3_2_1_43_1","unstructured":"Maze solving using computer vision. https:\/\/github.com\/HaiderAbasi\/ROS2-Path-Planning-and-Maze-Solving."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623097"},{"key":"e_1_3_2_1_45_1","unstructured":"MSan: memory sanitizer. https:\/\/github.com\/google\/sanitizers\/wiki\/MemorySanitizer."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00069"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10233-3"},{"key":"e_1_3_2_1_48_1","unstructured":"State machine and behavior tree of ROS2 navigation framework. https:\/\/navigation.ros.org\/behavior_trees\/trees\/nav_to_pose_recovery.html."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360606"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330576"},{"key":"e_1_3_2_1_51_1","first-page":"729","volume-title":"Proceedings of the 27th USENIX Security Symposium","author":"Pailoor Shankara","year":"2018","unstructured":"Shankara Pailoor, Andrew Aday, and Suman Jana. MoonShine: optimizing OS fuzzer seed selection with trace distillation. In Proceedings of the 27th USENIX Security Symposium, pages 729--743, 2018."},{"key":"e_1_3_2_1_52_1","first-page":"729","volume-title":"Proceedings of the 27th USENIX Security Symposium","author":"Pailoor Shankara","year":"2018","unstructured":"Shankara Pailoor, Andrew Aday, and Suman Jana. MoonShine: optimizing OS fuzzer seed selection with trace distillation. In Proceedings of the 27th USENIX Security Symposium, pages 729--743, 2018."},{"key":"e_1_3_2_1_53_1","first-page":"2559","volume-title":"Proceedings of the 29th USENIX Security Symposium","author":"Peng Hui","year":"2020","unstructured":"Hui Peng and Mathias Payer. USBFuzz: A framework for fuzzing USB drivers by device emulation. In Proceedings of the 29th USENIX Security Symposium, pages 2559--2575, 2020."},{"key":"e_1_3_2_1_54_1","first-page":"460","volume-title":"Proceedings of the 13th International Conference on Software Testing, Validation and Verification (ICST)","author":"Pham Van-Thuan","year":"2020","unstructured":"Van-Thuan Pham, Marcel B\u00f6hme, and Abhik Roychoudhury. AFLNet: a greybox fuzzer for network protocols. In Proceedings of the 13th International Conference on Software Testing, Validation and Verification (ICST), pages 460--465, 2020."},{"issue":"9","key":"e_1_3_2_1_55_1","first-page":"1980","article-title":"Smart greybox fuzzing","volume":"47","author":"Pham Van-Thuan","year":"2019","unstructured":"Van-Thuan Pham, Marcel B\u00f6hme, Andrew E Santosa, Alexandru R\u0103zvan C\u0103ciulescu, and Abhik Roychoudhury. Smart greybox fuzzing. IEEE Transactions on Software Engineering (TSE), 47(9):1980--1997, 2019.","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"e_1_3_2_1_56_1","first-page":"861","volume-title":"Proceedings of the 23rd USENIX Security Symposium","author":"Rebert Alexandre","year":"2014","unstructured":"Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, and David Brumley. Optimizing seed selection for fuzzing. In Proceedings of the 23rd USENIX Security Symposium, pages 861--875, 2014."},{"key":"e_1_3_2_1_57_1","unstructured":"RoboFuzz repository. https:\/\/github.com\/sslab-gatech\/RoboFuzz."},{"key":"e_1_3_2_1_58_1","unstructured":"ROCK: the Robot COnstruction Kit. https:\/\/www.rock-robotics.org\/."},{"key":"e_1_3_2_1_59_1","unstructured":"ROS platform for building robot applications. https:\/\/www.ros.org\/."},{"key":"e_1_3_2_1_60_1","unstructured":"AMCL localization in ROS2 navigation. https:\/\/github.com\/ros-planning\/navigation2\/tree\/main\/nav2_amcl."},{"key":"e_1_3_2_1_61_1","unstructured":"Bt navigator in ROS2 navigation. https:\/\/github.com\/ros-planning\/navigation2\/tree\/main\/nav2_bt_navigator."},{"key":"e_1_3_2_1_62_1","unstructured":"Controller in ROS2 navigation. https:\/\/github.com\/ros-planning\/navigation2\/tree\/main\/nav2_controller."},{"key":"e_1_3_2_1_63_1","unstructured":"ROS2 Turtlebot3 map explorer. https:\/\/github.com\/DaniGarciaLopez\/ros2_explorer."},{"key":"e_1_3_2_1_64_1","unstructured":"Ros2-fuzz: automatic fuzzing for ROS2. https:\/\/github.com\/rosin-project\/ros2_fuzz."},{"key":"e_1_3_2_1_65_1","unstructured":"Ros2 navigation framework. https:\/\/github.com\/ros-planning\/navigation2."},{"key":"e_1_3_2_1_66_1","unstructured":"Planner in ROS2 navigation. https:\/\/github.com\/ros-planning\/navigation2\/tree\/main\/nav2_planner."},{"key":"e_1_3_2_1_67_1","unstructured":"Recoveries in ROS2 navigation. https:\/\/github.com\/ros-planning\/navigation2\/tree\/main\/nav2_recoveries."},{"key":"e_1_3_2_1_68_1","unstructured":"Robots using ROS. https:\/\/robots.ros.org\/."},{"key":"e_1_3_2_1_69_1","unstructured":"2022 ROS2 metrics report. https:\/\/www.therobotreport.com\/2022-ros-2-metrics-report\/."},{"key":"e_1_3_2_1_70_1","unstructured":"The rosbag package in ROS. http:\/\/wiki.ros.org\/rosbag."},{"key":"e_1_3_2_1_71_1","unstructured":"ROZZ website. https:\/\/sites.google.com\/view\/rozz-fuzzing\/."},{"key":"e_1_3_2_1_72_1","unstructured":"RTAB-Map: an application of real-time appearance-based mapping. https:\/\/github.com\/introlab\/rtabmap_ros."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2019.00018"},{"key":"e_1_3_2_1_74_1","first-page":"166","volume-title":"Proceedings of the 17th European Conference on Computer Systems","author":"Schumilo Sergej","year":"2022","unstructured":"Sergej Schumilo, Cornelius Aschermann, Andrea Jemmett, Ali Abbasi, and Thorsten Holz. Nyx-net: network fuzzing with incremental snapshots. In Proceedings of the 17th European Conference on Computer Systems, pages 166--180, 2022."},{"key":"e_1_3_2_1_75_1","unstructured":"Slam Toolbox: a set of tools and capabilities for 2D SLAM. https:\/\/github.com\/SteveMacenski\/slam_toolbox."},{"key":"e_1_3_2_1_76_1","first-page":"244","volume-title":"Proceedings of the 2021 International Symposium on Software Testing and Analysis (ISSTA)","author":"Srivastava Prashast","year":"2021","unstructured":"Prashast Srivastava and Mathias Payer. Gramatron: effective grammar-aware fuzzing. In Proceedings of the 2021 International Symposium on Software Testing and Analysis (ISSTA), pages 244--256, 2021."},{"key":"e_1_3_2_1_77_1","unstructured":"Syzkaller: a kernel fuzzer. https:\/\/github.com\/google\/syzkaller."},{"key":"e_1_3_2_1_78_1","first-page":"2741","volume-title":"Proceedings of the 30th USENIX Security Symposium","author":"Wang Daimeng","year":"2021","unstructured":"Daimeng Wang, Zheng Zhang, Hang Zhang, Zhiyun Qian, Srikanth V Krishnamurthy, and Nael Abu-Ghazaleh. SyzVegas: beating kernel fuzzing odds with reinforcement learning. In Proceedings of the 30th USENIX Security Symposium, pages 2741--2758, 2021."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561627"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9811701"},{"key":"e_1_3_2_1_81_1","unstructured":"YARP: Yet Another Robot Platform. https:\/\/github.com\/robotology\/yarp."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6630618"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417260"},{"key":"e_1_3_2_1_84_1","first-page":"489","volume-title":"Proceedings of the 2021 USENIX Annual Technical Conference","author":"Zou Yong-Hao","year":"2021","unstructured":"Yong-Hao Zou, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, and Shi-Min Hu. TCP-Fuzz: detecting memory and semantic bugs in TCP stacks with fuzzing. In Proceedings of the 2021 USENIX Annual Technical Conference, pages 489--502, 2021."}],"event":{"name":"ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","location":"La Jolla CA USA","acronym":"ASPLOS '24","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620665.3640425","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3620665.3640425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:42Z","timestamp":1750291422000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620665.3640425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,27]]},"references-count":84,"alternative-id":["10.1145\/3620665.3640425","10.1145\/3620665"],"URL":"https:\/\/doi.org\/10.1145\/3620665.3640425","relation":{},"subject":[],"published":{"date-parts":[[2024,4,27]]},"assertion":[{"value":"2024-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}