{“id”：“https://openalex.org/W3131705400“，”doi“：”https://doi.org/10.1007/978-3-030-68446-4_14“，”title“：”Testing Your（Static Analysis）Truths“，”display_name“：”Testing Your（静态分析）Truth“，”publication_year“：2021，”publiation_date“：”2021-01-01“，”ids“：{”openalex“：”https://openalex.org/W3131705400“，”doi“：”https://doi.org/10.1007/978-3-030-68446-4_14“，”mag“：”3131705400“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-68446-4_14“，”pdf_url“：空，”源“：{”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://oa.upm.es/70113/1/HERMENEGILDO_2021-04.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5012641100“，”display_name“：”Ignacio Casso“，”orcid“：”https://orcid.org/0000-0001-9196-7951}，“机构”：[{“id”：https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：true，”raw_author_name“：”Ignacio Casso“，”raw _ afiliation_strings“：[“IMDEA Software Institute，Madrid，Spain”]，”affiliations“：[{”raw _affiliation_strong“：”IMDEA软件Institutes，Madride，Spains“，”institution_ids“：[https://openalex.org/I4210162154“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038035949“，”display_name“：”Isabel Garc\u00eda-Contrreras“，”orcid“：”https://orcid.org/0000-0001-6098-3895}，“机构”：[{“id”：https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Jos\u00e9 F.Morales“，”raw _ afiliation_strings“：[“西班牙马德里IMDEA软件研究所”]，”affiliations“：[{”raw _affiliation_strong“：”西班牙马德里IMDEA软件研究所“，”institution_ids“：[https://openalex.org/I4210162154“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A503052172“，”display_name“：”Pedro L\u00f3pez-Garc\u00eda“，”orcid“：”https://orcid.org/0000-0002-1092-2071}，“机构”：[{“id”：https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”country_code“：”ES“，”type“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”P.L\u00f3pez-Garc\u00eda“，”raw _affiliation_strings“：[“西班牙马德里IMDEA软件研究所”]，”affiliations“：[{”raw _affiliation_string“：”西班牙马德里IMDEA软件研究院“，”institution_ids“：[https://openalex.org/I4210162154“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5073531919“，”display_name“：”Manuel V.Hermenegildo“，”orcid“：”https://orcid.org/0000-0002-7583-323X}，“机构”：[{“id”：https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Manuel V.Hermenegildo“，”raw _ afiliation_strings“：[“西班牙马德里IMDEA软件研究所”]，”affiliations“：[{”raw _affiliation_string“：”西班牙马德里IMDEA软件研究院“，”institution_ids“：[https://openalex.org/I4210162154“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5012641100“]，”对应的机构ID“：[”https://openalex.org/I4210162154“]，”apc_list“：{“value”：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：1.912，”has_fulltext“：false，”cited_by_count“：3，”citation_normalized_percentile“：{”value“：0.829161，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：fales}，，“max”：77}，“biblio”：{“volume”：空，“issue”：空first_page“：”271“，”last_page“：”292“}，”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“：”Software“｝，”field“：｛”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“：”Software“｝，”field“：｛”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.9988，“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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.998，”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/static-analysis网站“，”display_name“：”静态分析“，”score“：0.582345}，{”id“：”https://openalex.org/keywords/automated-testing（https://openalex.org/keywords/automated-testing）“，”display_name“：”自动测试“，”score“：0.549828}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.535014}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.500359}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8411132}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.38921028}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-68446-4_14“，”pdf_url“：空，”源“：{”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://oa.upm.es/70113/，“pdf_url”：https://oa.upm.es/70113/1/HERMENEGILDO_2021-04.pdf，“源”：{“id”：https://openalex.org/S4306402421“，”display_name“：”Archivo Digital UPM（Universidad Polit\u00e9cnica de Madrid）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I88060688“，”“host_organization_name”：“马德里政治大学\u00e9cnica de Madrid”，“host_organization_lineage”：[“https://openalex.org/I88060688“]，”host_organization_lineage_names“：[”马德里政治大学\u00e9cnica de Madrid“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://oa.upm.es/70114/，“pdf_url”：https://oa.upm.es/70114/1/HERMENEGILDO_2020-02.pdf，“源”：{“id”：https://openalex.org/S4306402421“，”display_name“：”Archivo Digital UPM（Universidad Polit\u00e9cnica de Madrid）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I88060688“，”“host_organization_name”：“马德里政治大学\u00e9cnica de Madrid”，“host_organization_lineage”：[“https://openalex.org/I88060688“]，”host_organization_lineage_names“：[”马德里政治大学\u00e9cnica de Madrid“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://oa.upm.es/70113/，“pdf_url”：https://oa.upm.es/70113/1/HERMENEGILDO_2021-04.pdf，“源”：{“id”：https://openalex.org/S4306402421“，”display_name“：”Archivo Digital UPM（Universidad Polit\u00e9cnica de Madrid）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I88060688“，”“host_organization_name”：“马德里政治大学\u00e9cnica de Madrid”，“host_organization_lineage”：[“https://openalex.org/I88060688“]，”host_organization_lineage_names“：[”马德里政治大学\u00e9cnica de Madrid“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W109452506","https://openalex.org/W1485320411","https://openalex.org/W1489595242","https://openalex.org/W1508161107","https://openalex.org/W1518788700","https://openalex.org/W1531108889","https://openalex.org/W1532795106","https://openalex.org/W1533556407","https://openalex.org/W1584053602","https://openalex.org/W1611084195","https://openalex.org/W1753357466","https://openalex.org/W1806173689","https://openalex.org/W181581971","https://openalex.org/W190884830","https://openalex.org/W1953956482","https://openalex.org/W1965377774网址","https://openalex.org/W1966021031","https://openalex.org/W1995594295","https://openalex.org/W2023035194","https://openalex.org/W2033130678","https://openalex.org/W2040158828","https://openalex.org/W2061246700","https://openalex.org/W2065793351","https://openalex.org/W2080575293","https://openalex.org/W2095445208","https://openalex.org/W2098456636","https://openalex.org/W2116325485","https://openalex.org/W2119717320","https://openalex.org/W2136914567","https://openalex.org/W2139150351","https://openalex.org/W2142044962","https://openalex.org/W2147953536","https://openalex.org/W2148329403","https://openalex.org/W2155877593","https://openalex.org/W2159933174","https://openalex.org/W2163660741","https://openalex.org/W2170737051","https://openalex.org/W2175275752","https://openalex.org/W2256863551","https://openalex.org/W2515302447","https://openalex.org/W2532737545","https://openalex.org/W2621980927","https://openalex.org/W2761359361","https://openalex.org/W2886765993","https://openalex.org/W2888538076","https://openalex.org/W2962458576","https://openalex.org/W2967572128","https://openalex.org/W2998594779","https://openalex.org/W3018173417","https://openalex.org/W3018710771","https://openalex.org/W3019340178","https://openalex.org/W3020673255","https://openalex.org/W3090126643","https://openalex.org/W3102338165","https://openalex.org/W4237080346","https://openalex.org/W4238083723","https://openalex.org/W4242126179“]，”related_works“：[”https://openalex.org/W4243252198","https://openalex.org/W4235530921","https://openalex.org/W3137189469","https://openalex.org/W2740990710","https://openalex.org/W2382501300","https://openalex.org/W2135396778","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W2109507516","https://openalex.org/W1527862632“]，”abstract_inverted_index“：{”Static“：[0]，”analysis“：[1138190201]，”is“：[2,36,59109]，”toodly“：[3]，”an“：[4]，”essential“：[5]，”component“：[6]，”of“：[7,19,29,54,63,93106188199207219]，”many“：[8]，”software“：[9]，”development“：[10]，”toolsets.“：[11]，”Wheed“：[12]，”some“：[13198]，“臭名昭著”：[14]，“成功”：[15]，“in”：[16,44,88134152184]，““：[17,26,51,96119137153155158163169185189]，”验证“：[18,28122]，”编译器“：[20]，”比较“：[21]，”小“：[22143]，”工作“：[23]，”存在“：[24]，”开启“：[25]，”系统“：[27]，”静态“：[30,83156]，”分析器“：[31]，”其“：[32]，”正确性“：[33]，”和“：[34,6214168181]，”可靠性“：[35]，“关键”：[37]，“如果”：[38]，“它们“：[39173]，”是“：[40100]，”to“：[41196]，”be“：[42,50140]，”inserted“：[43]，”production“：[45]，”environments。“：[46]，“贡献”：[47]，“因素”：[48]，“可能”：[49]，“内在”：[52]，“困难”：[53]，“形式”：[55]，“验证”：[56]，“代码”：[57]，“that”：[58,95133177]，“相当”：[60]，“复杂”：[61]，“发现”：[64210]，“合适”：[65]，“预言”：[66]，“for”：[67,79]，“测试”：[68,80]，“it”：[69]，“In”：[70]，“this”：[71135]，“paper”：[72]，“we”：[73]，“propose”：[74]，“a“：[75,91175204216]，”简单“：[76]，”自动“：[77]，”方法“：[78]，”抽象“：[81]，”基于解释“：[82]，”分析器。“：[84]，“广义地”，“：[85]，“it”：[86117]，“composes”：[87]，“checking”，：[89]，“over”：[90203]，“suite”：[92]，“benchmarks”，“:[94]，”properties“：[97]，“inferred”：[98]，“staticly”：[99]，“satisfeed”：[101]，“dynamicly”。“：[102]，”The“：[103]，”main“：[104]，”优点“：[105]，”我们的“：[107194]，”方法“：[108195]，”它的“：[111025]，”简单性“：[111]，”which“：[112]，”词干“：[113]，”直接“：[114]，”来自“：[115]，”框架“：[116]，”在“：[118]，”Ciao“：[120]，”基于断言“：[121]，”框架“：[123]，”混合“：[126]，“静态/动态”：[127]，“断言”：[128159]，“检查”：[129611]，“方法。”：[130]，“We”：[131192]，“show”：[132]，“setting”，“setting”：[136]，“can”：[139178]，“tested”：[141]，“with”：[142215]，“effort”：[144]，“by”：[145]，“combing”：[146]，“following”：[148]，“components”：[149187]，“already”：[150]，“present”：[151]，“framework”：[154]，“analyzer”：[157]，“runtime”：[160]，“mechanism”：[162]，“随机”：[164]，“测试”：[169197]，“案例”：[166]，“生成器”：[167]，“单元测试”：[170]，“框架”：[171191]，“一起”：[172]，“组合”：[174]，“工具”：[176]，“有效”：[179]，“发现”：[180]，“定位”：[182]，“错误”：[183]，“不同”：[186]，“应用”：[193]，“CiaoPP\u2019s”：[200]，“域”：[202]，“宽”：[205]，“范围”：[206]，“程序”：[208]，“成功”：[209]，“非平凡”：[211]，“先前”：[212]，“未检测”：[213]，“错误”：[214]，“低”：[217]，“度”：[218]，“努力”：[220]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W3131705400“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：2}，{”年“：2022，”cited_by_count”：1}]，”更新日期“：“2024-08-29T09:55:31.124187”，”创建日期“：”2021-03-01“}”