{“id”：“https://openalex.org/W2548465910“，”doi“：”https://doi.org/10.1145/2950290.2983940“，”title“：“JBSE:具有复杂堆输入的Java程序的符号执行器”，“display_name”：“JBSE：具有复杂堆输出的Java程序符号执行器“，”publication_year“：2016，”publitation_date“：”2016-11-01“，”ids“：{”openalex“：”https://openalex.org/W2548465910“，”doi“：”https://doi.org/10.1145/2950290.2983940“，”mag“：”2548465910“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2950290.2983940“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5077180647“，”display_name“：”Pietro Braione“，”orcid“：”https://orcid.org/0000-0001-9307-6781}，“机构”：[{“id”：https://openalex.org/I66752286“，”display_name“：”米兰比卡大学“，”ror“：”https://ror.org/01ynf4891“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I66752286“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Pietro Braione“，”raw _ afiliation_strings“：[“意大利米兰-比科卡大学”]，”affiliations“：[{”raw _affiliation_strong“：”意大利米兰-比科卡大学“，”institution_ids“：[https://openalex.org/I66752286“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038269238“，”display_name“：”Giovanni Denaro“，”orcid“：”https://orcid.org/0000-0002-7566-8051}，“机构”：[{“id”：https://openalex.org/I66752286“，”display_name“：”米兰比卡大学“，”ror“：”https://ror.org/01ynf4891“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I66752286“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giovanni Denaro“，”raw _ afiliation_strings“：[“意大利米兰-比科卡大学”]，”affiliations“：[{”raw _affiliation_strong“：”意大利米兰-比科卡大学“，”institution_ids“：[https://openalex.org/I66752286“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066540482“，”display_name“：”Mauro Pezz\u00e8“，”orcid“：”https://orcid.org/0000-0001-5193-7379}，“机构”：[{“id”：https://openalex.org/I57201433“，”display_name“：”Universit\u00e0 della Svizzera italiana“，”ror“：”https://ror.org/03c4atk17“，”country_code“：”CH“，”type“：”教育“，”血统“：[”https://openalex.org/I57201433“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Mauro Pezz\u00e8“，”raw_affiliation_strings“：[“瑞士卢加诺大学”]，”affiliations“：[{”raw_affiliation_string“：”瑞士卢加奴大学“，”institution_ids“：[https://openalex.org/I57201433“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：7.8，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：32，”citation_normalized_percentile“：{”value“：0.960164，”is_in_top_1_percent“：false，“is_in_top_10_percent”：true}，“cited_by_percentile_year”：{“min”：94，“max”：95}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_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/T10260“，”display_name“：”软件工程实证研究“，”score“：0.9994，”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9988，”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/executor网站“，”display_name“：”Executor“，”score“：0.94541526}，{”id“：”https://openalex.org/keywords/heap“，”display_name“：”堆（数据结构）“，”score“：0.8475997}，{”id“：”https://openalex.org/keywords/executable“，”display_name“：”Executable“，”score“：0.65297675}，{”id“：”https://openalex.org/关键字/java-bytecode“，”display_name“：”Java字节码“，”score“：0.54852426}，{”id“：”https://openalex.org/keywords/字节码“，”display_name“：”Bytecode“，”score“：0.5326053}，{”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.522747｝，｛”id“：”https://openalex.org/keywords/symbolic-data-analysis网站“，”display_name“：”符号数据分析“，”score“：0.41988814}]，”concepts“：[{”id“：”https://openalex.org/C180591056，“wikidata”：https://www.wikidata.org/wiki/Q654437“，”display_name“：”Executor“，”level“：2，”score“：0.94541526}，{”id“：”https://openalex.org/C134757568，“wikidata”：https://www.wikidata.org/wiki/Q274089“，”display_name“：”堆（数据结构）“，”level“：2，”score“：0.8475997}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.80510867}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.8038351}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.68865556}，{”id“：”https://openalex.org/C160145156，“wikidata”：https://www.wikidata.org/wiki/Q778586“，”display_name“：”Executable“，”level“：2，”score“：0.65297675}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.63707334}，{”id“：”https://openalex.org/C2777472213，“wikidata”：https://www.wikidata.org/wiki/Q137496“，”display_name“：”Java字节码“，”level“：5，”score“：0.54852426}，{”id“：”https://openalex.org/C2779818221，“wikidata”：https://www.wikidata.org/wiki/Q837330“，”display_name“：”Bytecode“，”level“：3，”score“：0.5326053}，{”id“：”https://openalex.org/C65620979，“wikidata”：https://www.wikidata.org/wiki/Q7661176“，”display_name“：”符号数据分析“，”level“：2，”score“：0.41988814}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4109331｝，｛”id“：”https://openalex.org/C132106392，“wikidata”：https://www.wikidata.org/wiki/Q1373903“，”display_name“：”Real-time Java“，”level“：3，”score“：0.13649267}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.12706289}，{”id“：”https://openalex.org/C168702491，“wikidata”：https://www.wikidata.org/wiki/Q567345“，”display_name“：”Java注释“，”level“：4，”score“：0.1135717}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442网址“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748（网址：https://www.wikidata.org/wiki/Q7748）“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2950290.2983940“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：nuld，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.78，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：29，”referrenced_works“：[”https://openalex.org/W1506554338","https://openalex.org/W1519981183","https://openalex.org/W1523720513","https://openalex.org/W1548806133网址","https://openalex.org/W1710734607","https://openalex.org/W1720848645","https://openalex.org/W1777881387","https://openalex.org/W1895388792网址","https://openalex.org/W1971137495","https://openalex.org/W1988441831","https://openalex.org/W1988537734","https://openalex.org/W1989218486","https://openalex.org/W2042033151","https://openalex.org/W2050853996","https://openalex.org/W2061686717","https://openalex.org/W2075485888","https://openalex.org/W208073541","https://openalex.org/W2099978979","https://openalex.org/W2101512909","https://openalex.org/W2104993088","https://openalex.org/W2115273016","https://openalex.org/W2130729525","https://openalex.org/W2133612077","https://openalex.org/W2147832077","https://openalex.org/W2156723666","https://openalex.org/W2171683519","https://openalex.org/W3160978791","https://openalex.org/W4246385123","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W2884975599","https://openalex.org/W2537112085","https://openalex.org/W2160283408","https://openalex.org/W2130413583","https://openalex.org/W2080696000","https://openalex.org/W20625830","https://openalex.org/W2027642766","https://openalex.org/W1590648473","https://openalex.org/W1536265389","https://openalex.org/W1509153591“]，”ngrams_url“：”https://api.openalex.org/works/W2548465910/ngrams“，”“abstract_inverted_index”：{“We”：[0]，“present”：[1]，“the”：[2,23,39,60,79]，“Java”：[3,12]，“Bytecode”：[4]，“Symbolic”：[5]，“Executor”：[6]，“（JBSE），”：[7]，“a”：[8,29]，“symbol”：[9,30,62,97]，“Executor”：[10,63]，“for”：[11,95]，“programs”：[13,52,69]，“that”：[14,43,70]，“操作”：[15]，“打开”：[16,72]，“复杂”：[17,73]，“堆”：[18,36,74]，“输入”：[19]，“JBSE”：[20,58]，“implements”：[21]，“both”：[22]，“novel”：[24]，“Heap”：[25]，“EXploration”：[26]，“Logic”：[27]，“HEX”，“：[28]，“execution”：[31]，“approach”：[32]，“to”：[33,66,76,84,89]，“deal”：[34,67]，“with”：35,68,78]，“inputs，”：[37,75]，“and”：[38,83]，“main”：[40,80]，“最先进”：[41,81]，“方法”：[42,94]，“处理”：[44]，“数据”：[45,98]，“结构”：[46]，“约束”：[47]，“expressed”：[48]，“as”：[49]，“oneth”：[50]，“executable”：[51]，“（repOk”：[53]，“methods）”：[54]，“or”：[55]，“declarative”：[56]，“specifications.”：【57】，“is”：【59】，“first”：【61】，“specials”：【64】，“designed”：【65】，“operate”：【71】，“experimentation”：【77】，“approachs”，“：【82】，“combinet”：【85】，“differently”：【86】，“决策”：[87]，“程序”：[88]，“探索”：[90]，“可能”：[91]，“协同作用”：[92]，“中间”：[93]，“处理”：[96]，“结构”：[99]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2548465910“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：2%n，{“年份”：2022，”cited_bycount“:7}，”年“:2021，”citecd_by_count“年份”：2017，“引用_ by_count”：2}]，“更新日期”：“2024-08-13T06:21:59.817067”，“创建日期”：2016-11-11"}