{“id”：“https://openalex.org/W1536303350“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_35“，”title“：”jMoped:A Java Bytecode Checker Based on Moped“，”display_name“：”jMoped:A Java Byteccode Checker Based on Moed“，”publication_year“：2005，”publitation_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1536303350“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_35“，”mag“：”1536303350“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_35，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_35.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_35.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5001301284“，”display_name“：”Dejvuth Suwimonteerabbuth“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I100066346“，”display_name“：”斯图加特大学“，”ror“：”https://ror.org/04vnq7t77“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I100066346“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Dejvuth Suwimonteerabbuth“，”raw _ afiliation_strings“：[“Institute f\u00fcr Formal Methoden der Informatik，University\u00e4t Stuttgart，”]，“affiliations”：[{“raw_affiliation_string”：“institution f\u 00fcr formal Methoten der Information，University \u 00e4T Stuttgrat，”，“institution_ids“：[”https://openalex.org/I100066346“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5040146683“，”display_name“：”Stefan Schwoon“，”orcid“：”https://orcid.org/0000-0001-6622-6510}，“机构”：[{“id”：https://openalex.org/I100066346“，”display_name“：”斯图加特大学“，”ror“：”https://ror.org/04vnq7t77“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I100066346“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stefan Schwoon“，”raw _affiliation_strings“：[“Institute f\u00fcr Formal Methoden der Informatik，University\u00e4t Stuttgart，”]，”affiliations“：[{”raw_affiliation_string“：”Institutes f\u000fcr Formale Methoden-der Informatic，University \u00e4t Sturtgart“，”，“institution_ids”：[”https://openalex.org/I100066346“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5090378914“，”display_name“：”哈维尔·埃斯帕尔扎“，”兽人“：”https://orcid.org/0000-0001-9862-4919}，“机构”：[{“id”：https://openalex.org/I100066346“，”display_name“：”斯图加特大学“，”ror“：”https://ror.org/04vnq7t77“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I100066346“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Javier Esparza“，”raw _ afiliation_strings“：[“Institute f \u00fcr Formale Methoden der Informatik，University \u00e4t Stuttgart，”]，”affiliations“：[{”raw _affiliation_string“：”Institutes f \u00 fcr Formal Methoden-der Informatic，University\u00e 4t Stugart，“，”institution_ids“：[https://openalex.org/I100066346“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：3.663，“has_fulltext”：true，“fulltext_o”rigin“：”pdf“，”cited_by_count“：27，”引用_规范化_percentile“：{”value“：0.891546，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：89，“max”：90}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“541”，“last_page”：“54”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9995，“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.9993，“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/java-bytecode网站“，”display_name“：”Java字节码“，”score“：0.83423495}，{”id“：”https://openalex.org/keywords/字节码“，”display_name“：”Bytecode“，”score“：0.81886035}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.544484}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.530609}，{”id“：”https://openalex.org/keywords/software-defect-pedition网站“，”display_name“：”软件缺陷预测“，”score“：0.518128}，{”id“：”https://openalex.org/keywords/code-clone-detection网站“，”display_name“：”代码克隆检测“，”score“：0.517165｝]，”concepts“：[｛”id“：”https://openalex.org/C2777472213，“wikidata”：https://www.wikidata.org/wiki/Q137496“，”display_name“：”Java字节码“，”level“：5，”score“：0.83423495}，{”id“：”https://openalex.org/C2779818221，“wikidata”：https://www.wikidata.org/wiki/Q837330“，”display_name“：”Bytecode“，”level“：3，”score“：0.81886035}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7019491}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6723287}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.62829536｝，｛”id“：”https://openalex.org/C168702491，“wikidata”：https://www.wikidata.org/wiki/Q567345“，”display_name“：”Java注释“，”level“：4，”score“：0.1726278}，{”id“：”https://openalex.org/C15524039，“wikidata”：https://www.wikidata.org/wiki/Q865817“，”display_name“：”Java applet“，”level“：3，”score“：0.13532984}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_35，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_35.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_35，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_35.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”datasets“：〔】，”versions“：【〕，”referenced_works_count“：3，”https://openalex.org/W1500983737网址","https://openalex.org/W1514446453","https://openalex.org/W2101936540“]，”related_works“：[”https://openalex.org/W4300607909","https://openalex.org/W2951958216","https://openalex.org/W2785207032","https://openalex.org/W2754749880","https://openalex.org/W2505061641","https://openalex.org/W2220571783","https://openalex.org/W2128133205","https://openalex.org/W2124765047","https://openalex.org/W2110333676","https://openalex.org/W1532887546“]，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”a“：[2]，”tool“：[3,25]，”for“：[4]，”finding“：[5]，”errors“：[6]，”in“：[7]，”Java“：[8,12]，”programs“：[9]，”that“：[10]，”translates“：[11]，”bytecodes“：%13]，”into“：[14]，“symbolic”：[15]，“pushdown”：[16]，“systems，“：[17]，”其中“：[18]，”是“：[19]，”然后“：[20]，”选中“：[21]，”由“：[22]，”the“：[23]，”Moped“：[24]，”[1].“：[26]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W1536303350“，”counts_by_year“：[{”year“:2024，”cited_by_count“：1}，{”年“：2023，”cited_by_count”：1}，{“year”：2022，”citecd_by_count“：1}，”年度“：2021，”citesd_by_count“:1}，“年份”：2014，“引用_by_count”：3}，{“年份”:2012，“引用_ by_counts”：2}]，“更新日期”：“2024-09-14T09:33:19.252757“，”创建日期“：”2016-06-24“}