Zhaokun Deng, Yuliang Lu, Kailong Zhu, Hui Huang. 基于符号执行技术的网络程序漏洞检测系统 (Symbolic Execution Technology Based Defect Detection System for Network Programs). 计算机科学, 45(11A):325-329, 2018. [doi]
@article{DengLZH18,
title = {基于符号执行技术的网络程序漏洞检测系统 (Symbolic Execution Technology Based Defect Detection System for Network Programs)},
author = {Zhaokun Deng and Yuliang Lu and Kailong Zhu and Hui Huang},
year = {2018},
url = {http://www.jsjkx.com/EN/Y2018/V45/I11A/325},
researchr = {https://researchr.org/publication/DengLZH18},
cites = {0},
citedby = {0},
journal = {计算机科学},
volume = {45},
number = {11A},
pages = {325-329},
}