{“id”：“https://openalex.org/W2121720442“，”doi“：”https://doi.org/10.109/iccd.1992.276260“，”title“：”测试用例生成的约束求解：一种高级设计验证技术“，”display_name“：”生成测试用例的约束解：一种高层设计验证技术”，“publication_year”：2003，“publiation_date”：“2003-01-02”，“ids”：{“openalex”：“https://openalex.org/W2121720442“，”doi“：”https://doi.org/10.109/iccd.1992.276260“，”mag“：”2121720442“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/iccd.1992.276260“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5034065279“，”display_name“：”Ashok K.Chandra“，”orcid“：”https://orcid.org/0000-0002-8818-171X}，“机构”：[{“id”：https://openalex.org/I1341412227“，”display_name“：”IBM（美国）“，”ror“：”https://ror.org/05hh8d621“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1341412227“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”A.K.Chandra“，”raw _affiliation_strings“：[“[IBM Thomas J.Watson Research Center，Yorktown Heights，NY，USA]”]，“affiliations”：[{“raw_affiliation _string”：“[IBM托马斯J.沃森Research Center，Yorctown Height，NYhttps://openalex.org/I1341412227“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5019420188“，”display_name“：”V.Iyengar“，”orcid“：”https://orcid.org/0000-0001-6696-3940}，“机构”：[{“id”：https://openalex.org/I1341412227“，”display_name“：”IBM（美国）“，”ror“：”https://ror.org/05hh8d621“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1341412227“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”V.S.Iyengar“，”raw _affiliation_strings“：[“[IBM Thomas J.Watson Research Center，Yorktown Heights，NY，USA]”]，“affiliations”：[{“raw_affiliation _string”：“[IBM托马斯J.沃森研究中心，Yorctown Heits]”，“institution_ids”：[”https://openalex.org/I1341412227“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[].”apc_list“：null，”apc_payed“：nul，”fwci“：1.522，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：39，“citation_normalized_percentile”：{“value”：0.7 63374，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：90，”max“：91}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：1.0，“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”：1.0，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9991，”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.9988，”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/keywords/scan-testing网站“，”display_name“：”扫描测试“，”score“：0.560535}，{”id“：”https://openalex.org/keywords/test-access-architecture网站“，”display_name“：”测试访问体系结构“，”score“：0.544099}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.539395}，{”id“：”https://openalex.org/keywords/dynamic-test-generation网站“，”display_name“：”动态测试生成“，”score“：0.524555}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.522016}，{”id“：”https://openalex.org/keywords/undo“，”display_name“：”撤消“，”score“：0.50480115}，{”id“：”https://openalex.org/keywords/concolic-testing网站“，”display_name“：”Concolic testing“，”score“：0.47353455｝，｛”id“：”https://openalex.org/keywords/implementation（https://openalex.org/keywords/implementation）“，”display_name“：”Implementation“，”score“：0.44302735}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.78317046}，{”id“：”https://openalex.org/C168065819，“wikidata”：https://www.wikidata.org/wiki/Q845566“，”display_name“：”调试“，”级别“：2，”分数“：0.7619262}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”Constraint（计算机辅助设计）“，”level“：2，”score“：0.6229661｝，｛”id“：”https://openalex.org/C2780992000，“wikidata”：https://www.wikidata.org/wiki/Q17016113网址“，”display_name“：”生成器（电路理论）“，”level“：3，”score“：0.6219105}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.55236214}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.543819}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.51788497}，{”id“：”https://openalex.org/C2780154230，“wikidata”：https://www.wikidata.org/wiki/Q513420“，”display_name“：”Undo“，”level“：2，”score“：0.50480115}，{”id“：”https://openalex.org/C11219265，“wikidata”：https://www.wikidata.org/wiki/Q5158734“，”display_name“：”Concolic testing“，”level“：4，”score“：0.47353455}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.44302735}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.390694｝，｛”id“：”https://openalex.org/C113775141，“wikidata”：https://www.wikidata.org/wiki/Q428691“，”display_name“：”计算机工程“，”level“：1，”score“：0.3589818}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.13343629}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.11211982}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”功率（物理）“，”等级“：2，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/iccd.1992.276260“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：9，“referrenced_works”：[”https://openalex.org/W1568333396","https://openalex.org/W1971448472","https://openalex.org/W1992300713","https://openalex.org/W2009942758","https://openalex.org/W2049695835","https://openalex.org/W2066970907","https://openalex.org/W2112548174","https://openalex.org/W2158599927","https://openalex.org/W29576922“]，”related_works“：[”https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W34311366","https://openalex.org/W3164065471","https://openalex.org/W2976528741","https://openalex.org/W2963243795","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W2004269492","https://openalex.org/W1983849186“]，”abstract_inverted_index“：{”The“：[0,56,79]，”use“：[1]，”of“：[2,43,49,91]，”constraint“：[3,59]，”solving“：[4]，”and“：[5,29,52,63]，”symbol“：[6,54,61]，”execution“：[7]，”to“：[8,66,98]，”generate“：[9]，”highly“：[10]，”probing“：[11]，”test“：[12]，”cases“：[13]，”is“：[14]”,37,86,96]，“已讨论。”：[15]，“A”：[16]，“系统”：[17]，“调用”：[18]，“AVPGEN，”：[19,82]，“其中“：[20]，”使用“：[21,58]，”这样“：[22]，”技术“：[23]，”用于“：[24]，”调试“：[25]，”高级“：[26]，”机器“：[27]，”设计“：[28]，”有“：[30]，”已经“：[31]，”证明“：[32]，”有用“：[33]，”in“：[34,81]，”查找“：[35]，”错误“：[36]，”描述。“：[38]，”AVPGEN“：[39]，”生成“：[40]，”大“：[41]，”数字“：[42]，”体系结构“：[44，74]，”验证“：[45]，”程序。“：[46]，”It“：[47]，”composes“：[48]，”a“：[50,53]，”generator“：[51,57]，”模拟器。“：[55]，”求解“：[60]，”值“：[62]，”撤消“：[64]，”能力“：[65]，”设置“：[67]，”向上“：[68]，”条件。“：[69]，”These“：[70]，”conditions“：[71]，”may“：[72]，”be“：[73]，”specific“：[75]，”or“：[76]，”design“：[77]，”pecific。“：[78]，”模拟器“：[80]，”尽管“：[83]，”不是“：[84]，”无错误“：[85]，”相当大“：[87]，”更简单“：[88]，”比“：[89]，”任何“：[90]，”the“：[92]，”hardware“：[93]，”implementations“：[94]，”it“：[95]，”used“：[97]，”verify“<":[99],">“：[102]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2121720442“，”counts_by_year“：[{“年份”：2016，”cited_by_count“：1}，{“年度”：2015，”cited_by_count”：1}，{”year“:2014，”citecd_by_count“：1}，”{“年”：2013，”citted_by_count“:2}]，”updated_date“：”2024-09-25T07:06:08.324817“，”created_dated“：”2016-06-24“}”