{“id”：“https://openalex.org/W1994366842“，”doi“：”https://doi.org/10.1023/b:pacs.0000036420.25147.da“，”title“：“基于编程语言动态语义形式规范的严格一致性测试的自动生成”，”display_name“：”基于编程语言的动态语义形式规格的严格一致测试的自动产生“，”publication_year“：2004，”publiation_date“：”2004-07-01“，”ids“：{”openalex“：”https://openalex.org/W1994366842网址“，”doi“：”https://doi.org/10.1023/b:pacs.0000036420.25147.da“，”mag“：”1994366842“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1023/b:pacs.0000036420.25147.da“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S150218641“，”display_name“：”编程与计算机软件“，”issn_l“：”0361-7688“，”isn“：[”0361.7688“、”1608-3261“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310320267“，”“host_organization_name”：“昴宿星发布”，“host_organization_lineage”：[“https://openalex.org/P4310320267","https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Pleiades Publishing“，”Springer Nature“]，“type”：“journal”}，“license”：null，”license_id“：null”，“version”：null，“is_accepted”：false，”is_published“：false}，”type“：”article“，”type_crossref“：“jordal-article”，“indexed_in”：[”crossref“]，：null，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A505201121“，”display_name“：”A.S.Kossatchev“，”orcid“：”https://orcid.org/0000-0001-5316-3813}，“机构”：[{“id”：https://openalex.org/I4210101868“，”display_name“：”系统编程研究所“，”ror“：”https://ror.org/017ef8252“，”“country_code”“：”RU“，”type“：”facility“，”lineage“：[”https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”A.S.Kossatchev“，”raw _affiliation_strings“：[“俄罗斯科学院系统编程研究所，Bol'shaya Kocommunisticheskaya ul.25，Moscow，109004 Russia”]，”从属关系“：[{”raw _affiliation_string“：”俄罗斯科学院系统编程研究所，Bol'shaya Kommunisticheskaya ul。25，莫斯科，109004俄罗斯“，”institution_ids“：[”https://openalex.org/I4210101868“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5034343594“，”display_name“：”P Kutter“，”orcid“：null}，”institutions“：[]，”countries“：[”CH“]，”is_corresponding“：false，”raw_author_name“，”P.Kutter”，“raw_affiliation_strings”：[”A4M Applied Formal Methods AG，Switzerlandkutter@a4m.biz, posypkin@ispras.ru kos@ispras.ru#TAB#“]，“affiliations”：[{“raw_affiliation_string”：“A4M Applied Formal Methods AG，瑞士kutter@a4m.biz, posypkin@ispras.ru kos@ispras.ru#TAB#“，”institution_ids“：[]}]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5090825054“，”display_name“：”Mikhail Posypkin“，”orcid“：”https://orcid.org/0000-0002-4143-4353}，“机构”：[{“id”：https://openalex.org/I4210101868“，”display_name“：”系统编程研究所“，”ror“：”https://ror.org/017ef8252“，”“country_code”“：”RU“，”type“：”facility“，”lineage“：[”https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”M.A.Posypkin“，”raw _affiliation_strings“：[“俄罗斯科学院系统编程研究所，Bol'shaya Kommunisticheskaya ul.25，莫斯科，109004俄罗斯”]，”afliations“：[{”raw _affiliation_string“：”俄罗斯科学院系统编程研究所，Bol'shaya Kommunisticheskaya ul。25，莫斯科，109004俄罗斯“，”institution_ids“：[”https://openalex.org/I4210101868“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：2，”institutions_disting_count”：1，”corresponding_author_ids“：[[]，”coresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：1.233，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：5，“citation_normalized_percentile”：{“value”：0.7 8756，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：76，”max“：77}，“biblio”：{“volume”：“30”，”issue“：”4“，”first_page“：”218“，”last_page“：”229“}https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9985，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9985，“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.9871，”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/T10260“，”display_name“：”软件工程实证研究“，”score“：0.9802，”subfield“：｛”id“：”https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/soundness网站“，”display_name“：”声音“，”分数“：0.76330996}，{”id“：”https://openalex.org/keywords/dynamic-test-generation网站“，”display_name“：”动态测试生成“，”score“：0.584189}，{”id“：”https://openalex.org/keywords/automated-testing（https://openalex.org/keywords/automated-testing）“，”display_name“：”自动测试“，”score“：0.538157}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.501762}，{”id“：”https://openalex.org/keywords/programming-language-specification（https://openalex.org/keywords/programming-language-specification编程语言规范）“，”display_name“：”编程语言规范“，”score“：0.43454263}]，”concepts“：[{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.84191173}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7798726}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.76330996}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.654672}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.64050055}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5543209}，{”id“：”https://openalex.org/C192183473，“wikidata”：https://www.wikidata.org/wiki/Q131133“，”display_name“：”决定论“，”level“：2，”score“：0.45189807}，{”id“：”https://openalex.org/C15077461，“wikidata”：https://www.wikidata.org/wiki/Q7248507“，”display_name“：”编程语言规范“，”level“：5，”score“：0.43454263}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267网址“，”display_name“：”编程范例“，”level“：2，”score“：0.23484918}，{”id“：”https://openalex.org/C50033165，“wikidata”：https://www.wikidata.org/wiki/Q15712089“，”display_name“：”归纳编程“，”level“：3，”score“：0.13101634}，{”id“：”https://openalex.org/C119263510，“wikidata”：https://www.wikidata.org/wiki/Q7248501“，”display_name“：”编程域“，”level“：4，”score“：0.09491229｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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.1023/b:pacs.0000036420.25147.da“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S150218641“，”display_name“：”编程与计算机软件“，”issn_l“：”0361-7688“，”isn“：[”0361.7688“、”1608-3261“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310320267“，”“host_organization_name”：“昴宿星发布”，“host_organization_lineage”：[“https://openalex.org/P4310320267","https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Pleiades Publishing“，”Springer Nature“]，“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”：20，“referrenced_works”：https://openalex.org/W109452506","https://openalex.org/W1530632793","https://openalex.org/W1591737503","https://openalex.org/W163539143","https://openalex.org/W1685737956","https://openalex.org/W1788386172","https://openalex.org/W1818561783","https://openalex.org/W1983878972","https://openalex.org/W1993151440","https://openalex.org/W2006599089","https://openalex.org/W2019793857","https://openalex.org/W2054920589","https://openalex.org/W2061117785","https://openalex.org/W2098681203","https://openalex.org/W2118229393","https://openalex.org/W2140611647","https://openalex.org/W2169423847","https://openalex.org/W25805819","https://openalex.org/W2913286805","https://openalex.org/W92962286“]，”related_works“：[”https://openalex.org/W3021477639","https://openalex.org/W2899892155","https://openalex.org/W2117573317","https://openalex.org/W2114349140","https://openalex.org/W2036677122","https://openalex.org/W1891315876","https://openalex.org/W1820634294","https://openalex.org/W1546856751","https://openalex.org/W1487966966","https://openalex.org/W1482532369“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1994366842“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-09-19T03:59:03.662454“，”创建日期“：“2016-06-24”}