@phdthesis{oai:ir.soken.ac.jp:00005381,
 author = {LAMRAOUI, Mohamed and ラムラウイ, モハメド and LAMRAOUI, Mohamed},
 month = {2016-06-14, 2016-11-14},
 note = {application/pdf, 総研大甲第1837号},
 school = {総合研究大学院大学},
 title = {Formula-based Fault Localization for Imperative Programs with Multiple Faults（複数欠陥のある命令型プログラムを対象とした論理式ベース欠陥箇所特定方式に関する研究）},
 year = {}
}