Survey of Airborne Software Test and Verification Methods for Airworthiness Standards
TAN Lijuan, ZHENG Wei, LIU Youlin, FAN Xin, YANG Fengyu
Computer Engineering and Applications . 2021, (15): 9 -22 .  DOI: 10.3778/j.issn.1002-8331.2103-0411