{"_buckets": {"deposit": "4955c2a1-b03a-4872-a916-809068f99d81"}, "_deposit": {"id": "7803", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7803"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:00007803"}, "item_7_alternative_title_1": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "\u8907\u6570\u30d0\u30fc\u30b8\u30e7\u30f3\u306e\u3042\u308b\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u81ea\u52d5\u691c\u8a3c\u30fb\u691c\u67fb : \u8907\u6570\u30d0\u30fc\u30b8\u30e7\u30f3\u7ba1\u7406\u6642\u4ee3\u306e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u54c1\u8cea\u5411\u4e0a"}]}, "item_7_biblio_info_7": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-09-26", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_7_date_granted_25": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u5e74\u6708\u65e5", "attribute_value_mlt": [{"subitem_dategranted": "2014-09-26"}]}, "item_7_degree_grantor_23": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u6a5f\u95a2", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "University of Tokyo(\u6771\u4eac\u5927\u5b66)"}]}]}, "item_7_degree_name_20": {"attribute_name": "\u5b66\u4f4d\u540d", "attribute_value_mlt": [{"subitem_degreename": "\u535a\u58eb(\u5de5\u5b66)"}]}, "item_7_description_6": {"attribute_name": "\u5185\u5bb9\u8a18\u8ff0", "attribute_value_mlt": [{"subitem_description": "\u5b66\u4f4d\u306e\u7a2e\u5225: \u8ab2\u7a0b\u535a\u58eb", "subitem_description_type": "Other"}, {"subitem_description": "\u5be9\u67fb\u59d4\u54e1\u4f1a\u59d4\u54e1 : (\u4e3b\u67fb)\u6771\u4eac\u5927\u5b66\u51c6\u6559\u6388 \u4f50\u85e4 \u5468\u884c, \u6771\u4eac\u5927\u5b66\u6559\u6388 \u76f8\u7530 \u4ec1, \u6771\u4eac\u5927\u5b66\u6559\u6388 \u5cef\u677e \u4fe1\u660e, \u6771\u4eac\u5927\u5b66\u51c6\u6559\u6388 \u5c0f\u5ddd \u525b\u53f2, \u6771\u4eac\u5927\u5b66\u51c6\u6559\u6388 \u9db4\u5ca1 \u6176\u96c5, \u6771\u4eac\u5927\u5b66\u51c6\u6559\u6388 \u8fd1\u5c71 \u9686, \u65e5\u672cIBM\u30b7\u30cb\u30a2\u30ea\u30b5\u30fc\u30c1\u30e3\u30fc \u6cb3\u5185\u8c37 \u6e05\u4e45\u4ec1", "subitem_description_type": "Other"}]}, "item_7_dissertation_number_26": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u756a\u53f7", "attribute_value_mlt": [{"subitem_dissertationnumber": "12601\u7532\u7b2c31029\u53f7"}]}, "item_7_full_name_3": {"attribute_name": "\u8457\u8005\u5225\u540d", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "140610", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Lei, Ma"}]}]}, "item_7_identifier_registration": {"attribute_name": "ID\u767b\u9332", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.15083/00007794", "subitem_identifier_reg_type": "JaLC"}]}, "item_7_select_12": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "ETD"}]}, "item_7_select_21": {"attribute_name": "\u5b66\u4f4d", "attribute_value_mlt": [{"subitem_select_item": "doctoral"}]}, "item_7_text_24": {"attribute_name": "\u7814\u7a76\u79d1\u30fb\u5c02\u653b", "attribute_value_mlt": [{"subitem_text_value": "Department of Electrical Engineering and Information Systems, Graduate School of Engineering (\u5de5\u5b66\u7cfb\u7814\u7a76\u79d1\u96fb\u6c17\u7cfb\u5de5\u5b66\u5c02\u653b)"}]}, "item_7_text_27": {"attribute_name": "\u5b66\u4f4d\u8a18\u756a\u53f7", "attribute_value_mlt": [{"subitem_text_value": "\u535a\u5de5\u7b2c8419\u53f7"}]}, "item_7_text_36": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"subitem_text_value": "Thesis"}]}, "item_7_text_4": {"attribute_name": "\u8457\u8005\u6240\u5c5e", "attribute_value_mlt": [{"subitem_text_value": "\u5de5\u5b66\u7cfb\u7814\u7a76\u79d1\u96fb\u6c17\u7cfb\u5de5\u5b66\u5c02\u653b"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u99ac, \u96f7"}], "nameIdentifiers": [{"nameIdentifier": "140609", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A31029.pdf", "filesize": [{"value": "1.5 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1500000.0, "url": {"label": "A31029.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/7803/files/A31029.pdf"}, "version_id": "4d3f7813-ff77-471f-9263-e7687441f9dc"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "A31029_abstract.pdf", "filesize": [{"value": "84.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 84800.0, "url": {"label": "A31029_abstract.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/7803/files/A31029_abstract.pdf"}, "version_id": "ec8f8ba5-469f-4847-a62e-fac74cbdb444"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "A31029_review.pdf", "filesize": [{"value": "150.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 150200.0, "url": {"label": "A31029_review.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/7803/files/A31029_review.pdf"}, "version_id": "6b0033d7-52ce-4b00-9f64-c9ec6853e825"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions"}]}, "item_type_id": "7", "owner": "1", "path": ["9/233/280", "6/209/392"], "permalink_uri": "https://doi.org/10.15083/00007794", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_name_i18n": "\u516c\u958b\u65e5", "attribute_value": "2016-08-01"}, "publish_date": "2016-08-01", "publish_status": "0", "recid": "7803", "relation": {}, "relation_version_is_last": true, "title": ["Automatic Verification and Testing for Software with Multiple Versions : Improving Software Quality in the Era of Multiple Versions"], "weko_shared_id": null}