一种安全关键软件系统符号执行优化方法
戴延军1，吴志强2，刘杰1，刘朝晖1，陈智2，肖安红2
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
计算机与现代化
.
2020, (01): 96
.
DOI: 10.3969/j.issn.1006-2475.2020.01.018
