文献
J-GLOBAL ID:201902271043193604
整理番号:19A0516762
効率的二値レベル動的記号実行のための分岐履歴指向発見的探索【JST・京大機械翻訳】
A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution
著者 (4件):
Hu Yan
(School of Software, Dalian University of Technology, Dalian, China)
,
Kong Weiqiang
(School of Software, Dalian University of Technology, Dalian, China)
,
Ren Yizhi
(School of Cyberspace, Hangzhou Dianzi University, Hangzhou, China)
,
Choo Kim-Kwang Raymond
(Department of Information Systems and Cyber Security, The University of Texas at San Antonio, San Antonio, TX, USA)
資料名:
IEEE Access
(IEEE Access)
巻:
5
ページ:
8752-8762
発行年:
2017年
JST資料番号:
W2422A
ISSN:
2169-3536
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)