{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:17:24Z","timestamp":1770279444669,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"The?Foundation?for?Innovative?Research?Groups?of?the?National?Natural?Science?Foundation?of?China","award":["62121001"],"award-info":[{"award-number":["62121001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510084","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"462-473","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Control parameters considered harmful"],"prefix":"10.1145","author":[{"given":"Ruidong","family":"Han","sequence":"first","affiliation":[{"name":"Xidian University, Xian, China"}]},{"given":"Chao","family":"Yang","sequence":"additional","affiliation":[{"name":"Xidian University, Xian, China"}]},{"given":"Siqi","family":"Ma","sequence":"additional","affiliation":[{"name":"The University of New South Wales, Canberra, Sydney, Australia"}]},{"given":"JiangFeng","family":"Ma","sequence":"additional","affiliation":[{"name":"Xidian University, Xian, China"}]},{"given":"Cong","family":"Sun","sequence":"additional","affiliation":[{"name":"Xidian University, Xian, China"}]},{"given":"Juanru","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}]},{"given":"Elisa","family":"Bertino","sequence":"additional","affiliation":[{"name":"Purdue University"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Demo Video 2021. [n.d.]. Crash. https:\/\/youtu.be\/TZFcyl5d2mk."},{"key":"e_1_3_2_1_2_1","unstructured":"Demo Video 2021. [n.d.]. Deviation with flying away. https:\/\/youtu.be\/0buFPNhkLJc."},{"key":"e_1_3_2_1_3_1","unstructured":"Demo Video 2021. [n.d.]. Deviation with overshoot. https:\/\/youtu.be\/imsBGaX-8ug."},{"key":"e_1_3_2_1_4_1","unstructured":"Demo Video 2021. [n.d.]. Flight Freeze. https:\/\/youtu.be\/g79lsTp6H4g."},{"key":"e_1_3_2_1_5_1","unstructured":"Demo Video 2021. [n.d.]. Post-Launch Privilege Escalation Leads to Crash. https:\/\/youtu.be\/B_WULGY-Dbg."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2016.7550882"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317913"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2018.00026"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00093"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00052"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2906161"},{"key":"e_1_3_2_1_12_1","volume-title":"Mean shift, mode seeking, and clustering","author":"Cheng Yizong","year":"1995","unstructured":"Yizong Cheng. 1995. Mean shift, mode seeking, and clustering. IEEE transactions on pattern analysis and machine intelligence 17, 8 (1995), 790--799."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314648"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243752"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1162\/089976600300015015"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2007.09.007"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 29th USENIX Security Symposium (USENIX Security). USENIX Association, 913--930","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 the 29th USENIX Security Symposium (USENIX Security). USENIX Association, 913--930."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 28th USENIX Security Symposium (USENIX Security). USENIX Association, 425--442","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 the 28th USENIX Security Symposium (USENIX Security). USENIX Association, 425--442."},{"key":"e_1_3_2_1_21_1","volume-title":"Optimum Binary Search Trees. Acta informatica 1, 1","author":"Knuth Donald E.","year":"1971","unstructured":"Donald E. Knuth. 1971. Optimum Binary Search Trees. Acta informatica 1, 1 (1971), 14--25."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00148"},{"key":"e_1_3_2_1_23_1","volume-title":"Orchestration or automation: authentication flaw detection in android apps","author":"Ma Siqi","year":"2021","unstructured":"Siqi Ma, Juanru Li, Surya Nepal, Diet Ostry, David Lo, Sanjay Jha, Robert H Deng, and Elisa Bertino. 2021. Orchestration or automation: authentication flaw detection in android apps. IEEE Transactions on Dependable and Secure Computing (2021)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980229"},{"key":"e_1_3_2_1_25_1","volume-title":"Playing atari with deep reinforcement learning. arXiv preprint arXiv:1312.5602","author":"Mnih Volodymyr","year":"2013","unstructured":"Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Alex Graves, Ioannis Antonoglou, Daan Wierstra, and Martin Riedmiller. 2013. Playing atari with deep reinforcement learning. arXiv preprint arXiv:1312.5602 (2013)."},{"key":"e_1_3_2_1_26_1","volume-title":"Zhong Shao, Meng qi Liu, and Hao Chen.","author":"Zhu Xiao","year":"2019","unstructured":"Xiao rui Zhu, Chen Liang, Zhen guo Yin, Zhong Shao, Meng qi Liu, and Hao Chen. 2019. A new hierarchical software architecture towards safety-critical aspects of a drone system. arXiv:1905.06768 [cs.SE]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738703"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI). IEEE, 1643--1647","author":"Selvin Sreelekshmy","unstructured":"Sreelekshmy Selvin, R Vinayakumar, E. A Gopalakrishnan, Vijay Krishna Menon, and K. P. Soman. 2017. Stock price prediction using LSTM, RNN and CNN-sliding window model. In Proceedings of the 2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI). IEEE, 1643--1647."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Shital Shah Debadeepta Dey Chris Lovett and Ashish Kapoor. 2017. AirSim: High-fidelity visual and physical simulation for autonomous vehicles. In Field and Service Robotics. arXiv:arXiv:1705.05065","DOI":"10.1007\/978-3-319-67361-5_40"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00022"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00052"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039239.2039242"},{"key":"e_1_3_2_1_33_1","unstructured":"ArduPilot Team. [n.d.]. Autopilot Hardware Options. https:\/\/ardupilot.org\/copter\/docs\/common-autopilots.html#closed-hardware."},{"key":"e_1_3_2_1_34_1","volume-title":"SparkFun autonomous vehicle competition","author":"Team ArduPilot","year":"2013","unstructured":"ArduPilot Team. [n.d.]. SparkFun autonomous vehicle competition 2013. https:\/\/avc.sparkfun.com\/2013."},{"key":"e_1_3_2_1_35_1","unstructured":"ArduPilot Dev Team. [n.d.]. Ardupilot - Versatile Trusted Open Autopilot software for drones and other autonomous systems. https:\/\/ardupilot.org\/."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2008.930649"},{"key":"e_1_3_2_1_37_1","volume-title":"A genetic algorithm tutorial. Statistics and computing 4, 2","author":"Whitley Darrell","year":"1994","unstructured":"Darrell Whitley. 1994. A genetic algorithm tutorial. Statistics and computing 4, 2 (1994), 65--85."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/PAC.2017.10"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:23Z","timestamp":1750183823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510084"}},"subtitle":["detecting range specification bugs in drone configuration modules via learning-guided search"],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":38,"alternative-id":["10.1145\/3510003.3510084","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510084","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}