Formula-based Fault Localization for Imperative Programs with Multiple Faults Formula-based Fault Localization for Imperative Programs with Multiple Faults(複数欠陥のある命令型プログラムを対象とした論理式ベース欠陥箇所特定方式に関する研究)
この論文にアクセスする
著者
書誌事項
- タイトル
-
Formula-based Fault Localization for Imperative Programs with Multiple Faults
- タイトル別名
-
Formula-based Fault Localization for Imperative Programs with Multiple Faults(複数欠陥のある命令型プログラムを対象とした論理式ベース欠陥箇所特定方式に関する研究)
- 著者名
-
LAMRAOUI, Mohamed
- 著者名
-
ラムラウイ, モハメド
- 著者名
-
Mohamed, LAMRAOUI
- 学位授与大学
-
総合研究大学院大学
- 取得学位
-
博士(情報学)
- 学位授与番号
-
甲第1837号
- 学位授与年月日
-
2016-03-24
注記・抄録
identifier:総研大甲第1837号
application/pdf
総研大甲第1837号