{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:13:56Z","timestamp":1783613636363,"version":"3.55.0"},"reference-count":56,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62002195,61872210"],"award-info":[{"award-number":["62002195,61872210"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,23]]},"DOI":"10.1109\/icra46639.2022.9811701","type":"proceedings-article","created":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T19:36:40Z","timestamp":1657654600000},"page":"6786-6792","source":"Crossref","is-referenced-by-count":12,"title":["ROZZ: Property-based Fuzzing for Robotic Programs in ROS"],"prefix":"10.1109","author":[{"given":"Kai-Tao","family":"Xie","sequence":"first","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jia-Ju","family":"Bai","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yong-Hao","family":"Zou","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu-Ping","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","year":"0","journal-title":"move_base in ROS 1 a package for route planning and movement control for the robot"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183534"},{"key":"ref33","year":"0","journal-title":"Slam Toolbox a set of tools and capabilities for 2D SLAM"},{"key":"ref32","year":"0","journal-title":"RTAB-Map an application of real-time appearance-based mapping"},{"key":"ref31","year":"0","journal-title":"Kalman filter based localization for ROS"},{"key":"ref30","year":"0","journal-title":"LaMa alternative localization and mapping for ROS"},{"key":"ref37","year":"0","journal-title":"Stack-overflow bug for new thread in rtab-map"},{"key":"ref36","year":"0","journal-title":"Uncaught exception bug in nav2_controller"},{"key":"ref35","year":"0","journal-title":"Use-after-free bug in nav2_planner"},{"key":"ref34","year":"0","journal-title":"Cartographer a system for real-time 2D and 3D SLAM across multiple platforms and sensor configurations"},{"key":"ref28","year":"0","journal-title":"Controller in ROS2 navigation framework"},{"key":"ref27","year":"0","journal-title":"Recoveries in ROS2 navigation framework"},{"key":"ref29","year":"0","journal-title":"AMCL localization in ROS2 navigation framework"},{"key":"ref2","year":"0","journal-title":"American Fuzzy Lop"},{"key":"ref1","year":"0","journal-title":"ROS platform for building robot applications"},{"key":"ref20","year":"0","journal-title":"ASan address sanitizer"},{"key":"ref22","year":"0","journal-title":"UBSan undefined behavior sanitizer"},{"key":"ref21","year":"0","journal-title":"MSan memory sanitizer"},{"key":"ref24","year":"0","journal-title":"Gazebo a robot simulation framework"},{"key":"ref23","year":"0","journal-title":"CLOC counting code lines"},{"key":"ref26","year":"0","journal-title":"Planner in ROS2 navigation framework"},{"key":"ref25","year":"0","journal-title":"Bt navigator in ROS2 navigation framework"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197060"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2017.9"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759661"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561191"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341085"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793636"},{"key":"ref52","first-page":"2","article-title":"Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms","author":"foughali","year":"2018","journal-title":"2018 IEEE\/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)"},{"key":"ref10","year":"0","journal-title":"Ros2-fuzz automatic fuzzing for ROS2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561259"},{"key":"ref40","year":"0","journal-title":"AMCL localization in ROS1 navigation framework"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561627"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101838"},{"key":"ref14","article-title":"DiscoFuzzer: discontinuity-based vulnerability detector for robotic systems","author":"rivera","year":"2020","journal-title":"TechRxiv"},{"key":"ref15","year":"0","journal-title":"LLVM Compiler Infrastructure"},{"key":"ref16","year":"0","journal-title":"ROS Topics"},{"key":"ref17","year":"0","journal-title":"Fuzzing raft for fun and publication"},{"key":"ref18","first-page":"291","article-title":"Minimizing faulty executions of distributed systems","author":"scott","year":"0","journal-title":"Proceedings of the 13th International Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"ref19","year":"0","journal-title":"Clang compiler"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2785841"},{"key":"ref3","year":"0","journal-title":"Syzkaller a kernel fuzzer"},{"key":"ref6","first-page":"729","article-title":"MoonShine: optimizing OS fuzzer seed selection with trace distillation","author":"pailoor","year":"0","journal-title":"Proceedings of the 27th USENIX Security Symposium"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238176"},{"key":"ref8","first-page":"2325","article-title":"MUZZ: thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs","author":"chen","year":"0","journal-title":"Proceedings of the 29th USENIX Security Symposium"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464795"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ECMR.2015.7324210"},{"key":"ref9","first-page":"861","article-title":"Optimizing seed selection for fuzzing","author":"rebert","year":"0","journal-title":"Proceedings of the 23rd USENIX Security Symposium"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2020.00081"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"ref48","first-page":"1","article-title":"Integration testing for robotic systems","author":"brito","year":"2020","journal-title":"Software Quality Journal (SQJ)"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_22"},{"key":"ref42","first-page":"2595","article-title":"Fuzzing error handling code using context-sensitive software fault injection","author":"jiang","year":"0","journal-title":"Proceedings of the 29th USENIX Security Symposium"},{"key":"ref41","year":"0","journal-title":"hector_rnapping in ROS 1 a scalable SLAM approach for the robot"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2022.24296"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771811"}],"event":{"name":"2022 IEEE International Conference on Robotics and Automation (ICRA)","location":"Philadelphia, PA, USA","start":{"date-parts":[[2022,5,23]]},"end":{"date-parts":[[2022,5,27]]}},"container-title":["2022 International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9811522\/9811357\/09811701.pdf?arnumber=9811701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:04:06Z","timestamp":1667516646000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9811701\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,23]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/icra46639.2022.9811701","relation":{},"subject":[],"published":{"date-parts":[[2022,5,23]]}}}