SCSE: Boosting Symbolic Execution via State Concretization

Huibin WANG  Chunqiang LI  Jianyi MENG  Xiaoyan XIANG  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/04/26
DOI: 10.1587/transinf.2018EDP7298
Full Text: PDF(474KB)