{“id”：“https://openalex.org/W4293228121“，”doi“：”https://doi.org/10.1145/3511430.3511453“，”title“：”处理符号执行中的内存相关操作“，”display_name“：”在符号执行中处理内存相关操作”，“publication_year”：2022，“publitation_date”：“2022-02-24”，“ids”：{“openalex”：“https://openalex.org/W4293228121“，”doi“：”https://doi.org/10.1145/3511430.3511453“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3511430.3511453“，”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/A5046416550“，”display_name“：”Luca Borzacchielo“，”orcid“：”https://orcid.org/0000-0001-7198-5175}，“机构”：[{“id”：https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Luca Borzacchiello“，”raw _ afiliation_strings“：[“意大利罗马萨皮恩扎大学”]，”affiliations“：[{”raw _affiliation_strong“：”意大利罗马萨皮恩扎大学“，”institution_ids“：[https://openalex.org/I861853513“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5053939046“，”display_name“：”Emilio Coppa“，”orcid“：”https://orcid.org/0000-0002-8094-871X}，“机构”：[{“id”：https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Emilio Coppa“，”raw _ afiliation_strings“：[“意大利罗马萨皮耶萨大学”]，”affiliations“：[{”raw _affiliation_string“：”意大利罗马萨皮耶萨大学“，”institution_ids“：[https://openalex.org/I861853513“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066534034“，”display_name“：”Camil Demetrescu“，”orcid“：”https://orcid.org/0000-0002-4686-6745}，“机构”：[{“id”：https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Camil Demetrescu“，”raw _ afiliation_strings“：[意大利罗马萨皮耶扎大学]，”affiliations“：[{”raw _affiliation_string“：”意大利罗马萨皮耶扎大学“，”institution_ids“：[“https://openalex.org/I861853513“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：1.143，”has_fulltext“：false，”cited_by_count：null，“first_page”：空，“last_page”：空}，“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“：”Physical Sciences“｝｝，”topics“：[｛”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/T11241“，”display_name“：”Android恶意软件的表征和检测“，”score“：0.9996，”subfield“：｛”id“：”https://openalex.org/subfields/1711“，”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.9989，”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/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.600518}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.502719}]，”concepts“：[{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.8375808}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8344472}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.52097017}，{”id“：”https://openalex.org/C145428669，“wikidata”：https://www.wikidata.org/wiki/Q471748“，”display_name“：”异常处理“，”level“：2，”score“：0.48982498}，{”id“：”https://openalex.org/C11219265，“wikidata”：https://www.wikidata.org/wiki/Q5158734“，”display_name“：”Concolic testing“，”level“：4，”score“：0.48227885}，{”id“：”https://openalex.org/C1009929，“wikidata”：https://www.wikidata.org/wiki/Q179550“，”display_name“：”软件错误“，”level“：3，”score“：0.4298774}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.40468067}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.35793018}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3511430.3511453“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：22，“referrenced_works”：[”https://openalex.org/W1710734607","https://openalex.org/W1970005004","https://openalex.org/W2107147876","https://openalex.org/W2113864883","https://openalex.org/W2132897303","https://openalex.org/W2137351629","https://openalex.org/W2138788987","https://openalex.org/W2144123593","https://openalex.org/W2192387223","https://openalex.org/W2199071416","https://openalex.org/W2514974017","https://openalex.org/W2621276321","https://openalex.org/W266243929","https://openalex.org/W2950111469","https://openalex.org/W2963723316","https://openalex.org/W2967996334","https://openalex.org/W2998122443","https://openalex.org/W3008874807","https://openalex.org/W3043337184","https://openalex.org/W3047753578","https://openalex.org/W3161338937","https://openalex.org/W3172606155“]，”related_works“：[”https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W34311366","https://openalex.org/W3164065471","https://openalex.org/W3134905881","https://openalex.org/W2963243795","https://openalex.org/W2553223552","https://openalex.org/W2296669295","https://openalex.org/W1983849186","https://openalex.org/W1637912404“]，”ngrams_url“：”https://api.openalex.org/works/W4293228121/ngrams网站“，”abstract_inverted_index“：{”Symbolic“：[0]，”execution“：[1,20]，”is“：[2,47]，”a“：[3]，”popular“：[4]，”software“：[5]，”testing“：[6]，”technology“：[7]，”that“：[8]，”can“：[9]，”help“：[10]，”developers“：[11]，”identifident“：[12]，”complex“：[13]，”bugs“：[14]，“in”：[15]，“real”：[16]，“应用程序”：[17]，“不幸”：[18]，“符号”：[19]，“可能”：[21]，“斗争”：[22]，“at”：[23]，“analysis”：[24]，“programs”：[25]，“containing”：[26]，“memory-intensive”：[27]，“operations”，“：[28]，“such”：[29]，“as”：[30]，“memcpy”：[31]，“and”：[32]，“menset”：[33]，“wherever”：[34]，“these”：[35]，“operations”：[36]，“are”：[37]，“carried”：[38]，“out”：[39]，“over”：[40]，“内存”：[41]，“块”：[42]，“其”：[43]，“大小”：[44]，“或”：[45]，“地址”：[46]，“符号”：[48]，“即”：[49]，“输入依赖”：[50]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W4293228121“，”counts_by_year“：[{”年“：2022，”cited_by_count“：2}]，”更新日期“：”2024-06-22T15:13:01.841138“，”创建日期“：“2022-08-27”}