{“id”：“https://openalex.org/W165775113“，”doi“：”https://doi.org/10.1007/978-3642-32943-2_7“，”title“：”Using Semantics Specified in Maude to Generate Test Cases“，”display_name“：”使用Maude中指定的语义生成测试用例“，”publication_year“：2012，”publitation_date“：”2012-01-01“，”ids“：{”openalex“：”https://openalex.org/W165775113“，”doi“：”https://doi.org/10.1007/978-3642-32943-2_7“，”mag“：”165775113“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-32943-2_7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：http://maude.sip.ucm.es/%7Eadrian/files/testICTAC12.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A504872065“，”display_name“：”Adri\u00e1n Riesco“，”orcid“：”https://orcid.org/0000-0002-9716-4612}，“机构”：[{“id”：https://openalex.org/I121748325“，”display_name“：”马德里Complutense大学“，”ror“：”https://ror.org/02p0gd045“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I121748325“]}]，”countries“：[”ES“]，”is_corresponding“：true，”raw_author_name“：”Adri\u00e1n Riesco“，”raw _affiliation_strings“：【”西班牙马德里Complutense大学教务处\u 00e1tica“】}]，“countries_distict_count”：1，“institutions_disticent_count”：1.“corresponding_author_ids”：[”https://openalex.org/A5048720165“]，”对应的机构ID“：[”https://openalex.org/I121748325“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：4，“cited_by_percentile_year”：{“min”：81，“max”：82}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“90”，“last_page”：“104”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”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/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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.554761}，{”id“：”https://openalex.org/keywords/test-case-prioritization网站“，”display_name“：”测试用例优先级“，”score“：0.512551}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.508033}，{”id“：”https://openalex.org/keywords/variation-testing网站“，”display_name“：”突变测试“，”score“：0.506426}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.87872696}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.8523122}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.7090398}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.56697124}，{”id“：”https://openalex.org/C128942645，“wikidata”：https://www.wikidata.org/wiki/Q1568346“，”display_name“：”测试用例“，”level“：3，”score“：0.5410565}，{”id“：”https://openalex.org/C122783720，“wikidata”：https://www.wikidata.org/wiki/Q183065“，”display_name“：”口译员“，”level“：2，”score“：0.5297713}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.43882066}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4328892}，{”id“：”https://openalex.org/C2780992000，“wikidata”：https://www.wikidata.org/wiki/Q17016113“，”display_name“：”生成器（电路理论）“，”level“：3，”score“：0.42796794}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.42795858｝，｛”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.42405093}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”Power（physics）“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C152877465，“wikidata”：https://www.wikidata.org/wiki/Q208042“，”display_name“：”回归分析“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：2，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-32943-2_7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.716.3620，“pdf_url”：http://maude.sip.ucm.es/%7Eadrian/files/testICTAC12.pdf“，”源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.716.3620，“pdf_url”：http://maude.sip.ucm.es/%7Eadrian/files/testICTAC12.pdf“，”源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：23，“referrenced_works”：https://openalex.org/W1436046237","https://openalex.org/W1490868210","https://openalex.org/W1581724852","https://openalex.org/W1597765364","https://openalex.org/W1647609750","https://openalex.org/W1689913591","https://openalex.org/W1976195354","https://openalex.org/W1981466053","https://openalex.org/W1987557201","https://openalex.org/W1991598919","https://openalex.org/W2029976661","https://openalex.org/W2048748607","https://openalex.org/W2074715013","https://openalex.org/W2100738443","https://openalex.org/W2114980623","https://openalex.org/W2124621264","https://openalex.org/W2130318821","https://openalex.org/W2139474931","https://openalex.org/W2139760036","https://openalex.org/W2143236904","https://openalex.org/W2148862936","https://openalex.org/W4242126179","https://openalex.org/W4255006224“]，”related_works“：[”https://openalex.org/W2623701236","https://openalex.org/W2168276503","https://openalex.org/W2139396251","https://openalex.org/W2120204135","https://openalex.org/W2113956592","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W1577544887","https://openalex.org/W1558467648网址","https://openalex.org/W1498283003“]，”ngrams_url“：”https://api.openalex.org/works/W165775113/ngrams网站“，”“abstract_inverted_index”：{“Testing”：[0]，“is”：[1219]，“one”：[2]，“of”：[3,37,55118170185223]，“the”：[4,12,53,56,62,66,75,80,85116171190205]，“most”：[5,8]，“important”：[6]，“and”：[7,16,19,2310120216]，“times”：[9]，”“tasks”：[10]，“in”：[11,65,79136140179212]，“software”：[13]，“开发”：[14]，“过程”：[15]，“因此”：[17]，“技术”：[18]，“系统”：[20]，“到”：[21,46,83129147167200]，“生成”：[22130]，“检查”：[24,84]，“测试”：[25,59,76131174186]，“案例”：[26,60,77132175187]，“有”：[27,47]，“成为”：[28]，”关键。“：[29]，”For“：[30]，”these“：[31,89]，”reasons“：[32]，”when“：[33]，”specifying“：[34]，”a“：[35,38,48101112127162183194202213]，”prototype“：36215]，”programming“：[39137]，”language“：[40160]，”it“：[41143]，”may“：[42]，”be“：[43108145177]，”very“：%44]，”usible“：[45]，”tool“：[49]，”“：[50]，”超越“：[51]，”测试“：[52]，”语义“：[54]，”程序“：[57]，“生成”：[58]，“用于”：[61115133]，“程序”：[63134]，“写入”：[64135]，“指定”：[67139]，“语言”：[68]，“In”：[69122150]，“this”：[70123151]，“方式”：[71]，“我们”：[72,91125]，“可以”：[73]，“使用”：[74,93218]，“生成的”：[78178]，“原型”：[81159]，“阶段”：[82]，“实现”：[86]，“收件人”：[87]，“构建”：[88]，“原型”：[90]，“可以”用法：[92107144176]，“重写”：[94]，“逻辑”，：[95]，“其中”：[96]，“有”：[97209]，“曾经”：[98210]，“提议”：[99]，“作为”：[100111]，“逻辑学”：[102]，“框架”：[103114]，“where”：[104]，“其他”：[105]，“logics”：[106]，“表示”：[109]，“语义”：[113]，“规范”：[117]，“语言”：[1119138]，“系统”。：[121]，“论文”：[124]，“提议”：[126]，“技术”：[128]，“莫德”，“：[141]，“虽然”：[142]，“广义”：[146]，“相似”：[148]，“语言。”：[149]，“方式”：[152]，“穆德”：[153214]，“成为”：[154]，“安”：[155168224]，”偶数“：[156]，”更多“：[157]，”强大“：[158]，“提供”：[161]，“测试用例”：[163]，“生成器”：[164]，“（in”：[165]，“添加”：[166]，“口译员”：[169]，“语言）。”：[172]，“The”：[173]，“two”：[180]，“方式：”：[181]，“计算”：[182]，“设置”：[184]，“使用”：[188]，“全部”：[189]，“指令”：[191]，“必需”：[192]，“由”：[193321]，“给定”：[195]，“覆盖范围”：[196]，“标准”：[197]，“或”：[198]，“尝试”：[1999]，“反证”：[2011]，“属性”：[203]，“超过”：[204]，“程序”：[206]，“This”：[207]，”方法论”：[208]，“已实施”：[211]，“其”：[217]，“已描述”：[220]，“表示”：[222]，“示例。”：[225]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W165775113“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}，{”年份“：2014，”cited_by_count”：2}，“年份”：2013，”citecd_by_count“:1}]，”updated_date“：”2024-05-19T23:26:49.575209“，”created_dates“：”2016-06-24“}