Yan Hu, Weiqiang Kong, Yizhi Ren, Kim-Kwang Raymond Choo. A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution. IEEE Access, 5:8752-8762, 2017. [doi]
@article{HuKRC17,
title = {A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution},
author = {Yan Hu and Weiqiang Kong and Yizhi Ren and Kim-Kwang Raymond Choo},
year = {2017},
doi = {10.1109/ACCESS.2017.2706943},
url = {https://doi.org/10.1109/ACCESS.2017.2706943},
researchr = {https://researchr.org/publication/HuKRC17},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {5},
pages = {8752-8762},
}