{“id”：“https://openalex.org/W4297922679“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_26“，”title“：”Goodbye ioco“，”display_name“：”Goodbye io“，”publication_year“：2022，”publiction_date“：”2022-01-01“，”ids“：{”openalex“：”https://openalex.org/W4297922679“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_26“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_26“，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5038404202“，”display_name“：”Jan Tretman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Jan Tretmans“，”raw _affiliation_strings“：[“ESI（TNO），Eindhoven，The Netherlands”，“Radboud University，Institute iCIS，Nijmegen，The Netherland”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5037446801“，”display_name“：”Ramon Janssen“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}]，”countries“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Ramon Janssen“，”raw _affiliation_strings“：【”BetterBe，Enschede，The Netherlands“，”Radboud University，Institute iCIS，Institution Nijmegen，The Netherlands]}]“countries_distict_count”：1，“institutions_distriction_count“：1，”corresponding_author_ids“：[“”https://openalex.org/A5038404202“]，”对应的机构ID“：[”https://openalex.org/I145872427“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：2，“cited_by_percentile_year”：{“min”：76，“max”：81}，biblio“：{”volume“：null，”issue“：nul，”first_page“：”491“，”last_page“：”511“}，”is_retracted“：false，”is_paratext“：fase，”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.9994，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9984，”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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.581776}，{”id“：”https://openalex.org/keywords/model-base测试“，”display_name“：”基于模型的测试“，”score“：0.556792}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.509587}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.505857}]，”concepts“：[{”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.81382406}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.67578363}，{”id“：”https://openalex.org/C132010649，“wikidata”：https://www.wikidata.org/wiki/Q189222“，”display_name“：”直觉“，”level“：2，”score“：0.63341045}，｛”id“：”https://openalex.org/C76844732，“wikidata”：https://www.wikidata.org/wiki/Q4072285“，”display_name“：”一致性测试“，”level“：3，”score“：0.47762913}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36734277}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32974553}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3266017}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.22560734}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.1775904}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188087704，“wikidata”：https://www.wikidata.org/wiki/Q369577“，”display_name“：”标准化“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_26“，”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“：”系列丛书“｝，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[｛”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.6}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：16，”refernced_works“：[”https://openalex.org/W1522465028","https://openalex.org/W1527688737","https://openalex.org/W1606443439","https://openalex.org/W1998084650网址","https://openalex.org/W2062436301","https://openalex.org/W2126818664","https://openalex.org/W2130732685","https://openalex.org/W2133869707","https://openalex.org/W2145505903","https://openalex.org/W2149561987","https://openalex.org/W2163659692","https://openalex.org/W2167004912","https://openalex.org/W2171109896","https://openalex.org/W2943821494","https://openalex.org/W2990164215","https://openalex.org/W4244728546“]，”related_works“：[”https://openalex.org/W2787150205","https://openalex.org/W2744103729","https://openalex.org/W2551237228","https://openalex.org/W2386767533","https://openalex.org/W2352557718","https://openalex.org/W2245813191","https://openalex.org/W1991536873","https://openalex.org/W1991153176","https://openalex.org/W1594462538","https://openalex.org/W1519429340“]，”ngrams_url“：”https://api.openalex.org/works/W4297922679/ngrams“，”“abstract_inverted_index”：{“基于模型”：[0]，“测试”：[1,3,22,52]，“涉及”：[2]，“a”：[4,11,3110511412129]，“系统”：[5,32]，“根据”：[6,33]，“检测”：[7,34,69115]，“for”：[8,20,94132]，“一致性”：[9]，“to”：[10,36138]，“模型”：[12]，“that”：[13,27149]，“指定”：[14]，“its”：[15]，“行为”：[16]，“安”：[17,71]，“重要”：[18]，“方面”：[19]，“基于模型的“：[21,51]，”是“：[23,77,82117152]，”该“：[24111119126136153]，”实现“：[25,40,75131141155]，”关系“：[26,41,76137]，”定义“：[28]，”精确“：[29]，”当“：[30,53]，”符合“：[35]，”模型。“：[38]，”The“：[39]，”$${\\textbf{ioco}}“：[42,66,99159]，”$“：[43,67,79100103151160164]，”has“：[44,85]，”commery“：[45]，”been“：[46,86]，”used“：[47]，”and“：[48,61,89101135]，”studed“：%49]，”in“：[50]，”models“：[54]，”are“：55,63,91]，”expressed“：[56]，“as”：[57]，“labeled”：[58]，“transition”：[59]，“systems”，：[60]，“there”：[62,90]，“tools”：[64,93]，“实现“：[65]，”基于“：[68]，”生成。“：[70]，”替代，“：[72]，”轻微“：[73]，”不同“：[74]，”$${\\textbf{uioco}}“：[78102150163]，”，“，”：[80161]，“which”：[81]，“more”：[83]，“recent”：[84]，“less”：[87]，“studed”：[88]，“no”：[92]，“it”。“：[95]，”我们“：[96]，”将“：[97]，”比较“：[98]，“on”：[104]，“couple”：[106]，“of”：[107121128]，“aspects”，“：[108146]，“viz.”：[109]，“intentification”，：[110]，“判定“：[112]，“是否”：[113]，“观察”：[116]，“正确”：[118]，“定义”：[120]，“一致”：[123]，“细化”：[124]，“关系”，：[125156]，“构造”：[127]，“规范”：[130]，“每个”：[133]，“规格说明”：[134]，“其他”：[139]，“输入-输出”：[140]，“关联”。“：[142]，”对于“：[143]，”所有“：[144]，”这些“：[145]，”我们“：[147]，”总结“：[148]，”首选“：[154]，”所以，“：[157]，”再见“：[158]，”你好“：[162]，”。“：[165]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4297922679“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年度”：2023，”cited_by_count”：1}]，”updated_date“：”2024-05-24T06:05:22.646283“，”created_date:“2022-10-01”}