Range Specification Bug Detection in Flight Control System Through Fuzzing-Reference-Cited by-同舟云学术

Range Specification Bug Detection in Flight Control System Through Fuzzing

Author:

Han Ruidong¹^ORCID,Ma Siqi²^ORCID,Li Juanru³^ORCID,Nepal Surya⁴^ORCID,Lo David⁵^ORCID,Ma Zhuo¹^ORCID,Ma JianFeng¹^ORCID

Affiliation:

1. School of Cyber Engineering, Xidian University, Xi’an, China

2. School of Engineering and Information System, University of New South Wales, Sydney, NSW, Australia

3. Zhiyuan College, Shanghai Jiao Tong University, Shanghai, China

4. Commonwealth Scientific and Industrial Research, Sydney, NSW, Australia

5. School of Computing and Information Systems, Singapore Management University, Singapore

Funder

National Natural Science Foundation of China

Major Research Plan of the National Natural Science Foundation of China

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Link

Reference37 articles.

3. Px4—An open source flight control software for drones and other unmanned vehicles,2023

4. LibrePilot: A software suite to control multicopter and other RC-models,2023

5. ArduPilot—Versatile, trusted, open autopilot software for drones and other autonomous systems,2023

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exploration of Failures in an sUAS Controller Software Product Line;28th ACM International Systems and Software Product Line Conference;2024-09-02