Yue Wang, Hao Sun, Qingkai Zeng
Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection
SEKE, 2015.
@inproceedings{SEKE-2015-WangSZ, author = "Yue Wang and Hao Sun and Qingkai Zeng", booktitle = "{Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering}", doi = "10.18293/SEKE2015-94", isbn = "1-891706-35-7", pages = "536--539", publisher = "{KSI Research Inc. and Knowledge Systems Institute Graduate School}", title = "{Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection}", year = 2015, }