{“id”：“https://openalex.org/W2156841542“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_30“，”title“：”挖掘错误检测的时态规范“，”display_name“：”为错误检测挖掘时态规范”，“publication_year”：2005，“publiation_date”：“2005-01-01”，“ids”：{“openalex”：“https://openalex.org/W2156841542“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_30“，”mag“：”2156841542“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_30.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_30.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5083601969“，”display_name“：”Westley Weimer“，”orcid“：”https://orcid.org/0000-0001-6749-2204}，“机构”：[{“id”：https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Westley Weimer“，”raw _ affiliation_strings“：[“加州大学伯克利分校”]，”affiliation“：[{”raw _affiliation_string“：”加州大学伯克莱分校“，”institution_ids“：[https://openalex.org/I95457486“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5049483484“，”display_name“：”George C.Necula“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”George C.Necula“，”raw _affiliation_strings“：[“加州大学伯克利分校”]，”affiliations“：[{”raw _affiliation_string“：”加州大学伯克莱分校“，”institution_ids“：[https://openalex.org/I95457486“]｝]｝]，“institution_assertions”：[]，“countries_destinct_count”：1，“institutions_dispict_count”：1，“corresponding_author_ids”：[]，“corresponding_institution_ids”：[]，“apc_list”：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“apc_payed”：null，“fwci”：14.519，“has_fulltext”：false，“cited_by_count”：255，“citation_normalized_permination”：｛”value“：0.99726，”is_in_top_1_percent“：true，”ise_int_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：98，”max“：99}，“biblio”：{“volume”：null，”issue“：null”，”first_page“：”461“，”last_page“：”476“}”，“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“：”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/T10260“，”display_name“：”软件工程实证研究“，”score“：0.9998，”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.9994，”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-bug“，”display_name“：”软件错误“，”score“：0.6768844}，{”id“：”https://openalex.org/keywords/software-defect-pedition网站“，”display_name“：”软件缺陷预测“，”score“：0.602046}，{”id“：”https://openalex.org/keywords/bug-localization网站“，”display_name“：”Bug本地化“，”score“：0.588393}，{”id“：”https://openalex.org/keywords/software-fault-localization网站“，”display_name“：”软件错误本地化“，”score“：0.56998}，{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.56747}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.551085}，{”id“：”https://openalex.org/keywords/control-flow网站“，”display_name“：”控制流“，”score“：0.5337907}，{”id“：”https://openalex.org/keywords/code网站“，”display_name“：”Code（set theory）“，”score“：0.49648076}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.8775115}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.7161728}，{”id“：”https://openalex.org/C1009929，“wikidata”：https://www.wikidata.org/wiki/Q179550“，”display_name“：”软件错误“，”level“：3，”score“：0.6768844}，{”id“：”https://openalex.org/C189430467，“wikidata”：https://www.wikidata.org/wiki/Q7293293“，”display_name“：”排名（信息检索）“，”级别“：2，”分数“：0.5498325}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5390427｝，｛”id“：”https://openalex.org/C160191386，“wikidata”：https://www.wikidata.org/wiki/Q868299“，”display_name“：”控制流“，”level“：2，”score“：0.5337907}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”“display_name”“：”代码（集合论）“，”级别“：3，”分数“：0.49648076}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.48914626}，{”id“：”https://openalex.org/C199519371，“wikidata”：https://www.wikidata.org/wiki/Q942695“，”display_name“：”源代码行“，”level“：3，”score“：0.48318592}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.4570061}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.43488595}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.3965941｝，｛”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.2220074}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_30.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_30.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：21，”https://openalex.org/W1558824830","https://openalex.org/W1972544179","https://openalex.org/W1998070736","https://openalex.org/W2043811931","https://openalex.org/W2089139117","https://openalex.org/W2103714221","https://openalex.org/W2119467398","https://openalex.org/W2121059325","https://openalex.org/W2128158689","https://openalex.org/W2129262850","https://openalex.org/W2140611647","https://openalex.org/W2155479707","https://openalex.org/W2295399529","https://openalex.org/W3035622664","https://openalex.org/W323988595","https://openalex.org/W4230796557","https://openalex.org/W4231709874","https://openalex.org/W4233793161","https://openalex.org/W4233832762","https://openalex.org/W4234695972","https://openalex.org/W4237087841“]，”related_works“：[”https://openalex.org/W4384302888","https://openalex.org/W4288080276","https://openalex.org/W4283697402","https://openalex.org/W3105287819","https://openalex.org/W3004570974","https://openalex.org/W2947167994","https://openalex.org/W2791411508","https://openalex.org/W2484116259","https://openalex.org/W2186856397","https://openalex.org/W2127961981“]，”abstract_inverted_index“：{“规范”：[0]，”are“：[1,95]，”required“：[2]，”in“：[3100121143]，”order“：[4]，”to“：[5,28,83107115132168]，”find“：[6119128140151]，”software“：[7]，”bugs“：[8120142154]，”using“：[9155]，”program“：[10]，”verification“：[11]，”tools.“：%12]，”This“：[13]，”paper“：[14]，“礼物”：[15]，“a”：[16]，“小说”：[17]，“automatic“：[18]，”specification“：[19]，”mining“：[20]，”algorithm“：[21,34106161]，”that“：[22,40,60,94118166]，”uses“：[23]，”information“：[24]，”about“：[25]，”error“：[26]，”handling“：[27]，”learn“：[29116]，”temporal“：[30]，”safety“：[31]，”rules。“：[32]，”Our“：[33]，”is“：[35]，”based“：[36]，”on“：[37，54]，”the“：[38，64，67]，”observation“：[39]，”programs“：[4110]，”frequency“：[42]，”make“：[43]，”errors“：[44]，”along“：[45]，”exceptional“：[46]，”control flow“：[47]，”path“：[48]，”even“：[49]，”when“：[50]，”they“：[51]，“行为”：[52]，“正确”：[53]，“正常”：[55]，“执行”：[56]，“路径。“：[57]，“我们”：[58,76,87139]，“显示”：[59]，“此”：[61]，“焦点”：[62]，“改进”：[63]，“有效性”：[65]，“的”：[66147]，“矿工”：[68]，“用于”：[69,73]，“发现”：[70]，“规范”：[71117131157165]，“有益”：[72]，“错误”：[74]，“查找”。“：[75]，”当前“：[77]，”定量“：[78]，”结果“：[79]，”比较“：[80]，”我们的“：[81105125160]，”技术“：[82]，”四“：[84]，”现有“：[85108]，”矿工。“：[86]，”突出显示“：[88]，”假设“：[89]，”作出“：[90]，”由“：[91159]，”各种“：[92]，”矿工“：[93]，”不“：[96]，”总是“：[97]，”出生“：[98]，”外出“：[99]，”实践。“：[101]，”另外，“：[102]，”我们“：[103127150]，”应用“：[104167]，”Java“：[109]，”和“：[111]，”分析“：[112]，”它的“：[113]，”能力“：[114]，”那些“：[122]，”程序。“：[123170]，”In“：[124]，”experiences“：[126]，”filtering“：[129]，”candidate“：+130]，”be“：[133]，”more“：[134153]，”important“：%135]，”than“：[136162]，”ranking“：[137]，”them。“：[138]，”430“：[141]，”1“：[144]，”百万“：[145]，”行“：[146]，”代码。“：[148]，”值得注意的是，“：[149]，”250“：[152]，”每个程序“：[156]，”学习“：[158]，”with“：[163]，”generic“：[164]，”all“：[169]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2156841542“，”counts_by_year“：[{”年“：2024，”cited_by_count“：4}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：7}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：11}，{“年份”:2016，“引用_by_counts”：10}，}“年份“：2015，”cited_by_count“：16}，{“年份”：2014，“cited_by_count”：12}，}“年份“：2013，“cited_bycount”:16}、{“年度”：2012，“citesd_bycunt”：17}]，“updated_date”：“2024-09-19T00:24:32.602176”，“创建日期”：“2016-06-24”}