{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:02:20Z","timestamp":1771466540798,"version":"3.50.1"},"reference-count":83,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/sp46214.2022.9833567","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T19:28:05Z","timestamp":1658950085000},"page":"1826-1844","source":"Crossref","is-referenced-by-count":11,"title":["PGPatch: Policy-Guided Logic Bug Patching for Robotic Vehicles"],"prefix":"10.1109","author":[{"given":"Hyungsub","family":"Kim","sequence":"first","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muslum Ozgur","family":"Ozmen","sequence":"additional","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z. Berkay","family":"Celik","sequence":"additional","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Bianchi","sequence":"additional","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongyan","family":"Xu","sequence":"additional","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","year":"2021","journal-title":"Battery fail-safe bug"},{"key":"ref57","year":"2021","journal-title":"NPS"},{"key":"ref12","year":"2021","journal-title":"AutoTest"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-019-00264-4"},{"key":"ref59","year":"2021","journal-title":"Paparazzi uas"},{"key":"ref14","year":"2021","journal-title":"Betaflight"},{"key":"ref58","year":"2021","journal-title":"Paparazzi parameter list xml"},{"key":"ref53","year":"2021","journal-title":"Mavlink"},{"key":"ref52","doi-asserted-by":"crossref","DOI":"10.1007\/s10664-016-9470-4","article-title":"Automatic repair of real bugs in java: A large-scale experiment on the defects4j dataset","author":"martinez","year":"2017","journal-title":"Empirical Software Engineering"},{"key":"ref11","year":"2021","journal-title":"ArduPilot Documentation"},{"key":"ref55","year":"2021","journal-title":"MultiWii"},{"key":"ref10","year":"2021","journal-title":"Ardupilot chat channel"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417249"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00065"},{"key":"ref19","year":"2021","journal-title":"Copy code from stack overflow"},{"key":"ref18","year":"2021","journal-title":"Cleanflight-"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177730491"},{"key":"ref50","year":"2021","journal-title":"LLVM"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781148"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9577-2"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1229285.1267001"},{"key":"ref47","year":"2021","journal-title":"LibrePilot"},{"key":"ref42","article-title":"From control model to program: Investigating robotic aerial vehicle accidents with MAYDAY","author":"kim","year":"2020","journal-title":"Proceedings of the USENIX security Symposium (USENIX SEC)"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24096"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2863237"},{"key":"ref43","article-title":"RVFUZZER: finding input validation bugs in robotic vehicles through control-guided testing","author":"kim","year":"2019","journal-title":"Proceedings of the USENIX security Symposium (USENIX SEC)"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8667970"},{"key":"ref8","year":"2021","journal-title":"Ardupilot Project"},{"key":"ref7","year":"2021","journal-title":"Ardupilot parameter list xml"},{"key":"ref9","year":"2021","journal-title":"Ardupilot blog"},{"key":"ref4","year":"2021","journal-title":"Add yaw speed filter"},{"key":"ref3","year":"2021","journal-title":"Add vertical emergency braking"},{"key":"ref6","year":"2021","journal-title":"Apm sitl"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10431-7_9"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00043"},{"key":"ref81","article-title":"All your gps are belong to us: Towards stealthy manipulation of road navigation systems","author":"zeng","year":"2018","journal-title":"Proceedings of the USENIX security Symposium (USENIX SEC)"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3411838"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref35","year":"2021","journal-title":"Inavx"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/1735223.1735249"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00071"},{"key":"ref78","year":"2021","journal-title":"Update math functions"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"ref36","year":"2021","journal-title":"jMAVSim"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227141"},{"key":"ref30","year":"2021","journal-title":"Hackflight gcs"},{"key":"ref74","article-title":"Common pitfalls in writing about security and privacy human subjects experiments, and how to avoid them","author":"schechter","year":"2013","journal-title":"Microsoft"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.43"},{"key":"ref77","year":"2021","journal-title":"Tilt-bug"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010767"},{"key":"ref76","year":"2021","journal-title":"Tau Labs"},{"key":"ref2","year":"2021","journal-title":"Add new mode"},{"key":"ref1","year":"2021","journal-title":"Add arming check for windvane"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.05.005"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"ref70","year":"2021","journal-title":"Pyparsing"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2016.7502939"},{"key":"ref72","article-title":"Toxic code snippets on stack overflow","author":"ragkhitwetsagul","year":"2019","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2018.05.002"},{"key":"ref68","year":"2021","journal-title":"Px4-documentation"},{"key":"ref23","year":"2021","journal-title":"dronin"},{"key":"ref67","year":"2021","journal-title":"Px4 chat channel"},{"key":"ref26","article-title":"A systematic framework to generate invariants for anomaly detection in industrial control systems.” in Proceedings of the Network & Distributed System Security Symposium (NDSS)","author":"feng","year":"2019"},{"key":"ref25","year":"2021","journal-title":"Ardupilot fence"},{"key":"ref69","year":"2021","journal-title":"Pymavlink"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"ref64","year":"2021","journal-title":"Px4 drone autopilot"},{"key":"ref63","year":"2021","journal-title":"Pprzlink"},{"key":"ref22","year":"2021","journal-title":"List of flight controller firmware projects"},{"key":"ref66","year":"2021","journal-title":"Px4 blog"},{"key":"ref21","year":"2021","journal-title":"Open source drone software projects"},{"key":"ref65","year":"2021","journal-title":"Px4 parameter list xml"},{"key":"ref28","year":"2021","journal-title":"Gps-failsafe"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570031"},{"key":"ref29","year":"2021","journal-title":"Hackflight"},{"key":"ref60","year":"2021","journal-title":"Paparazzi chat channel"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_31"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"}],"event":{"name":"2022 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2022,5,22]]},"end":{"date-parts":[[2022,5,26]]}},"container-title":["2022 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9833550\/9833558\/09833567.pdf?arnumber=9833567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:20:28Z","timestamp":1699485628000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833567\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":83,"URL":"https:\/\/doi.org\/10.1109\/sp46214.2022.9833567","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}