{“id”：“https://openalex.org/W1982765126“，”doi“：”https://doi.org/10.1007/s10009-006-0022-x网址“，”title“：“通过先行条件切片改进硬件设计验证”，”display_name“：”通过先行条件片段改进硬件设计的验证“，”publication_year“：2006，”publitation_date“：”2006-07-07“，”ids“：{”openalex“：”https://openalex.org/W1982765126“，”doi“：”https://doi.org/10.1007/s10009-006-0022-x网址“，”mag“：”1982765126“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0022-x网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”技术转让软件工具国际期刊“，”issn_l“：”1433-2779“，”isn“：[”1433-277“，”1433-2787“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5034719762“，”display_name“：”Shobha Vasudevan“，”orcid“：”https://orcid.org/0000-0002-6995-3219}，“机构”：[{“id”：https://openalex.org/I86519309“，”display_name“：”奥斯汀德克萨斯大学“，”ror“：”https://ror.org/00hj54h04“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I86519309“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”Shobha Vasudevan“，”raw_affiation_string“：[”得克萨斯大学奥斯汀分校计算机工程研究中心，78712，Austin，TX，USA#TAB#“]，”附属机构“：[｛”raw_affiation_string“：”德克萨斯大学奥斯汀分校计算机工程研究中心，78712，奥斯汀，德克萨斯州，美国#TAB#“，”institution_ids“：[”https://openalex.org/I86519309“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5022535511“，”display_name“：”E.Allen Emerson“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I86519309“，”display_name“：”奥斯汀德克萨斯大学“，”ror“：”https://ror.org/00hj54h04“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I86519309“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”E.Allen Emerson“，”raw _ afiliation_strings“：[“德克萨斯大学奥斯汀分校计算机科学系，78712，奥斯汀，德克萨斯州，美国#TAB#”]，”affiliations“：[{”raw _affiliation_strong“：”德克萨斯大学奥斯丁分校，计算机科学系机构ID“：[”https://openalex.org/I86519309“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5068070739“，”display_name“：”Jacob A.Abraham“，”orcid“：”https://orcid.org/0000-0002-5336-5631}，“机构”：[{“id”：https://openalex.org/I86519309“，”display_name“：”奥斯汀德克萨斯大学“，”ror“：”https://ror.org/00hj54h04“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I86519309“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Jacob A.Abraham“，”raw _ affiliation_strings“：[“德克萨斯大学奥斯汀分校计算机工程研究中心，78712，德克萨斯州奥斯汀，美国#TAB#”]，”从属关系“：[{”raw _affiliation_string“：”德克萨斯大学奥斯汀分校计算机工程研究中心，78712，奥斯汀，德克萨斯州，美国#TAB#“，”institution_ids“：[”https://openalex.org/I86519309“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[[]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}”，“apc_payed”：null，“fwci”：2.731，“has_fulltext”：true，“全文_origin“：”ngrams“，”cited_by_count“：20，”引用_规范化_percentile“：{”value“：0.875517，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：87，“max”：88}，“biblio”：{“volume”：“9”，“issue”：“1”，“first_page”：“89”，“last_page”：”“101”}，：“https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9996，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11005“，”display_name“：”电子系统容错“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/theory-of-computation网站“，”display_name“：”计算理论“，”score“：0.6652925}，{”id“：”https://openalex.org/keywords/test-case-prioritization网站“，”display_name“：”测试用例优先级“，”score“：0.508209}，{”id“：”https://openalex.org/keywords/scan-testing网站“，”display_name“：”扫描测试“，”score“：0.501765}]，”concepts“：[{”id“：”https://openalex.org/C2781256819，“wikidata”：https://www.wikidata.org/wiki/Q16828835“，”display_name“：”Antecedent（行为心理学）“，”level“：2，”score“：0.8656845}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79866624}，{”id“：”https://openalex.org/C2776190703，“wikidata”：https://www.wikidata.org/wiki/Q488148“，”display_name“：”Slicing“，”level“：2，”score“：0.7861947}，{”id“：”https://openalex.org/C24858836，“wikidata”：https://www.wikidata.org/wiki/Q844718“，”display_name“：”计算理论“，”level“：2，”score“：0.6652925}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47034246}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.34736782}，｛”id“：”https://openalex.org/C118524514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.32838535}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966网址“，”display_name“：”计算机硬件“，”level“：1，”score“：0.3213664}，{”id“：”https://openalex.org/C121684516，“wikidata”：https://www.wikidata.org/wiki/Q7600677“，”display_name“：”计算机图形（图像）“，”level“：1，”score“：0.11229226}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.08160296}，{”id“：”https://openalex.org/C138496976，“wikidata”：https://www.wikidata.org/wiki/Q17502“，”display_name“：”发展心理学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-006-0022-x网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”技术转让软件工具国际期刊“，”issn_l“：”1433-2779“，”isn“：[”1433-277“，”1433-2787“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：[/]，“versions”：[]]，“referenced_works_count”：33，“referrenced_works”：[“https://openalex.org/W1480815731网址","https://openalex.org/W1506588809","https://openalex.org/W1546453099","https://openalex.org/W1559507652","https://openalex.org/W1605593319","https://openalex.org/W1998440693","https://openalex.org/W2032609241","https://openalex.org/W2054198444","https://openalex.org/W2054554282","https://openalex.org/W2057992103","https://openalex.org/W2078220499","https://openalex.org/W2087958491","https://openalex.org/W2090398333","https://openalex.org/W2091015747","https://openalex.org/W2092483417","https://openalex.org/W2093916942","https://openalex.org/W2103846971","https://openalex.org/W2110066339","https://openalex.org/W2117189826","https://openalex.org/W2125498610","https://openalex.org/W2126875022","https://openalex.org/W2141109493","https://openalex.org/W2141716727","https://openalex.org/W2143177356","https://openalex.org/W2144344516","https://openalex.org/W2147088720","https://openalex.org/W2162046779","https://openalex.org/W2162310108","https://openalex.org/W2293624369","https://openalex.org/W303139982","https://openalex.org/W4247632680","https://openalex.org/W4250884204","https://openalex.org/W53653091“]，”related_works“：[”https://openalex.org/W4239223006","https://openalex.org/W3033662781","https://openalex.org/W2972496411","https://openalex.org/W2478582891","https://openalex.org/W2393746923","https://openalex.org/W2360869927","https://openalex.org/W2360806008","https://openalex.org/W2157900495","https://openalex.org/W2137530048","https://openalex.org/W2107728149“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1982765126“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}，{”年份“：2014，”cited_by_count”：2}，“年份”：2013，”citecd_by_count“：2]，”年“:2012，”citted_by_count“:2}]，”更新日期“：”2024-09-26T18:53:29.663756“，”创建日期“：“2016-06-24”}