{"id":"https://openalex.org/W2134663369","doi":"https://doi.org/10.1109/csmr.2003.1192443","title":"Fast flow analysis to compute fuzzy estimates of risk levels","display_name":"Fast flow analysis to compute fuzzy estimates of risk levels","publication_year":2003,"publication_date":"2003-12-08","ids":{"openalex":"https://openalex.org/W2134663369","doi":"https://doi.org/10.1109/csmr.2003.1192443","mag":"2134663369"},"language":"en","primary_location":{"id":"doi:10.1109/csmr.2003.1192443","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csmr.2003.1192443","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041392864","display_name":"E. Merlo","orcid":"https://orcid.org/0000-0001-9492-6602"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"E. Merlo","raw_affiliation_strings":["Computer Engineering Department, \u00c9cole Polytechnique, Montreal, QUE, Canada"],"affiliations":[{"raw_affiliation_string":"Computer Engineering Department, \u00c9cole Polytechnique, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110506286","display_name":"Giulio Antoniol","orcid":null},"institutions":[{"id":"https://openalex.org/I16337185","display_name":"University of Sannio","ror":"https://ror.org/04vc81p87","country_code":"IT","type":"education","lineage":["https://openalex.org/I16337185"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G. Antoniol","raw_affiliation_strings":["Faculty of Engineering, University of Sannio, Benevento, Italy"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, University of Sannio, Benevento, Italy","institution_ids":["https://openalex.org/I16337185"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055984917","display_name":"P. Brunelle","orcid":"https://orcid.org/0000-0002-4605-5942"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"P.-L. Brunelle","raw_affiliation_strings":["Computer Engineering Department, \u00c9cole Polytechnique, Montreal, QUE, Canada"],"affiliations":[{"raw_affiliation_string":"Computer Engineering Department, \u00c9cole Polytechnique, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I45683168"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041392864"],"corresponding_institution_ids":["https://openalex.org/I45683168"],"apc_list":null,"apc_paid":null,"fwci":0.3747,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66996904,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":null,"first_page":"351","last_page":"360"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998999834060669,"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":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998999834060669,"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":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/blocking","display_name":"Blocking (statistics)","score":0.8379884958267212},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.75547194480896},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.6110683083534241},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5566337704658508},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5073372721672058},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.49848508834838867},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.48692309856414795},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.45814818143844604},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42700374126434326},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3284941017627716},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17400747537612915},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07611909508705139}],"concepts":[{"id":"https://openalex.org/C144745244","wikidata":"https://www.wikidata.org/wiki/Q4927286","display_name":"Blocking (statistics)","level":2,"score":0.8379884958267212},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.75547194480896},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.6110683083534241},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5566337704658508},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5073372721672058},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.49848508834838867},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.48692309856414795},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.45814818143844604},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42700374126434326},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3284941017627716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17400747537612915},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07611909508705139},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","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":2,"locations":[{"id":"doi:10.1109/csmr.2003.1192443","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csmr.2003.1192443","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:publications.polymtl.ca:25660","is_oa":false,"landing_page_url":"https://publications.polymtl.ca/25660/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Communication de conf\u00e9rence"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W303139982","https://openalex.org/W1553894716","https://openalex.org/W1575308494","https://openalex.org/W1593203335","https://openalex.org/W1974825292","https://openalex.org/W1986347924","https://openalex.org/W2050903618","https://openalex.org/W2060389212","https://openalex.org/W2092483417","https://openalex.org/W2093080079","https://openalex.org/W2105535733","https://openalex.org/W2116098983","https://openalex.org/W2117659504","https://openalex.org/W2124153277","https://openalex.org/W2144685853","https://openalex.org/W2160708437","https://openalex.org/W2162310108","https://openalex.org/W2164638440","https://openalex.org/W4255672493","https://openalex.org/W6610773549"],"related_works":["https://openalex.org/W2138385884","https://openalex.org/W2166895275","https://openalex.org/W2998775986","https://openalex.org/W157564837","https://openalex.org/W2080313875","https://openalex.org/W2011536294","https://openalex.org/W2573637329","https://openalex.org/W4384302888","https://openalex.org/W2111825754","https://openalex.org/W2135849267"],"abstract_inverted_index":{"In":[0],"the":[1,33,60,73,77,98,135,164,201,204],"context":[2,131],"of":[3,17,50,197,212],"software":[4,180],"quality":[5],"assessment,":[6],"this":[7],"paper":[8,91],"proposes":[9],"original":[10,93],"flow":[11,24,54,94],"analyses":[12,43,165],"which":[13,28,184],"propagate":[14],"numerical":[15],"estimates":[16,31],"blocking":[18,62,79,102,177,198,213],"risks":[19,178,214],"along":[20,32],"an":[21],"inter-procedural":[22],"control":[23],"graph":[25],"(CFG)":[26],"and":[27,52,100,119,122,140,144,172,175],"combine":[29],"these":[30],"different":[34],"CFG":[35],"paths":[36],"using":[37],"fuzzy":[38],"logic":[39],"operations.":[40],"Two":[41],"specialized":[42],"can":[44,166],"be":[45,167,188],"further":[46],"defined":[47],"in":[48,107,127,152,179],"terms":[49],"definite":[51,57,99,174],"possible":[53,74,101,176],"analysis.":[55],"The":[56,110,129],"analysis":[58,75],"computes":[59,76],"minimum":[61],"risk":[63,80,103],"levels":[64,81,104,211],"that":[65,163],"statements":[66,84,106],"may":[67],"encounter":[68],"on":[69,85],"every":[70],"path,":[71],"while":[72],"highest":[78],"encountered":[82],"by":[83,218],"at":[86],"least":[87],"one":[88],"path.":[89],"This":[90],"presents":[92,114],"equations":[95],"to":[96,133,169,187,207],"compute":[97],"for":[105,146],"source":[108],"code.":[109],"described":[111,139],"fix-point":[112],"algorithm":[113],"a":[115,193],"linear":[116],"execution":[117],"time":[118],"memory":[120],"complexity":[121],"it":[123],"is":[124,138,157],"also":[125],"fast":[126],"practice.":[128],"experimental":[130],"used":[132,168],"validate":[134],"presented":[136,217],"approach":[137,205],"results":[141],"are":[142,185],"reported":[143],"discussed":[145],"eight":[147],"publicly":[148],"available":[149],"systems":[150],"written":[151],"C":[153],"whose":[154],"total":[155],"size":[156],"about":[158],"300":[159],"KLOC":[160],"Results":[161],"show":[162,192],"compute,":[170],"identify,":[171],"compare":[173],"systems.":[181],"Furthermore,":[182],"programs":[183,219],"known":[186],"synchronized":[189],"like":[190,220],"\"samba\"":[191],"relatively":[194],"high":[195],"level":[196],"risks.":[199],"On":[200],"other":[202],"hand,":[203],"allows":[206],"identify":[208],"even":[209],"low":[210],"as":[215],"those":[216],"\"gawk\".":[221]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}