{“id”：“https://openalex.org/W4327911462“，”doi“：”https://doi.org/10.1145/3582016.3582058203“，”title“：”通过编译器驱动的差异测试查找不稳定代码“，”display_name“：”使用编译器驱动的差别测试查找不稳定性代码“，“publication_year”：2023，“publiation_date”：“2023-03-25”，“ids”：{“openalex”：“https://openalex.org/W4327911462“，”doi“：”https://doi.org/10.1145/3582016.3582058203“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3582016.3582058203“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_urlhttps://doi.org/10.1145/3582016.3582058203“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5031263402“，”display_name“：”李少华“，”兽人“：”https://orcid.org/0000-0002-9359-5714}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Shaohua Li“，”raw _affiliation_strings“：[“ETH Zurich，Switzerland”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5065937088“，”display_name“：”苏振东“，”兽人“：”https://orcid.org/0000-0002-6731-6937}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Zhendong Su“，”raw _affiliation_strings“：[“ETH Zurich，Switzerland”]}]“countries_distict_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc paid”：nul，“has_fulltext”：false y_count“：1，”cited_by_percentile_year“：{“min”：78，“max”：88}，“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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9993，”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9991，”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/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.48116}]，”concepts“：[{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.8485157}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79294956}，{”id“：”https://openalex.org/C165696696，“wikidata”：https://www.wikidata.org/wiki/Q11287“，”display_name“：”Exploit“，”level“：2，”score“：0.66070616}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.62448746}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”display_name“：”Code（set theory）“，”level“：3，”score“：0.55704516}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.513095}，{”id“：”https://openalex.org/C133162039，“wikidata”：https://www.wikidata.org/wiki/Q1061077“，”display_name“：”代码生成“，”level“：3，”score“：0.4141559}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.37225157}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.18563992}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.07155529}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3582016.3582058203“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url”：“https://doi.org/10.1145/3582016.3582058203“，”pdf_url“：null，”source“：null，”license“：null.，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[].，”versions“：[https://openalex.org/W1978364288","https://openalex.org/W2061504544","https://openalex.org/W2122868537","https://openalex.org/W2170737051","https://openalex.org/W2343875716","https://openalex.org/W2414287720","https://openalex.org/W2574017551","https://openalex.org/W2701082322","https://openalex.org/W2740264376","https://openalex.org/W2777430404","https://openalex.org/W2914233782","https://openalex.org/W2947182139","https://openalex.org/W3043201130","https://openalex.org/W3101845936","https://openalex.org/W3126096841","https://openalex.org/W3166956180","https://openalex.org/W319441001","https://openalex.org/W4237993802网址","https://openalex.org/W4238596068","https://openalex.org/W4240590466","https://openalex.org/W4246807209","https://openalex.org/W4250691433","https://openalex.org/W4285490477","https://openalex.org/W4289038676","https://openalex.org/W4365799995","https://openalex.org/W4365806382“]，”related_works“：[”https://openalex.org/W650988184","https://openalex.org/W60915090","https://openalex.org/W4321184925","https://openalex.org/W2162410319","https://openalex.org/W2161692994","https://openalex.org/W2137356287","https://openalex.org/W2048831961","https://openalex.org/W2025840053","https://openalex.org/W1606349578","https://openalex.org/W1483618713“]，”ngrams_url“：”https://api.openalex.org/works/W4327911462/ngrams网站“，”“abstract_inverted_index”：{“不稳定”：[0]，“代码”：[1,4]，“引用”：[2]，“to”：[3,13,32,66]，“that”：[5,25,69]，“has”：[6]，“inconsistent”：[7,38]，“or”：[8]，“Unstable”：[9]，“run-time”：[10]，“semantics”：[11]，“due”：[12]，“undefined”：[14]，“behavior”：[15]，“（UB）”：[16]，”in：[17]，“the”：[18,72]，“program.”：[19]，“Compilers”：[20]，“exploit”：[21]，“UB”：[22,26]，“by”：[23]，“假设“：[24]，“never”：[27]，“occurres”，“：[28]，“which”：[29]，“allows”：[30]，“them”：[31]，“generate”：[33]，“efficient”：[34]，“but”：[35]，“potential”：[36]，“semantically”：[37]，“binaries”。“：[39]，”实践者“：[40]，”have“：[41]，”put“：[42]，”great“：[43]，”research“：[44]，”and“：[45]，”engineering“：[46]，”effect“：[47]，”into“：[48]，”designing“：[49]，”dynamic“：[50]，”tools“：[51]，”such“：[22]，”as“：[53]，”santizers“：[24]，”for“：[55]，”frequency“：[56]，”occurring“：[57]，“UB。“：[58]，”“然而，”：[59]，“it”：[60]，“remains”：[61]，“a”：[62]，“big”：[63]，“challenge”：[64]，“how”：[65]，“detect”：[67]，“UBs”：【68】，“are”：【70】，“beyond”：【71】，“reach”：【73】，“of”：【74】，“current”：【75】，“technologies”。“：[76]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4327911462“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}]，”更新日期“：”2024-05-26T18:42:55.430141“，”创建日期“：“2023-03-21”}