A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution
- 期刊名称IEEE Access
- 作者Hu, Yan; Kong, Weiqiang; Ren, Yizhi; Choo, Kim-Kwang Raymond
- 卷第5卷
- 电子ISSN2169-3536
- 文件大小2066.62KB
- 发表时间2017
- DOI10.1109/ACCESS.2017.2706943
- 页码8752-8762