{“id”：“https://openalex.org/W3171205199“，”doi“：”https://doi.org/10.1111/exsy.12707“，”title“：”优化需求\u2010-driven null dereference verification via merging branches“，”display_name“：”最优化需求\u2010驱动的null derreference verifience via mersing branchs“，”publication_year“：2021，”publiation_date“：”2021-05-27“，”ids“：{”openalex“：”https://openalex.org/W3171205199“，”doi“：”https://doi.org/10.1111/exsy.12707“，”mag“：”3171205199“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1111/exsy.12707“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S72232612“，”display_name“：”Expert systems“，”issn_l“：”0266-4720“，”isn“：[”0266~4720“、”1468-0394“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320503“，”“host_organization_name”：“Wiley-Blackwell”，“host_organization_lineage”：[“https://openalex.org/P4310320503","https://openalex.org/P4310320595“]，”host_organization_lineage_names“：[”Wiley-Blackwell“，”Wiley“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jordal-article”，“indexed_in”：[”crossref“]，“：null，”any_repository_has_fulltext“：false}，“作者”：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5061304206“，”display_name“：”程慧慧“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I141962983“，”display_name“：”上海工程科技大学“，”ror“：”https://ror.org/0557b9y08“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I141962983“]}，{”id“：”https://openalex.org/I4210092257“，”display_name“：”中国广州分析测试中心“，”ror“：”https://ror.org/00d6bjs95“，”country_code“：“CN”，”type“：”other“，”seriance“：[”https://openalex.org/I4210092257“]}]，”国家“：[”CN“]，”is_corresponding“：true，”raw_author_name“：”程慧慧“，”raw _ afiliation_strings“：[“上海大学计算机工程与科学学院，中国上海”，“上海市计算机软件测试与评估重点实验室，中国上海市”]，“affiliations“：[{”raw_affiliation_string“：”上海大学计算机工程与科学学院，中国上海“，”institution_ids“：[”https://openalex.org/I141962983“]}，{”raw_affiliation_string“：”上海计算机软件测试与评估重点实验室，上海计算机软件测评重点实验室，中国上海“，”institution_ids“：[”https://openalex.org/I4210092257“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5002818077“，”display_name“：”曾洪伟“，”orcid“：”https://orcid.org/0000-0002-9558-7304}，“机构”：[{“id”：https://openalex.org/I141962983“，”display_name“：”上海工程科技大学“，”ror“：”https://ror.org/0557b9y08“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I141962983“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”曾宏伟“，”raw _ afiliation_strings“：[“上海大学计算机工程与科学学院，中国上海”]，”affiliations“：[{”raw_ afiliation _string“：”上海大学计算机科学学院，“institution_ids”：[“https://openalex.org/I141962983“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5061304206“]，”对应的机构ID“：[”https://openalex.org/I141962983","https://openalex.org/I4210092257“]，”apc_list“：{”value“：3860，”currency“：”USD“，”value_USD“：3860'，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：null'，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{“min”：0，“max”：63}，“biblio”：{“volume”：“39”，“issue”：“6”，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9997，“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.9997，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9983，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.50703｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.9025026}，{”id“：”https://openalex.org/C203763787，“wikidata”：https://www.wikidata.org/wiki/Q371029“，”display_name“：”Null（SQL）“，”level“：2，”score“：0.77314913}，{”id“：”https://openalex.org/C185798385，“wikidata”：https://www.wikidata.org/wiki/Q1161707“，”display_name“：”基准（测量）“，”level“：2，”score“：0.71587574}，{”id“：”https://openalex.org/C2777735758，“wikidata”：https://www.wikidata.org/wiki/Q817765“，”display_name“：”Path（computing）“，”level“：2，”score“：0.54277974}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.4828406｝，｛”id“：”https://openalex.org/C191988596，“wikidata”：https://www.wikidata.org/wiki/Q628374“，”display_name“：”空假设“，”level“：2，”score“：0.4329208}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.345648}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.3253443}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14828035}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.09467521}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C13280743，“wikidata”：https://www.wikidata.org/wiki/Q131089“，”display_name“：”大地测量学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”Geography“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1111/exsy.12707“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S72232612“，”display_name“：”Expert systems“，”issn_l“：”0266-4720“，”isn“：[”0266~4720“、”1468-0394“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320503“，”“host_organization_name”：“Wiley-Blackwell”，“host_organization_lineage”：[“https://openalex.org/P4310320503","https://openalex.org/P4310320595“]，”host_organization_lineage_names“：[”Wiley-Blackwell“，”Wiley“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nul，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：[/]，“versions”：[]]，“referenced_works_count”：23，“referrenced_works”：“”https://openalex.org/W1966982815","https://openalex.org/W1993836075","https://openalex.org/W2002187504","https://openalex.org/W2054195955","https://openalex.org/W2058895276","https://openalex.org/W2100519719","https://openalex.org/W2144981449","https://openalex.org/W2146182821","https://openalex.org/W2149222015","https://openalex.org/W2150874411","https://openalex.org/W2151655370","https://openalex.org/W2469491375","https://openalex.org/W2912425680","https://openalex.org/W2954121408","https://openalex.org/W2954183584","https://openalex.org/W2955188035","https://openalex.org/W2968585938","https://openalex.org/W2999115679","https://openalex.org/W3005616107","https://openalex.org/W3089510663","https://openalex.org/W3090199681","https://openalex.org/W3107488247","https://openalex.org/W4246117430“]，”related_works“：[”https://openalex.org/W4306992821","https://openalex.org/W4306992806","https://openalex.org/W4306992803","https://openalex.org/W4306992794","https://openalex.org/W4239137652","https://openalex.org/W2979681497","https://openalex.org/W2590542766","https://openalex.org/W2369782938","https://openalex.org/W2130815278","https://openalex.org/W1999826675“]，”ngrams_url“：”https://api.openalex.org/works/W3171205199/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“Null”：[1]，“dereference”：[2,21,48,64]，“is”：[3,15,25,89,95]，“a”：[4,20,45,54,62,72,81]，“common”：[5]，“type”：[6]，“of”：[7102]，“runtime”：[8]，“failure”：[9]，“in”：[10,22110]，“Java”：[11]，“programs”：[12]，“and”：[13,35,72]80126130]，“it”：[14,94]，“必要”：[16,96]，“to”：[17,60,76,85,91,97]，“验证”：[18,61]，“是否“：[19,93]，”该“：[23,86,99103108]，”程序“：[24]，”安全。“：[26]，”“然而，”：[27]，“前一个”：[28]，“作品”：[29]，“经常”：[30]，“有”：[31106]，“冗余”：[32,78]，“路径”：[33]，“探索”：[34]，“高”：[36]，“假”：[37123]，“正”：[38]，“速率”。“：[39]，”In“：[40]，”this“：[41]，”paper“：[42]，”we“：%43]，”propose“：[44]，”merged“：[46]，”null“：[47,87]，”verification“：[49]，”（MNDV）“：[50]，”approach。“：[51]，”MNDV“：[52]，”employes“：[53]，”backward“：[55]，”path\u2010sensitive“：[56]，”inter\u2010procedural“：[57]，”analysis“：[58]，”technology“：[59]，”given“：【63】，“as”：【65】，“safe”：【66】，“or”：【67】，“potential”：【68】，“unsafe”。“：[69]，“It”：[70]，“uses”：[71]，“branch”：[73]，“merging”：[74]，“strategy”：[75]，“remove”：77]，“paths，”：[79]，“method”：[82]，“call’s”：[83]，“relociation”：[84]，“references”：88]，“checked”：90]，“determine”：[92]，“explore”：[98]，“internal”：[100]，“codes”：[101]，“方法。“：[104]，”我们“：[105]，”评估“：[107]，”方法“：[109121]，”部分“：[11111 7]，”标准“：[112]，”基准“：[113]，”程序。“：[114]，“比较”：[115]，“与”：[116]，“现有”：[118]，“方法”，：[119]，“我们的”：[120]，“减少”：[122]，“警报”：[124]，“速率”：[125]，“有效”：[127]，“降低”：[128]，“时间”：[129]，“内存”：[131]，“消耗”。“：[132]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3171205199“，”counts_by_year“：[]，”updated_date“：”2024-06-19T22:36:15.495224“，”created_date:“2021-06-22”}“