基于输入约束的符号执行优化
汪孙律, 林渝淇, 杨秋松, 李明树
Symbolic execution optimization method based on input constraint
Sunlyu WANG, Yuqi LIN, Qiusong YANG, Mingshu LI
通信学报 . 2019, (3): 19 -27 .  DOI: 10.11959/j.issn.1000-436x.2019062