SCSE: Boosting Symbolic Execution via State Concretization
['Huibin WANG', 'Chunqiang LI', 'Jianyi MENG', 'Xiaoyan XIANG']
/
IEICE Transactions in Information and Systems
/ Vol. 102
/ No. 8
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？