文献
J-GLOBAL ID:201902259159347645
整理番号:19A0517588
充足不能依存経路に基づくガラスボックスデバッグアルゴリズム【JST・京大機械翻訳】
Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths
著者 (3件):
Zhang Yu
(College of Computer Science and Technology, Jilin University, Changchun, China)
,
Ouyang Dantong
(College of Computer Science and Technology, Jilin University, Changchun, China)
,
Ye Yuxin
(College of Computer Science and Technology, Jilin University, Changchun, China)
資料名:
IEEE Access
(IEEE Access)
巻:
5
ページ:
18725-18736
発行年:
2017年
JST資料番号:
W2422A
ISSN:
2169-3536
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)