{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T16:10:35Z","timestamp":1775146235605,"version":"3.50.1"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100010903","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62232013"],"award-info":[{"award-number":["62232013"]}],"id":[{"id":"10.13039\/501100010903","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010905","name":"Major Research Plan of the National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["92267204"],"award-info":[{"award-number":["92267204"]}],"id":[{"id":"10.13039\/501100010905","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010905","name":"Major Research Plan of the National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["92167203"],"award-info":[{"award-number":["92167203"]}],"id":[{"id":"10.13039\/501100010905","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302363"],"award-info":[{"award-number":["62302363"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1109\/tse.2024.3354739","type":"journal-article","created":{"date-parts":[[2024,1,17]],"date-time":"2024-01-17T18:25:38Z","timestamp":1705515938000},"page":"461-473","source":"Crossref","is-referenced-by-count":12,"title":["Range Specification Bug Detection in Flight Control System Through Fuzzing"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6859-6005","authenticated-orcid":false,"given":"Ruidong","family":"Han","sequence":"first","affiliation":[{"name":"School of Cyber Engineering, Xidian University, Xi’an, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3479-5713","authenticated-orcid":false,"given":"Siqi","family":"Ma","sequence":"additional","affiliation":[{"name":"School of Engineering and Information System, University of New South Wales, Sydney, NSW, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7978-595X","authenticated-orcid":false,"given":"Juanru","family":"Li","sequence":"additional","affiliation":[{"name":"Zhiyuan College, Shanghai Jiao Tong University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3289-6599","authenticated-orcid":false,"given":"Surya","family":"Nepal","sequence":"additional","affiliation":[{"name":"Commonwealth Scientific and Industrial Research, Sydney, NSW, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4367-7201","authenticated-orcid":false,"given":"David","family":"Lo","sequence":"additional","affiliation":[{"name":"School of Computing and Information Systems, Singapore Management University, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6023-2864","authenticated-orcid":false,"given":"Zhuo","family":"Ma","sequence":"additional","affiliation":[{"name":"School of Cyber Engineering, Xidian University, Xi’an, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4251-1143","authenticated-orcid":false,"given":"JianFeng","family":"Ma","sequence":"additional","affiliation":[{"name":"School of Cyber Engineering, Xidian University, Xi’an, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2012.12.004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2011.6005806"},{"key":"ref3","article-title":"Px4\u2014An open source flight control software for drones and other unmanned vehicles","year":"2023"},{"key":"ref4","article-title":"LibrePilot: A software suite to control multicopter and other RC-models","year":"2023"},{"key":"ref5","article-title":"ArduPilot\u2014Versatile, trusted, open autopilot software for drones and other autonomous systems","year":"2023"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00052"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314648"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"ref10","first-page":"425","article-title":"RVFuzzer: Finding input validation bugs in robotic vehicles through control-guided testing","volume-title":"Proc. 28th USENIX Secur. Symp. (USENIX Secur.)","author":"Kim","year":"2019"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510084"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF00175354"},{"key":"ref13","volume-title":"Deviation With Overshoot","year":"2022"},{"key":"ref14","volume-title":"Deviation With Flying Away","year":"2022"},{"key":"ref15","volume-title":"Flight Freeze","year":"2022"},{"key":"ref16","volume-title":"Crash","year":"2022"},{"key":"ref17","volume-title":"Post-Launch Privilege Escalation Leads to Crash","year":"2022"},{"key":"ref18","article-title":"SparkFun autonomous vehicle competition 2013","year":"2023"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1162\/089976600300015015"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2016.7550882"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317913"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCI.2017.8126078"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2008.930649"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3068335"},{"key":"ref25","article-title":"Autopilot hardware options","year":"2023"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980229"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67361-5_40"},{"key":"ref28","article-title":"jMAVSim: A simple multirotor\/quad simulator","year":"2023"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243752"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2007.09.007"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738703"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00052"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/PAC.2017.10"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00093"},{"key":"ref35","article-title":"Playing Atari with deep reinforcement learning","author":"Mnih","year":"2013"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2018.00026"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10473597\/10401946.pdf?arnumber=10401946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T13:24:21Z","timestamp":1711459461000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10401946\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":37,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3354739","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3]]}}}