{"created":"2021-03-01T06:22:51.559833+00:00","id":6138,"links":{},"metadata":{"_buckets":{"deposit":"683abdc9-814f-4aa1-9246-1cb45174e5c4"},"_deposit":{"id":"6138","owners":[],"pid":{"revision_id":0,"type":"depid","value":"6138"},"status":"published"},"_oai":{"id":"oai:repository.dl.itc.u-tokyo.ac.jp:00006138","sets":["6:209:271","9:233:234"]},"item_7_alternative_title_1":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Improving Coverage by Combining Random Testing and Symbolic Execution"}]},"item_7_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2015-03-24","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_7_date_granted_25":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2015-03-24"}]},"item_7_degree_name_20":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"修士(工学)"}]},"item_7_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"12597","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Yokoyama, Naoto"}]}]},"item_7_select_21":{"attribute_name":"学位","attribute_value_mlt":[{"subitem_select_item":"master"}]},"item_7_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学大学院工学系研究科電気系工学専攻"},{"subitem_text_value":"Department of Electrical Engineering and Information Systems, Graduate School of Engineering, The University of Tokyo"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"横山, 直人"}],"nameIdentifiers":[{"nameIdentifier":"12596","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-06-01"}],"displaytype":"detail","filename":"37136500.pdf","filesize":[{"value":"173.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"37136500.pdf","url":"https://repository.dl.itc.u-tokyo.ac.jp/record/6138/files/37136500.pdf"},"version_id":"e85314ab-1076-48ea-82d8-0a3019c9c202"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"ランダムテストとシンボリック実行の組み合わせによる網羅率の向上","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ランダムテストとシンボリック実行の組み合わせによる網羅率の向上"}]},"item_type_id":"7","owner":"1","path":["234","271"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-07-29"},"publish_date":"2015-07-29","publish_status":"0","recid":"6138","relation_version_is_last":true,"title":["ランダムテストとシンボリック実行の組み合わせによる網羅率の向上"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-19T03:47:32.446198+00:00"}