｛“id”：“https://openalex.org/W4378770802“，”doi“：”https://doi.org/10.1145/3597926.3598088“，”title“：”ACETest:“测试深度学习操作符的自动约束提取”，“display_name”：“ACETest：测试深度学习运算符的自动约束抽取”，“publication_year”：2023，“publiation_date”：“2023-07-12”，“ids”：{“openalex”：“https://openalex.org/W4378770802“，”doi“：”https://doi.org/10.1145/3597926.3598088“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3597926.3598088“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：真，”oa_status“：”green“，”https://doi.org/10.1145/3597926.3598088“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5077066897“，”display_name“：”精义石“，”兽人“：”https://orcid.org/0000-0002-9017-3006“｝，”机构“：[｛”id“：”https://openalex.org/I4210156404“，”display_name“：”信息工程研究所“，”ror“：”https://ror.org/04r53se39“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210156404“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Jingyi Shi“，”raw _ afiliation_strings“：[“中国科学院信息工程研究所/中国科学院大学”]，”affiliations“：”中国科学院信息工程研究所/中国科学院大学“，”institution_ids“：[”https://openalex.org/I4210156404","https://openalex.org/I4210165038“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5002610396“，”display_name“：”杨晓“，”orcid“：”https://orcid.org/0000-0003-1058-9536“｝，”机构“：[｛”id“：”https://openalex.org/I4210156404“，”display_name“：”信息工程研究所“，”ror“：”网址：https://ror.org/04r53se39“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210156404“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Yang Xiao“，”rau_affiliation_strings“：【”中国科学院信息工程研究所/中国科学院大学“】，”affiliations“：”中国科学院信息工程研究所/中国科学院大学“，”institution_ids“：[”https://openalex.org/I4210156404","https://openalex.org/I4210165038“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5068561556“，”display_name“：”李月康“，”兽人“：”https://orcid.org/0000-0003-4382-0757“｝，”机构“：[｛”id“：”https://openalex.org/I31746571“，”display_name“：”新南威尔士大学悉尼分校“，”ror“：”https://ror.org/03r8z3t63“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I31746571“]}]，”countries“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Yuekang Li“，”raw _affiliation_strings“：【”UNSW，Australia“】，”affiliations“：[{”raw _affiliation_string“：”UNSW.，Austraia“，”institution_ids“：[“https://openalex.org/I31746571“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5037974123“，”display_name“：”Yeting Li“，”orcid“：”https://orcid.org/0000-0003-0991-4231“｝，”机构“：[｛”id“：”https://openalex.org/I4210156404“，”display_name“：”信息工程研究所“，”ror“：”https://ror.org/04r53se39“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210156404“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Yeting Li“，”raw _ afiliation_strings“：【”中国科学院信息工程研究所/中国科学院大学“】，”affiliations“：”中国科学院信息工程研究所/中国科学院大学“，”institution_ids“：[”https://openalex.org/I4210156404","https://openalex.org/I4210165038“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5034476404“，”display_name“：”董瑜“，”兽人“：”https://orcid.org/0000-0003-0520-6844“}，”机构“：[]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”余东松“，”raw _ afiliation_strings“：[“中国中关村实验室”]，”隶属关系“：[{”raw_ afiliation _string“：”中国中关镇实验室“，”机构id“：[]}，{”author_position“：”中间“，”作者“：{”id“https://openalex.org/A5037970349“，”display_name“：”陈东玉“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I4210156404“，”display_name“：”信息工程研究所“，”ror“：”https://ror.org/04r53se39“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210156404“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”余晨东“，”raw_affiation_string“：[”中国科学院信息工程研究所/中国科学院大学“]，”附属“：[{”raw_affiation_string“：”中国科学院信息工程研究所/中国科学院大学“，”institution_ids“：[”https://openalex.org/I4210156404","https://openalex.org/I4210165038“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A50644445567“，”display_name“：”Hui Su“，”orcid“：”https://orcid.org/0000-0003-0340-1128“｝，”机构“：[｛”id“：”https://openalex.org/I4210156404“，”display_name“：”信息工程研究所“，”ror“：”https://ror.org/04r53se39“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210156404“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Hui Su“，”raw _affiliation_strings“：[“中国科学院信息工程研究所/中国科学院大学”]，”affiliations“：”中国科学院信息工程研究所/中国科学院大学“，”institution_ids“：[”https://openalex.org/I4210156404","https://openalex.org/I4210165038“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5047932411“，”display_name“：”陈玉凤“，”兽人“：”https://orcid.org/0000-0002-4524-4522“｝，”机构“：[｛”id“：”https://openalex.org/I4210156404“，”display_name“：”信息工程研究所“，”ror“：”https://ror.org/04r53se39“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210156404“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Yufeng Chen“，”raw_affiliation_strings“：[“中国科学院信息工程研究所/中国科学院大学”]，”affiliations“：”中国科学院信息工程研究所/中国科学院大学“，”institution_ids“：[”https://openalex.org/I4210156404","https://openalex.org/I4210165038“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5050683592“，”display_name“：”卫火“，”兽人“：”https://orcid.org/0009-0000-7121-1196“｝，”机构“：[｛”id“：”https://openalex.org/I4210156404“，”display_name“：”信息工程研究所“，”ror“：”https://ror.org/04r53se39“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210156404“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Wei Huo“，”raw_affiliation_strings“：[“中国科学院信息工程研究所/中国科学院大学”]，”affiliations“：”中国科学院信息工程研究所/中国科学院大学“，”institution_ids“：[”https://openalex.org/I4210156404","https://openalex.org/I4210165038“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：null，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count）：0，”cited_by_percentile_year“：{”min“：0，“max”：77}，“biblio”：{“volume”：null，“issue”：null，“first_page”：nullast_page“：null}，”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“：”物理科学“}}，”主题“：[{”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/s710“，”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/T11689“，”“display_name”：“深度学习模型中的对抗稳健性”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.525131}，{”id“：”https://openalex.org/keywords/code-clone-detection网站“，”display_name“：”代码克隆检测“，”score“：0.51858}，{”id“：”https://openalex.org/keywords/software-defect-pedition网站“，”display_name“：”软件缺陷预测“，”score“：0.512243}，{”id“：”https://openalex.org/keywords/dynamic-test-generation（https://openalex.org/keywords/dynamic-test-generation）“，”display_name“：”动态测试生成“，”score“：0.501921}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.75227904}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”“display_name”“：”代码（集合论）“，”级别“：3，”分数“：0.66003543}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.59294516}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.57112646}，{”id“：”https://openalex.org/C108583219，“wikidata”：https://www.wikidata.org/wiki/Q197536“，”display_name“：”深度学习“，”level“：2，”score“：0.5687183}，{”id“：”https://openalex.org/C56666940，“wikidata”：https://www.wikidata.org/wiki/Q788790“，”display_name“：”Documentation“，”level“：2，”score“：0.49078736}，{”id“：”https://openalex.org/C2779530757，“wikidata”：https://www.wikidata.org/wiki/Q1207505“，”display_name“：”质量（理念）“，”level“：2，”score“：0.47384816}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.4668152}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.372651}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.34898785｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.30325624}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.09373635}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3597926.3598088“，”pdf_url“：null，”source“：null，”license“：null.，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/2305.17914，“pdf_url”：https://arxiv.org/pdf/2305.17914，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.2305.17914“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3597926.3598088“，”pdf_url“：null，”source“：nul，”license“：nully，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[”https://openalex.org/W4378770802“]，”referenced_works_count“：25，”referrenced_works“：[”https://openalex.org/W2101512909","https://openalex.org/W2159899121","https://openalex.org/W2297774820","https://openalex.org/W2350778671","https://openalex.org/W2735004968","https://openalex.org/W2755634893","https://openalex.org/W2985896598","https://openalex.org/W2994475624","https://openalex.org/W3113381077","https://openalex.org/W3142658990","https://openalex.org/W3177562315","https://openalex.org/W3190470290","https://openalex.org/W3199980055","https://openalex.org/W3214149487","https://openalex.org/W4237993802网址","https://openalex.org/W4238596068","https://openalex.org/W4245744969","https://openalex.org/W4253813365","https://openalex.org/W4285490400（网址：https://openalex.org/W4285490400）","https://openalex.org/W4286795887","https://openalex.org/W4289753991","https://openalex.org/W4302344769","https://openalex.org/W4308643994","https://openalex.org/W4321993631","https://openalex.org/W4384347367“]，”related_works“：[”https://openalex.org/W313163342","https://openalex.org/W3089582840","https://openalex.org/W2618286804","https://openalex.org/W2361728394","https://openalex.org/W2352631095","https://openalex.org/W2329643025","https://openalex.org/W2166271660","https://openalex.org/W2142369114","https://openalex.org/W2092256833","https://openalex.org/W2002770077“]，”ngrams_url“：”https://api.openalex.org/works/W4378770802/ngrams网站“，”“abstract_inverted_index”：{“Deep”：[0]，“learning”：[1]，“（DL）”：[2]，“applications”：[3]，“are”：[4,16,25,80]，“popular”：[5]，“todaw”：[6]，“as”：[7]，“they”：[8]，“can”：[9,45163179214]，“help”：[10]，“with”：[111217260275]，3,58,64114173187206]，“库”：[15]，“基本”：[17,69]，“用于”：[18,54,99]，“构建“：[19,28]，”应用程序。“：[21]，”“此外，”：[22]，“运算符”：[24,44,65]，“the”：[26,31,36,71,75,84,89,93119127133153182190199266271]，“important”：[27]，“blocks”：[29]，“of”：[30,881131722282270]，“libraries”：[33207]，”that“：[34,70212]，“compute”：[35]，“multimensional”：[37]，“data”：[3]，“（张量）。“：[39]，”因此，“：[40]，”错误“：[41,56166240255272]，”in“：[42,57167186]，”have“：[46247]，”great“：[47]，”impacts。“：[48282]，”测试“：[49]，”是“：[50,68,97226]，”a“：[51144]，”实用“：[52]，”方法“：[53]，”检测“：[55234]，”运算符。“：[59,90174]，“In”：[60244]，“order”：[61]，“to”：[62,82117146198236250279]，“test”：[63,72102160195]，“effectively”，“：[66]，“it”：[67]，“cases”：[73161196]，“pass”：[74]，“input”：[76,94149183]，“validity”：[77]，“check”：[78]，“and”：[79126193209233258]，“able”：[81]，“reach”：[83]，“核心”：[85169]，“功能”：[86170]，“逻辑”：[87171]，“因此”：[91]，“提取“：[92229]，”验证“：[95150184]，”约束“：[96125129151192216232]，”必需“：[98]，”生成“：[100]，”高质量“：[101]，”案例。“：[103]，”现有“：[104]，”技术“：[105]，”依赖“：[106]，”依靠“：[107204256]，”要么“：[108]，”人类“：[109]，”努力“：[110]，”或“：[111]，”文档“：[112]，”库“：[115]，”API“：[116]，”摘录“：[11123148189215]，”约束。“：[120200]，”他们“：[121]，”不能“：[122]，”复杂“：[124]，”提取“：[128]，”可以“：[130]，”不同“：[131]，”来自“：[132152]，”实际“：[134]，”代码“：[135154185]，”实现。“：[136]，“收件人”：[137]，“地址”：[138]，“挑战”：[140]，“我们”：[141246]，“提议”：[142]，“ACETest”：[143]，“技术”：[145]，“自动”：[147180]，“构建”：[156]，“有效”：[157]，“尚未”：[158]，“多样”：[159]，“其中”：[162]，“高效”：[164]，“揭幕”：[165]，“对于”：[175]，“此”：[176]，“目的”：[177]，“ACETest”：[178213225249]，“识别”：[181]，“运算符，“：[188]，”相关“：[191]，”生成“：[194]，”依据“：[197]，”The“：[201]，”实验“：[202]，”results“：[203]，”popular“：[205]，”TensorFlow“：[208257]，”PyTorch“：[210259]，”演示“：[211]，”更高“：[218]，”质量“：[219]，”比“：[220241]，”最先进“：[221]，”（SOTA）“：[222]，”技术。“：[223243]，“此外，”：[224]，“有能力”：[227]，“96.4%”：[230]，“更多”：[231239]，“1.95”：[235]，“55”：[237]，“次数”：[238]，“SOTA”：[242]，“总数”：[245]，“已使用”：[248]，“检测”：[251]，“108”：[252]，“之前”：[253]，“未知”：[254]，“87”：[261]，“它们”：[263]，“确认”：[264]，“由”：[265]，“开发者”。“：[267]，”最后，“：[268]，”五“：[269]，”是“：[273]，”分配“：[274]，”CVE“：[276]，”ID“：[277]，”到期“：[278]，”他们的“：[280]，”安全“：[281]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W4378770802“，”counts_by_year“：[]，”updated_date“：”2024-06-26T06:21:31.070644“，”created_date”：“2023-05-31”}