{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T15:28:08Z","timestamp":1784734088552,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Secure Systems Research Center (SSRC) at the Technology Innovation Institute (TII), UAE","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549164","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"447-458","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs"],"prefix":"10.1145","author":[{"given":"Seulbae","family":"Kim","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Taesoo","family":"Kim","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. LibFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html \t\t\t\t  2017. LibFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html"},{"key":"e_1_3_2_1_2_1","unstructured":"2018. syzkaller - kernel fuzzer. https:\/\/github.com\/google\/syzkaller \t\t\t\t  2018. syzkaller - kernel fuzzer. https:\/\/github.com\/google\/syzkaller"},{"key":"e_1_3_2_1_3_1","unstructured":"2020. ROS Community Metrics Report. http:\/\/download.ros.org\/downloads\/metrics\/metrics-report-2020-07.pdf \t\t\t\t  2020. ROS Community Metrics Report. http:\/\/download.ros.org\/downloads\/metrics\/metrics-report-2020-07.pdf"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. ROS Robots. https:\/\/robots.ros.org\/ \t\t\t\t  2022. ROS Robots. https:\/\/robots.ros.org\/"},{"key":"e_1_3_2_1_5_1","unstructured":"Amazon. 2022. Prime Air. https:\/\/www.amazon.com\/primeair \t\t\t\t  Amazon. 2022. Prime Air. https:\/\/www.amazon.com\/primeair"},{"key":"e_1_3_2_1_6_1","volume-title":"International Conference on Robotics in Education (RiE). 170\u2013181","author":"Amsters Robin","year":"2019","unstructured":"Robin Amsters and Peter Slaets . 2019 . Turtlebot 3 as a Robotics Education Platform . In International Conference on Robotics in Education (RiE). 170\u2013181 . Robin Amsters and Peter Slaets. 2019. Turtlebot 3 as a Robotics Education Platform. In International Conference on Robotics in Education (RiE). 170\u2013181."},{"key":"e_1_3_2_1_7_1","unstructured":"Bloomberg. 2022. The Rise of ROS: Nearly 55% of total commercial robots shipped in 2024 Will Have at Least One Robot Operating System package. https:\/\/www.bloomberg.com\/press-releases\/2019-05-16\/the-rise-of-ros-nearly-55-of-total-commercial-robots-shipped-in-2024-will-have-at-least-one-robot-operating-system-package \t\t\t\t  Bloomberg. 2022. The Rise of ROS: Nearly 55% of total commercial robots shipped in 2024 Will Have at Least One Robot Operating System package. https:\/\/www.bloomberg.com\/press-releases\/2019-05-16\/the-rise-of-ros-nearly-55-of-total-commercial-robots-shipped-in-2024-will-have-at-least-one-robot-operating-system-package"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Breiling Benjamin and Dieber Bernhard and Schartner Peter. 2017. Secure communication for the Robot Operating System. In 2017 annual IEEE international systems conference (SysCon). 1\u20136. \t\t\t\t  Breiling Benjamin and Dieber Bernhard and Schartner Peter. 2017. Secure communication for the Robot Operating System. In 2017 annual IEEE international systems conference (SysCon). 1\u20136.","DOI":"10.1109\/SYSCON.2017.7934755"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_1_11_1","volume-title":"Robot Operating System (ROS)","author":"Chitta Sachin","unstructured":"Sachin Chitta . 2016. MoveIt! : an introduction . In Robot Operating System (ROS) . Springer , 3\u201327. Sachin Chitta. 2016. MoveIt!: an introduction. In Robot Operating System (ROS). Springer, 3\u201327."},{"key":"e_1_3_2_1_12_1","volume-title":"2019 International Conference on Robotics and Automation (ICRA). 8514\u20138521","author":"Tellex Nicholas","year":"2019","unstructured":"DeMarinis, Nicholas and Tellex , Stefanie and Kemerlis , Vasileios P and Konidaris , George and Fonseca , Rodrigo. 2019 . Scanning the internet for ros: A view of security in robotics research . In 2019 International Conference on Robotics and Automation (ICRA). 8514\u20138521 . DeMarinis, Nicholas and Tellex, Stefanie and Kemerlis, Vasileios P and Konidaris, George and Fonseca, Rodrigo. 2019. Scanning the internet for ros: A view of security in robotics research. In 2019 International Conference on Robotics and Automation (ICRA). 8514\u20138521."},{"key":"e_1_3_2_1_13_1","volume-title":"Robot operating system (ROS)","author":"Dieber Bernhard","unstructured":"Bernhard Dieber , Ruffin White , Sebastian Taurer , Benjamin Breiling , Gianluca Caiazza , Henrik Christensen , and Agostino Cortesi . 2020. Penetration testing ROS . In Robot operating system (ROS) . Springer , 183\u2013225. Bernhard Dieber, Ruffin White, Sebastian Taurer, Benjamin Breiling, Gianluca Caiazza, Henrik Christensen, and Agostino Cortesi. 2020. Penetration testing ROS. In Robot operating system (ROS). Springer, 183\u2013225."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2017.09.017"},{"key":"e_1_3_2_1_15_1","volume-title":"IEEE Int. Conference on Robotics and Automation, ECHORD Workshop.","author":"Lewis Shaun","year":"2012","unstructured":"Edwards, Shaun and Lewis , Chris. 2012 . ROS-Industrial: Applying the Robot Operating System (ROS) to Industrial Applications . In IEEE Int. Conference on Robotics and Automation, ECHORD Workshop. Edwards, Shaun and Lewis, Chris. 2012. ROS-Industrial: Applying the Robot Operating System (ROS) to Industrial Applications. In IEEE Int. Conference on Robotics and Automation, ECHORD Workshop."},{"key":"e_1_3_2_1_16_1","unstructured":"GNU. 2022. gcov \u2014 a Test Coverage Program. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html \t\t\t\t  GNU. 2022. gcov \u2014 a Test Coverage Program. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html"},{"key":"e_1_3_2_1_17_1","unstructured":"Google. 2022. Wing. https:\/\/wing.com\/ \t\t\t\t  Google. 2022. Wing. https:\/\/wing.com\/"},{"key":"e_1_3_2_1_18_1","volume-title":"Investor Presentation","year":"2021","unstructured":"iRobot. 2021. Investor Presentation August 2021 . https:\/\/investor.irobot.com\/static-files\/a6147f70-f50a-43d3-9161-9af57981ea0f iRobot. 2021. Investor Presentation August 2021. https:\/\/investor.irobot.com\/static-files\/a6147f70-f50a-43d3-9161-9af57981ea0f"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2015.09.017"},{"key":"e_1_3_2_1_20_1","volume-title":"PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles. In Network and Distributed System Security Symposium.","author":"Kim Hyungsub","year":"2021","unstructured":"Hyungsub Kim , Muslum Ozgur Ozmen , Antonio Bianchi , Z Berkay Celik , and Dongyan Xu . 2021 . PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles. In Network and Distributed System Security Symposium. Hyungsub Kim, Muslum Ozgur Ozmen, Antonio Bianchi, Z Berkay Celik, and Dongyan Xu. 2021. PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles. In Network and Distributed System Security Symposium."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7036047"},{"key":"e_1_3_2_1_22_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Kim Taegyu","year":"2019","unstructured":"Taegyu Kim , Chung Hwan Kim , Junghwan Rhee , Fan Fei , Zhan Tu , Gregory Walkup , Xiangyu Zhang , Xinyan Deng , and Dongyan Xu . 2019 . RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing . In 28th USENIX Security Symposium (USENIX Security 19) . 425\u2013442. Taegyu Kim, Chung Hwan Kim, Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu. 2019. RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing. In 28th USENIX Security Symposium (USENIX Security 19). 425\u2013442."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"e_1_3_2_1_25_1","volume-title":"Robot motion planning and control. 229","author":"Laumond Jean-Paul","unstructured":"Jean-Paul Laumond . 1998. Robot motion planning and control. 229 , Springer . Jean-Paul Laumond. 1998. Robot motion planning and control. 229, Springer."},{"key":"e_1_3_2_1_26_1","unstructured":"LLVM. 2021. Clang 13 Documentation - UndefinedBehaviorSanitizer. https:\/\/clang.llvm.org\/docs\/UndefinedBehaviorSanitizer.html \t\t\t\t  LLVM. 2021. Clang 13 Documentation - UndefinedBehaviorSanitizer. https:\/\/clang.llvm.org\/docs\/UndefinedBehaviorSanitizer.html"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm6074"},{"key":"e_1_3_2_1_28_1","first-page":"8741","article-title":"A Preliminary Cyber-Physical Security Assessment of the Robot Operating System (ROS)","author":"Stull Jarrod","year":"2013","unstructured":"McClean, Jarrod and Stull , Christopher and Farrar , Charles and Mascarenas , David. 2013 . A Preliminary Cyber-Physical Security Assessment of the Robot Operating System (ROS) . In Unmanned Systems Technology XV. 8741 , 874110. McClean, Jarrod and Stull, Christopher and Farrar, Charles and Mascarenas, David. 2013. A Preliminary Cyber-Physical Security Assessment of the Robot Operating System (ROS). In Unmanned Systems Technology XV. 8741, 874110.","journal-title":"Unmanned Systems Technology"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7140074"},{"key":"e_1_3_2_1_30_1","unstructured":"Jason M O\u2019Kane. 2014. A gentle introduction to ROS. \t\t\t\t  Jason M O\u2019Kane. 2014. A gentle introduction to ROS."},{"key":"e_1_3_2_1_31_1","volume-title":"OMG Data-Distribution Service: Architectural Overview. In 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings.. 200\u2013206","author":"Pardo-Castellote Gerardo","year":"2003","unstructured":"Gerardo Pardo-Castellote . 2003 . OMG Data-Distribution Service: Architectural Overview. In 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings.. 200\u2013206 . Gerardo Pardo-Castellote. 2003. OMG Data-Distribution Service: Architectural Overview. In 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings.. 200\u2013206."},{"key":"e_1_3_2_1_32_1","unstructured":"PX4. 2022. Pixhawk 4. https:\/\/docs.px4.io\/master\/en\/flight_controller\/pixhawk4.html \t\t\t\t  PX4. 2022. Pixhawk 4. https:\/\/docs.px4.io\/master\/en\/flight_controller\/pixhawk4.html"},{"key":"e_1_3_2_1_33_1","volume-title":"ICRA workshop on open source software. 3, 5.","author":"Conley Morgan","year":"2009","unstructured":"Quigley, Morgan and Conley , Ken and Gerkey , Brian and Faust , Josh and Foote , Tully and Leibs , Jeremy and Wheeler , Rob and Ng , Andrew Y. 2009 . ROS: an open-source Robot Operating System . In ICRA workshop on open source software. 3, 5. Quigley, Morgan and Conley, Ken and Gerkey, Brian and Faust, Josh and Foote, Tully and Leibs, Jeremy and Wheeler, Rob and Ng, Andrew Y. 2009. ROS: an open-source Robot Operating System. In ICRA workshop on open source software. 3, 5."},{"key":"e_1_3_2_1_34_1","first-page":"46","article-title":"Kalman and Extended Kalman Filters: Concept, Derivation and Properties","volume":"43","author":"Ribeiro Maria Isabel","year":"2004","unstructured":"Maria Isabel Ribeiro . 2004 . Kalman and Extended Kalman Filters: Concept, Derivation and Properties . Institute for Systems and Robotics , 43 (2004), 46 . Maria Isabel Ribeiro. 2004. Kalman and Extended Kalman Filters: Concept, Derivation and Properties. Institute for Systems and Robotics, 43 (2004), 46.","journal-title":"Institute for Systems and Robotics"},{"key":"e_1_3_2_1_35_1","unstructured":"Robotics And Automation News. 2021. US DoD selects Stratom to migrate robotic systems from ROS-1 to ROS-2. https:\/\/roboticsandautomationnews.com\/2021\/08\/23\/us-selects-stratom-to-migrate-robotic-systems-from-ros-1-to-ros-2\/45763\/ \t\t\t\t  Robotics And Automation News. 2021. US DoD selects Stratom to migrate robotic systems from ROS-1 to ROS-2. https:\/\/roboticsandautomationnews.com\/2021\/08\/23\/us-selects-stratom-to-migrate-robotic-systems-from-ros-1-to-ros-2\/45763\/"},{"key":"e_1_3_2_1_36_1","unstructured":"Robotis. 2017. TurtleBot3. https:\/\/www.robotis.us\/turtlebot-3\/ \t\t\t\t  Robotis. 2017. TurtleBot3. https:\/\/www.robotis.us\/turtlebot-3\/"},{"key":"e_1_3_2_1_37_1","unstructured":"Robotis. 2022. XL430-W250 motor specification. https:\/\/emanual.robotis.com\/docs\/en\/dxl\/x\/xl430-w250 \t\t\t\t  Robotis. 2022. XL430-W250 motor specification. https:\/\/emanual.robotis.com\/docs\/en\/dxl\/x\/xl430-w250"},{"key":"e_1_3_2_1_38_1","unstructured":"ROS. 2022. Gazebo. https:\/\/gazebosim.org\/ \t\t\t\t  ROS. 2022. Gazebo. https:\/\/gazebosim.org\/"},{"key":"e_1_3_2_1_39_1","unstructured":"ROS. 2022. MoveIt Motion Planning Framework. https:\/\/moveit.ros.org\/ \t\t\t\t  ROS. 2022. MoveIt Motion Planning Framework. https:\/\/moveit.ros.org\/"},{"key":"e_1_3_2_1_40_1","unstructured":"ROS. 2022. ROS-Industrial. https:\/\/rosindustrial.org\/ \t\t\t\t  ROS. 2022. ROS-Industrial. https:\/\/rosindustrial.org\/"},{"key":"e_1_3_2_1_41_1","unstructured":"ROS. 2022. ROS-M. https:\/\/rosmilitary.org\/ \t\t\t\t  ROS. 2022. ROS-M. https:\/\/rosmilitary.org\/"},{"key":"e_1_3_2_1_42_1","unstructured":"ROS Discourse. 2016. Announcing SROS! Security enhancements for ROS. https:\/\/discourse.ros.org\/t\/announcing-sros-security-enhancements-for-ros\/536 \t\t\t\t  ROS Discourse. 2016. Announcing SROS! Security enhancements for ROS. https:\/\/discourse.ros.org\/t\/announcing-sros-security-enhancements-for-ros\/536"},{"key":"e_1_3_2_1_43_1","unstructured":"ROS.org. 2016. Automatic Testing with ROS. http:\/\/wiki.ros.org\/Quality\/Tutorials\/UnitTesting \t\t\t\t  ROS.org. 2016. Automatic Testing with ROS. http:\/\/wiki.ros.org\/Quality\/Tutorials\/UnitTesting"},{"key":"e_1_3_2_1_44_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Schumilo Sergej","year":"2017","unstructured":"Sergej Schumilo , Cornelius Aschermann , Robert Gawlik , Sebastian Schinzel , and Thorsten Holz . 2017 . kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels . In 26th USENIX Security Symposium (USENIX Security 17) . 167\u2013182. Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, and Thorsten Holz. 2017. kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. In 26th USENIX Security Symposium (USENIX Security 17). 167\u2013182."},{"key":"e_1_3_2_1_45_1","unstructured":"Kostya Serebryany. 2017. OSS-Fuzz-Google\u2019s continuous fuzzing service for open source software. \t\t\t\t  Kostya Serebryany. 2017. OSS-Fuzz-Google\u2019s continuous fuzzing service for open source software."},{"key":"e_1_3_2_1_46_1","volume-title":"AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference (USENIX ATC 12)","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitriy Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference (USENIX ATC 12) . 309\u2013318. Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference (USENIX ATC 12). 309\u2013318."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3023250"},{"key":"e_1_3_2_1_48_1","volume-title":"Trends in the Adoption of Robotic Surgery for Common Surgical Procedures. JAMA network open, 3, 1","author":"Claflin Kyle","year":"2020","unstructured":"Sheetz, Kyle H and Claflin , Jake and Dimick , Justin B. 2020. Trends in the Adoption of Robotic Surgery for Common Surgical Procedures. JAMA network open, 3, 1 ( 2020 ), e1918911\u2013e1918911. Sheetz, Kyle H and Claflin, Jake and Dimick, Justin B. 2020. Trends in the Adoption of Robotic Surgery for Common Surgical Procedures. JAMA network open, 3, 1 (2020), e1918911\u2013e1918911."},{"key":"e_1_3_2_1_49_1","volume-title":"ITM Web of Conferences. 32","author":"Thale Sumegh Pramod","year":"2020","unstructured":"Sumegh Pramod Thale , Mihir Mangesh Prabhu , Pranjali Vinod Thakur , and Pratik Kadam . 2020 . ROS based SLAM implementation for Autonomous navigation using Turtlebot . In ITM Web of Conferences. 32 , 01011. Sumegh Pramod Thale, Mihir Mangesh Prabhu, Pranjali Vinod Thakur, and Pratik Kadam. 2020. ROS based SLAM implementation for Autonomous navigation using Turtlebot. In ITM Web of Conferences. 32, 01011."},{"key":"e_1_3_2_1_50_1","volume-title":"SROS: Securing ROS over the wire, in the graph, and through the kernel. arXiv preprint arXiv:1611.07060.","author":"White Ruffin","year":"2016","unstructured":"Ruffin White , Dr Christensen , I Henrik , and Dr Quigley . 2016 . SROS: Securing ROS over the wire, in the graph, and through the kernel. arXiv preprint arXiv:1611.07060. Ruffin White, Dr Christensen, I Henrik, and Dr Quigley. 2016. SROS: Securing ROS over the wire, in the graph, and through the kernel. arXiv preprint arXiv:1611.07060."},{"key":"e_1_3_2_1_51_1","unstructured":"Zalewski Michal. 2014. American Fuzzy Lop. http:\/\/lcamtuf.coredump.cx\/afl \t\t\t\t  Zalewski Michal. 2014. American Fuzzy Lop. http:\/\/lcamtuf.coredump.cx\/afl"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549164","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549164"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":51,"alternative-id":["10.1145\/3540250.3549164","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549164","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}