Weizhong Qiang, Yuehua Liao, Guozhong Sun, Laurence T. Yang, Deqing Zou, Hai Jin. Patch-Related Vulnerability Detection Based on Symbolic Execution. IEEE Access, 5:20777-20784, 2017. [doi]
@article{QiangLSYZJ17,
title = {Patch-Related Vulnerability Detection Based on Symbolic Execution},
author = {Weizhong Qiang and Yuehua Liao and Guozhong Sun and Laurence T. Yang and Deqing Zou and Hai Jin},
year = {2017},
doi = {10.1109/ACCESS.2017.2676161},
url = {https://doi.org/10.1109/ACCESS.2017.2676161},
researchr = {https://researchr.org/publication/QiangLSYZJ17},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {5},
pages = {20777-20784},
}