A Symbolic Execution Optimization Method for Safety-critical Software System
DAI Yan-jun1, WU Zhi-qiang2, LIU Jie1, LIU Zhao-hui1, CHEN Zhi2, XIAO An-hong2
Computer and Modernization . 2020, (01): 96 .  DOI: 10.3969/j.issn.1006-2475.2020.01.018