WEKO3
アイテム
ランダムテストとシンボリック実行の組み合わせによる網羅率の向上
http://hdl.handle.net/2261/57123
http://hdl.handle.net/2261/57123fe5dbb9f-d20a-44a6-a6ea-6bdd42d77045
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
37136500.pdf (173.3 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-07-29 | |||||
| タイトル | ||||||
| タイトル | ランダムテストとシンボリック実行の組み合わせによる網羅率の向上 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_46ec | |||||
| タイプ | thesis | |||||
| その他のタイトル | ||||||
| その他のタイトル | Improving Coverage by Combining Random Testing and Symbolic Execution | |||||
| 著者 |
横山, 直人
× 横山, 直人 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 12597 | |||||
| 姓名 | Yokoyama, Naoto | |||||
| 著者所属 | ||||||
| 著者所属 | 東京大学大学院工学系研究科電気系工学専攻 | |||||
| 著者所属 | ||||||
| 著者所属 | Department of Electrical Engineering and Information Systems, Graduate School of Engineering, The University of Tokyo | |||||
| 書誌情報 | 発行日 2015-03-24 | |||||
| 学位名 | ||||||
| 学位名 | 修士(工学) | |||||
| 学位 | ||||||
| 値 | master | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2015-03-24 | |||||
