Huibin Wang, Chunqiang Li, Jianyi Meng, Xiaoyan Xiang. SCSE: Boosting Symbolic Execution via State Concretization. IEICE Transactions, 102-D(8):1506-1516, 2019. [doi]
@article{WangLMX19,
title = {SCSE: Boosting Symbolic Execution via State Concretization},
author = {Huibin Wang and Chunqiang Li and Jianyi Meng and Xiaoyan Xiang},
year = {2019},
url = {http://search.ieice.org/bin/summary.php?id=e102-d_8_1506},
researchr = {https://researchr.org/publication/WangLMX19},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {102-D},
number = {8},
pages = {1506-1516},
}