Jump to main content
博士論文

Formula-based Fault Localization for Imperative Programs with Multiple Faults(複数欠陥のある命令型プログラムを対象とした論理式ベース欠陥箇所特定方式に関する研究)

Icons representing 博士論文

Formula-based Fault Localization for Imperative Programs with Multiple Faults(複数欠陥のある命令型プログラムを対象とした論理式ベース欠陥箇所特定方式に関する研究)

Material type
博士論文
Author
LAMRAOUI, Mohamedほか
Publisher
-
Publication date
-
Material Format
Digital
Capacity, size, etc.
-
Name of awarding university/degree
総合研究大学院大学,博士(情報学)
View All

Notes on use

Note (General):

application/pdf総研大甲第1837号

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • SOKENDAI Repository (The Graduate University for Advanced Studies)

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
博士論文
Author/Editor
LAMRAOUI, Mohamed
ラムラウイ, モハメド
Alternative Title
Formula-based Fault Localization for Imperative Programs with Multiple Faults
Degree grantor/type
総合研究大学院大学
Date Granted
2016-03-24
Dissertation Number
甲第1837号
Degree Type
博士(情報学)
Text Language Code
eng