産業用ソフトウェアに対する効率的なミューテーション解析

Persistent ID (NDL): info:ndljp/pid/13343035

Material type: 博士論文

Author: 徳本, 晋

Publisher: -

Publication date: 2021-12-23

Material Format: Digital

Capacity, size, etc.: -

Name of awarding university/degree: 東京大学,博士(情報理工学)

View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：: 学位の種別: 課程博士審査委員会委員 : （主査）東京大学教授萩谷昌己, 東京大学教授小林直樹, 東京大学教授宮尾祐介, 国立情報学研究所教授高野明彦, 東京大学准教授加藤真平

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Holdings of Libraries in Japan

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

List of Cooperating Institutions and Databases

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

Utokyo Repository
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).
Utokyo Repository

Search by Bookstore

Read in Disability Resources

Other Services
- テキストデータ check it on 国立国会図書館デジタルコレクション

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: 博士論文
Title: 産業用ソフトウェアに対する効率的なミューテーション解析
Author/Editor: 徳本, 晋
Author Heading: 徳本, 晋
Publication Date: 2021-12-23
Publication Date (W3CDTF): 2021-12-23
Alternative Title: Efficient Mutation Analysis for Industrial Software
Degree grantor/type: 東京大学
Date Granted: 2021-12-23
Date Granted (W3CDTF): 2021-12-23
Dissertation Number: 甲第38822号
Degree Type: 博士(情報理工学)
Text Language Code: eng
Target Audience: 一般
Note (General): 学位の種別: 課程博士
審査委員会委員 : （主査）東京大学教授萩谷昌己, 東京大学教授小林直樹, 東京大学教授宮尾祐介, 国立情報学研究所教授高野明彦, 東京大学准教授加藤真平
DOI: 10.15083/0002008800
https://doi.org/10.15083/0002008800
Persistent ID (NDL): info:ndljp/pid/13343035
https://dl.ndl.go.jp/pid/13343035
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
Acquisition Basis: 博士論文（自動収集）
Date Accepted (W3CDTF): 2024-03-01T22:05:21+09:00
Format (IMT): application/pdf
Access Restrictions: 国立国会図書館内限定公開
Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
Availability of remote photoduplication service: 可
Periodical Title (URI): https://doi.org/10.15083/0002008800
http://hdl.handle.net/2261/0002008800
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp