{“id”:“https://openalex.org/W4210741360“,”doi“:”https://doi.org/10.1109/ase51524.2021.9678903“,”title“:”CiFi:类和字段不可变性的多功能分析“,”display_name“:”CiFi:类与字段不可变性的多用途分析“,“publication_year”:2021,“publitation_date”:“2021-11-01”,“ids”:{“openalex”:“https://openalex.org/W4210741360“,”doi“:”https://doi.org/10.1109/ase51524.2021.9678903“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1109/ase51524.2021.9678903,“pdf_url”:https://ieeexplore.ieee.org/ielx7/9678507/9678392/09678903.pdf“,”源“:{”id“:”https://openalex.org/S4363608212“,”“display_name”“:”“2021第36届IEEE/ACM国际自动化软件工程会议(ASE)”“,”license_id“:null,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”type“:”article“,”type_crossref“:”proceedings article“,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:true,”oa_status“:”青铜“,”oa_url“:”https://ieeexplore.ieee.org/ielx7/9678507/9678392/09678903.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5086396255“,”display_name“:”Tobias Roth“,”orcid“:”https://orcid.org/0000-0001-6561-0430},“机构”:[{“id”:https://openalex.org/I4210087817“,”display_name“:”软件(德国)“,”ror“:”https://ror.org/004g36n56“,”country_code“:”DE“,”type“:“company”,”lineage“:[”https://openalex.org/I4210087817“]},{”id“:”https://openalex.org/I31512782“,”display_name“:”达姆施塔特科技大学“,”ror“:”https://ror.org/05n911h24“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I31512782“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Tobias Roth“,”raw _affiliation_strings“:[“德国达姆施塔特软件技术大学\u00e4t”],”affiliations“:[{”raw _affiliation_string“:”德国达姆斯塔特软件科技大学\u00 e4t“,”institution_ids“:[https://openalex.org/I4210087817","https://openalex.org/I31512782“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5030100328“,”display_name“:”Dominik Helm“,”orcid“:”https://orcid.org/0009-0004-6425-8630},“机构”:[{“id”:https://openalex.org/I4210087817“,”display_name“:”软件(德国)“,”ror“:”https://ror.org/004g36n56“,”country_code“:”DE“,”type“:“company”,”lineage“:[”https://openalex.org/I4210087817“]},{”id“:”https://openalex.org/I31512782“,”display_name“:”达姆施塔特科技大学“,”ror“:”https://ror.org/05n911h24“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I31512782“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Dominik Helm“,”raw _affiliation_strings“:[“德国达姆施塔特软件技术大学\u00e4t”],”affiliations“:[{”raw _affiliation_string“:”德国达姆斯塔特软件科技大学\u00 e4t“,”institution_ids“:]”https://openalex.org/I4210087817","https://openalex.org/I31512782“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5002805499“,”display_name“:”Michael Reif“,”orcid“:”https://orcid.org/0000-0002-7561-5750},“机构”:[{“id”:https://openalex.org/I4210087817“,”display_name“:”软件(德国)“,”ror“:”https://ror.org/004g36n56“,”country_code“:”DE“,”type“:“company”,”lineage“:[”https://openalex.org/I4210087817“]},{”id“:”https://openalex.org/I31512782“,”display_name“:”达姆施塔特科技大学“,”ror“:”https://ror.org/05n911h24“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I31512782“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Michael Reif“,”raw _affiliation_strings“:[“德国达姆施塔特软件技术大学\u00e4t”],”affiliations“:[{”raw _affiliation_string“:”德国达姆斯塔特软件科技大学\u00 e4t“,”institution_ids“:[https://openalex.org/I4210087817","https://openalex.org/I31512782“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5078067853“,”display_name“:”Mira Mezini“,”orcid“:”https://orcid.org/0000-0001-6563-7537},“机构”:[{“id”:https://openalex.org/I4210087817“,”display_name“:”软件(德国)“,”ror“:”https://ror.org/004g36n56“,”country_code“:”DE“,”type“:“company”,”lineage“:[”https://openalex.org/I4210087817“]},{”id“:”https://openalex.org/I31512782“,”display_name“:”达姆施塔特科技大学“,”ror“:”https://ror.org/05n911h24“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I31512782“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Mira Mezini“,”raw _affiliation_strings“:[“德国达姆施塔特软件技术大学\u00e4t”],”affiliations“:[{”raw _affiliation_string“:”德国达姆斯塔特软件科技大学\u00 e4t“,”institution_ids“:[https://openalex.org/I4210087817","https://openalex.org/I31512782“]}]}],”institution_assertions“:[],”countries_distinct_count“:1,”institutions_disting_count”:2,”corresponding_author_ids“:[[],”corresponding_institution_ids”:[]、“apc_list”:null,“apc_payed”:nul,“fwci”:1.002,“has_fulltext”:true,“fulltext_origin”:“pdf”,“cited_by_count”:5,“citation_normalized_percentile”:{“value”:0.6450.18,“is_in_top_1_percent”:假,“is_in_top_10_percent“:false},”cited_by_percentile_year“:{”min“:80,”max“:82},“biblio”:{“volume”:null,“issue”:nul,“first_page”:null',“last_page”:null},‘is_retracted’:false,“is_paratext”:falsehttps://openalex.org/T10260“,”“display_name”:“软件工程实证研究”,“score”:0.9992,“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“:”Physical Sciences“}},”topics“:[{”id“:”https://openalex.org/T10260“,”“display_name”:“软件工程实证研究”,“score”:0.9992,“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/T11241“,”display_name“:”Android恶意软件的特征描述和检测“,”score“:0.9975,”subfield“:{”id“:”https://openalex.org/subfields/1711“,”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.9954,“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/immutability网站“,”display_name“:”Immutability“,”score“:0.9972222},{”id“:”https://openalex.org/关键字/基准“,”display_name“:”基准(测量)“,”score“:0.60417724},{”id“:”https://openalex.org/keywords/dynamic-annalysis(https://openalex.org/keywords/dynamic-annalysis)“,”display_name“:”Dynamic Analysis“,”score“:0.507923}],”concepts“:[{”id“:”https://openalex.org/C2776126399,“wikidata”:https://www.wikidata.org/wiki/Q3942906“,”display_name“:”Immutability“,”level“:3,”score“:0.9972222},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.7234732},{”id“:”https://openalex.org/C547195049,“wikidata”:https://www.wikidata.org/wiki/Q1725664“,”display_name“:”术语“,”级别“:2,”分数“:0.61546236},{”id“:”https://openalex.org/C185798385,“wikidata”:https://www.wikidata.org/wiki/Q1161707“,”display_name“:”基准(测量)“,”level“:2,”score“:0.60417724},{”id“:”https://openalex.org/C2777212361,“wikidata”:https://www.wikidata.org/wiki/Q5127848(网址:https://www.wikidata.org/wiki/Q5127848)“,”display_name“:”类(哲学)“,”级别“:2,”分数“:0.5786151},{”id“:”https://openalex.org/C9652623,“wikidata”:https://www.wikidata.org/wiki/Q190109“,”display_name“:”Field(mathematics)“,”level“:2,”score“:0.548276},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.26537317},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”Mathematics“,”level“:0,”score“:0.107600999},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”哲学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C41895202,“wikidata”:https://www.wikidata.org/wiki/Q8162“,”display_name“:”语言学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C38652104,“wikidata”:https://www.wikidata.org/wiki/Q3510521“,”display_name“:”计算机安全“,”level“:1,”score“: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/C2779687700,“wikidata”:https://www.wikidata.org/wiki/Q20514253“,”display_name“:”区块链“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”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“:2,”location“:[{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1109/ase51524.2021.9678903,“pdf_url”:https://ieeexplore.ieee.org/ielx7/9678507/9678392/09678903.pdf“,”源“:{”id“:”https://openalex.org/S4363608212“,”“display_name”“:”“2021第36届IEEE/ACM国际自动化软件工程会议(ASE)”“,”license_id“:null,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},{”is_oa“:true,”landing_page_url“:”https://dl.gi.de/handle/20.50012116/37980,“pdf_url”:https://dl.gi.de/bitstreams/76e9637f-d154-4ca0-836a-89c337aaedba/下载“,”源“:{”id“:”https://openalex.org/S4377196390“,”display_name“:”TUbilio(达姆施塔特理工大学)“,”issn_l“:null,”issn“:null,”is_oa“:false,”is_ in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I31512782“,”“host_organization_name”:“达姆施塔特技术大学”,“host_ordanization_lineage”:[“https://openalex.org/I31512782“],”host_organization_lineage_names“:[”达姆施塔特技术大学“],“type”:“repository”},“license”:“mit”,“licence_id”:“https://openalex.org/licenses/mit网站“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false}],”best_oa_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1109/ase51524.2021.9678903,“pdf_url”:https://ieeexplore.ieee.org/ielx7/9678507/9678392/09678903.pdf“,”源“:{”id“:”https://openalex.org/S4363608212“,”“display_name”“:”“2021第36届IEEE/ACM国际自动化软件工程会议(ASE)”“,”license_id“:null,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[],”grants“:{”funder“:”https://openalex.org/F4320311687“,”“funder_display_name”“:”教育部“,”award_id“:null}],”数据集“:[],”版本“:[],”referenced_works_count“:26,”referrenced_works“:[”https://openalex.org/W1486902566","https://openalex.org/W150412037","https://openalex.org/W1504704686","https://openalex.org/W1570380538","https://openalex.org/W1978303100","https://openalex.org/W2053718235","https://openalex.org/W2094958132","https://openalex.org/W2109905299","https://openalex.org/W2118004641","https://openalex.org/W2118230497","https://openalex.org/W2137956345","https://openalex.org/W2138527110","https://openalex.org/W2140021378","https://openalex.org/W2145708265","https://openalex.org/W2221746995","https://openalex.org/W2237341992","https://openalex.org/W2368741442","https://openalex.org/W2510867554","https://openalex.org/W2546558533","https://openalex.org/W2616871725","https://openalex.org/W2888021447","https://openalex.org/W2909327301","https://openalex.org/W3099954734网址","https://openalex.org/W4235388086","https://openalex.org/W4237031164","https://openalex.org/W4256594435“],”related_works“:[”https://openalex.org/W4386576376","https://openalex.org/W3212423087","https://openalex.org/W3182748079","https://openalex.org/W2802479602","https://openalex.org/W2298790717","https://openalex.org/W2053237223","https://openalex.org/W2019522068","https://openalex.org/W1971699141","https://openalex.org/W1570380538","https://openalex.org/W1517747134“],”abstract_inverted_index“:{”推理“:[0],”about“:[1,27],”不变性“:[2,17,55,64,69,80,86155],”is“:[3,43],”important“:[4],”for“:[5,60,6810612626],”预防“:[6],”bug“:[7],”例如,“:[8],”in“:[9115140156],”多线程“:[10],”软件。所以“:[11],”far“:[12],”static“:[13,94],“分析”:[14,95],“到”:[15,49,81134142150],“推断”:[16],“properties“:[18113],”has“:[19,35],”most“:[20],”focused“:[21],”on“:[22,54,88],”individual“:[23],”objects“:[24],”and“:[25,29,62,75,85128138147163],”references。推理“:[26],”字段“:[28],”整体“:[30],”类“:[31],”while“:[32],”显着“:[33],”更简单“:[34],”获得“:[36],”较少“:[37],”注意。Even“:[38],”a“:[39,58100120],”consistent“:[40],”used“:[41],”terminal“:[42,67],”missing“:[44],”which“:[45],”makes“:[46],”it“:[47],”harouble“:[48],”implement“:[50,98],”analysis“:[51105],”that“:[52,65],”relead“:[53],”information。我们“:[56],“提议”:[57119],“模型”:[59],“类”:[61127],“字段”:[63129],“统一”:[66],“口味”:[70108],“考虑”:[71],“由”:[72],“先前”:[73],“工作”:[74],“覆盖”:[76],“新”:[77],“级别”:[78],“的”:[79102109122144154165],“句柄”:[82],“惰性”:[83],“初始化”:[84],“依赖”:[87],“通用”:[89],“类型”:[90],“参数”。使用“:[91],”the“:[92112132145152160],”OPAL“:[93],”framework“,“:[96],”we“:/97118],”CiFi“,:[99],”set“:[101],”modular“,”:[103],”collaboration“:[104],”different“:[107],”immutability“:[110],”inferring“:[111],”defined“:[114],”our“:116166],”model。此外,“:[117],”基准“:[121133],”代表“:[123],”测试“:[124],”案例“:[125],”不变性。我们“:[130],“使用”:[131148],“展示”:[135],“CiFi's”:[136],“精度”:[137],“回忆”:[139],“比较”:[141],“状态”:[143],“艺术”:[146],“CiFi”:[149],“研究”:[151],“流行”:[153],“现实世界”:[157],“图书馆”:[158],“展现”:[159],“实用”:[161],“质量”:[162],“相关性”:[164],”模型。“:[167]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W4210741360“,”counts_by_year“:[{”年份“:2024,”cited_by_count“:2},{”年“:2023,”cited_by_count”:2}],”更新日期“:”2024-09-19T20:51:44.545515“,”创建日期“:“2022-02-08”}