{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:43:54Z","timestamp":1772045034109,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,4]],"date-time":"2024-11-04T00:00:00Z","timestamp":1730678400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"The Affiliated Institute of ETRI"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,4]]},"DOI":"10.1145\/3666025.3699350","type":"proceedings-article","created":{"date-parts":[[2024,11,4]],"date-time":"2024-11-04T18:48:26Z","timestamp":1730746106000},"page":"450-463","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["LTA: Control-Driven UAV Testing and Bug Localization with Flight Record Decomposition"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-0552-0682","authenticated-orcid":false,"given":"Changyul","family":"Lee","sequence":"first","affiliation":[{"name":"The Pennsylvania State University, University Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2623-4086","authenticated-orcid":false,"given":"Deokjin","family":"Kim","sequence":"additional","affiliation":[{"name":"The Affiliated Institute of ETRI, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0464-8503","authenticated-orcid":false,"given":"Giyeol","family":"Kim","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University, University Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6129-1212","authenticated-orcid":false,"given":"Sangwook","family":"Lee","sequence":"additional","affiliation":[{"name":"The Affiliated Institute of ETRI, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1023-3417","authenticated-orcid":false,"given":"Taegyu","family":"Kim","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University, University Park, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. ROS - Robot Operating System. https:\/\/www.ros.org."},{"key":"e_1_3_2_1_2_1","unstructured":"2020. Wind Plugin. https:\/\/github.com\/hongjun9\/CPinconsistency\/tree\/master\/plugins."},{"key":"e_1_3_2_1_3_1","unstructured":"2021. ArduPilot Parameter List. http:\/\/ardupilot.org\/copter\/docs\/parameters.html."},{"key":"e_1_3_2_1_4_1","unstructured":"2021. DJI Parameter Index. https:\/\/dji.retroroms.info\/howto\/parameterindex."},{"key":"e_1_3_2_1_5_1","unstructured":"2021. FLIR's Black Hornet is the World's Smallest Military Drone. https:\/\/flymotionus.com\/2021\/11\/05\/flirs-black-hornet-is-the-worlds-smallest-military-drone."},{"key":"e_1_3_2_1_6_1","unstructured":"2021. PX4 Parameter List. https:\/\/dev.px4.io\/en\/advanced\/parameterreference.html."},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Flight Review. https:\/\/review.px4.io\/browse."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Ilibipt - an Intel(R) Processor Trace decoder library. https:\/\/github.com\/intel\/libipt."},{"key":"e_1_3_2_1_9_1","volume-title":"Intel 64 and IA-32 Architectures Software Developer's Manual","unstructured":"2022. Intel 64 and IA-32 Architectures Software Developer's Manual Volume 3C: System Programming Guide, Part 3. https:\/\/cdrdv2.intel.com\/v1\/dl\/getContent\/671506."},{"key":"e_1_3_2_1_10_1","unstructured":"2022. libdwarf a library for reading DWARF2 and later DWARF. https:\/\/github.com\/davea42\/libdwarf-code."},{"key":"e_1_3_2_1_11_1","unstructured":"2022. LogAnalyzer: Diagnosing problems using Logs for ArduPilot. http:\/\/ardupilot.org\/copter\/docs\/common-diagnosing-problems-using-logs.html."},{"key":"e_1_3_2_1_12_1","unstructured":"2022. MAVLink Micro Air Vehicle Communication Protocol. https:\/\/mavlink.io."},{"key":"e_1_3_2_1_13_1","unstructured":"2022. QGC - QGroundControl - Drone Control. http:\/\/qgroundcontrol.com."},{"key":"e_1_3_2_1_14_1","unstructured":"2023. DeltaQuad Pro VTOL UAV. https:\/\/www.deltaquad.com."},{"key":"e_1_3_2_1_15_1","unstructured":"2023. Draco. https:\/\/www.uvify.com\/draco."},{"key":"e_1_3_2_1_16_1","unstructured":"2023. H520E\/520 - Yuneec. https:\/\/us.yuneec.com\/h520-series."},{"key":"e_1_3_2_1_17_1","unstructured":"2023. Whole Program LLVM in Go. https:\/\/github.com\/SRI-CSL\/gllvm."},{"key":"e_1_3_2_1_18_1","unstructured":"2024. ArduPilot. http:\/\/ardupilot.org."},{"key":"e_1_3_2_1_19_1","unstructured":"2024. PX4 Pro Open Source Autopilot - Open Source for Drones. http:\/\/px4.io."},{"key":"e_1_3_2_1_20_1","unstructured":"2024. Welcome to Paparazzi UAV. https:\/\/wiki.paparazziuav.org."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2019.8798337"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3607199.3607226"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2016.7502649"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397376"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2022.24244"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.diin.2017.06.013"},{"key":"e_1_3_2_1_28_1","unstructured":"Ganesh Devarajan. 2007. Unraveling SCADA protocols: Using sulley fuzzer. In Defon 15 hacking conference."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.09.018"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3488028"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 29th USENIX Security Symposium (USENIX Security).","author":"Feng Bo","year":"2020","unstructured":"Bo Feng, Alejandro Mera, and Long Lu. 2020. P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling. In Proceedings of the 29th USENIX Security Symposium (USENIX Security)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095826"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1953.6371346"},{"key":"e_1_3_2_1_34_1","volume-title":"Formal verification and risk assessment of an implementation of the OPC-UA Protocol. Universit' a degli Studi di Verona","author":"Guerra Enrico","year":"2022","unstructured":"Enrico Guerra, Mariano Ceccato, and Marco Rocchetto. 2022. Formal verification and risk assessment of an implementation of the OPC-UA Protocol. Universit' a degli Studi di Verona (2022)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/EIT.2016.7535242"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00029"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAS.2017.7894059"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23107"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24096"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549164"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498361.3538938"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of 29th USENIX Security Symposium (USENIX Security).","author":"Kim Taegyu","year":"2020","unstructured":"Taegyu Kim, Chung Hwan Kim, Altay Ozen, Fan Fei, Zhan Tu, Xiangyu Zhang, Xinyan Deng, Dave (Jing) Tian, and Dongyan Xu. 2020. From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY. In Proceedings of 29th USENIX Security Symposium (USENIX Security)."},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of 28th USENIX Security Symposium (USENIX Security).","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 Proceedings of 28th USENIX Security Symposium (USENIX Security)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2863237"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-021-00087-5"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510133"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534385"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967693"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.31577\/cai_2019_5_1149"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2022.3155072"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2935620.2935630"},{"key":"e_1_3_2_1_55_1","volume-title":"Hacking a Professional Drone. Blackhat ASIA","author":"Rodday Nils","year":"2016","unstructured":"Nils Rodday. 2016. Hacking a Professional Drone. Blackhat ASIA (2016)."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3149371"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2017.2675913"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.29007\/hggx"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of the 30th USENIX Security Symposium (USENIX Security).","author":"Tychalas Dimitrios","year":"2021","unstructured":"Dimitrios Tychalas, Hadjer Benkraouda, and Michail Maniatakos. 2021. ICSFuzz: Manipulating I\/Os and Repurposing Binary Code to Enable Instrumented Fuzzing in ICS Control Applications. In Proceedings of the 30th USENIX Security Symposium (USENIX Security)."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRev.36.823"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180237"},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the 2016 IEEE International conference on smart grid communications (SmartGridComm). 557--563","author":"Yoo Hyunguk","year":"2016","unstructured":"Hyunguk Yoo and Taeshik Shon. 2016. Grammar-based adaptive fuzzing: Evaluation on SCADA modbus protocol. In Proceedings of the 2016 IEEE International conference on smart grid communications (SmartGridComm). 557--563."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2012.10.064"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468610"},{"key":"e_1_3_2_1_66_1","volume-title":"Proceedings of the 30th USENIX Security Symposium (USENIX Security).","author":"Zhou Wei","year":"2021","unstructured":"Wei Zhou, Le Guan, Peng Liu, and Yuqing Zhang. 2021. Automatic Firmware Emulation through Invalidity-guided Knowledge Inference. In Proceedings of the 30th USENIX Security Symposium (USENIX Security)."}],"event":{"name":"SenSys '24: 22nd ACM Conference on Embedded Networked Sensor Systems","location":"Hangzhou China","acronym":"SenSys '24","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems","SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 22nd ACM Conference on Embedded Networked Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666025.3699350","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666025.3699350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:10Z","timestamp":1750295890000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666025.3699350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,4]]},"references-count":66,"alternative-id":["10.1145\/3666025.3699350","10.1145\/3666025"],"URL":"https:\/\/doi.org\/10.1145\/3666025.3699350","relation":{},"subject":[],"published":{"date-parts":[[2024,11,4]]},"assertion":[{"value":"2024-11-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}