{"id":"https://openalex.org/W2134401695","doi":"https://doi.org/10.1145/1882291.1882336","title":"Path-based fault correlations","display_name":"Path-based fault correlations","publication_year":2010,"publication_date":"2010-11-07","ids":{"openalex":"https://openalex.org/W2134401695","doi":"https://doi.org/10.1145/1882291.1882336","mag":"2134401695"},"language":"en","primary_location":{"id":"doi:10.1145/1882291.1882336","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882336","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","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/A5074426991","display_name":"Wei Le","orcid":"https://orcid.org/0000-0002-6797-0648"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Wei Le","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA","University of Virginia, CHarlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"University of Virginia, CHarlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047746948","display_name":"Mary Lou Soffa","orcid":"https://orcid.org/0000-0002-3665-7763"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mary Lou Soffa","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA","University of Virginia, CHarlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]},{"raw_affiliation_string":"University of Virginia, CHarlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5074426991"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":5.9824,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.96501399,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"307","last_page":"316"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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/T10743","display_name":"Software Testing and Debugging Techniques","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.9988999962806702,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980999827384949,"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/computer-science","display_name":"Computer science","score":0.699789822101593},{"id":"https://openalex.org/keywords/correlation","display_name":"Correlation","score":0.6577031016349792},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5663361549377441},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5615308880805969},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5150913596153259},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.4981091022491455},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4525935649871826},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4208301603794098},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.39091286063194275},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38026148080825806},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.290883868932724},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22267970442771912},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14131423830986023},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1268077790737152},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1017950177192688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.699789822101593},{"id":"https://openalex.org/C117220453","wikidata":"https://www.wikidata.org/wiki/Q5172842","display_name":"Correlation","level":2,"score":0.6577031016349792},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5663361549377441},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5615308880805969},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5150913596153259},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.4981091022491455},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4525935649871826},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4208301603794098},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.39091286063194275},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38026148080825806},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.290883868932724},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22267970442771912},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14131423830986023},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1268077790737152},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1017950177192688},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1882291.1882336","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882336","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W108689914","https://openalex.org/W1533386851","https://openalex.org/W1536898727","https://openalex.org/W1877773550","https://openalex.org/W1912598576","https://openalex.org/W1966634194","https://openalex.org/W2007181618","https://openalex.org/W2010825534","https://openalex.org/W2012286850","https://openalex.org/W2061595191","https://openalex.org/W2067836954","https://openalex.org/W2074847015","https://openalex.org/W2084974764","https://openalex.org/W2100553995","https://openalex.org/W2103714221","https://openalex.org/W2111949697","https://openalex.org/W2113625327","https://openalex.org/W2120524882","https://openalex.org/W2130243914","https://openalex.org/W2130908989","https://openalex.org/W2134716394","https://openalex.org/W2137726309","https://openalex.org/W2147974680","https://openalex.org/W2148329403","https://openalex.org/W2158870716","https://openalex.org/W2164638440","https://openalex.org/W2170923331","https://openalex.org/W3010333519","https://openalex.org/W4301352251"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W2965083567","https://openalex.org/W4235240664","https://openalex.org/W1838576100","https://openalex.org/W2757182831","https://openalex.org/W2095886385","https://openalex.org/W2089704382","https://openalex.org/W1983399550","https://openalex.org/W97075385","https://openalex.org/W2357523926"],"abstract_inverted_index":{"Although":[0],"a":[1,32,48,132,156,169,186],"number":[2,193],"of":[3,13,47,53,69,82,109,111,151,162,164,194,220],"automatic":[4],"tools":[5],"have":[6],"been":[7],"developed":[8],"to":[9,59,126,199,234,241],"detect":[10,140,159],"faults,":[11,72],"much":[12],"the":[14,24,43,51,67,70,80,95,100,112,149,152,160,192,216],"diagnosis":[15,198],"is":[16,87],"still":[17],"being":[18],"done":[19,243],"manually.":[20,244],"To":[21],"help":[22],"with":[23,90],"diagnostic":[25,236],"tasks,":[26],"we":[27,61,73,92,118,137,158,189,231],"formally":[28],"introduce":[29],"fault":[30,55,58,77,86,97,113],"correlation,":[31],"causal":[33],"relationship":[34],"between":[35],"faults.":[36,83,165],"We":[37,166,203],"statically":[38,139],"determine":[39,143],"correlations":[40,175,217],"based":[41],"on":[42],"expected":[44],"dynamic":[45],"behavior":[46],"fault.":[49],"If":[50,84],"occurrence":[52],"one":[54,85],"causes":[56],"another":[57],"occur,":[60],"say":[62],"they":[63],"are":[64,232],"correlated.":[65],"With":[66],"identification":[68],"correlated":[71,89,129],"can":[74,104,190,218],"better":[75],"understand":[76],"behaviors":[78],"and":[79,123,142,180,208,223],"risks":[81],"uniquely":[88],"another,":[91],"know":[93],"fixing":[94],"first":[96,138],"will":[98],"fix":[99],"other.":[101],"Correlated":[102],"faults":[103,130,141,179,195,213],"be":[105,219,242],"grouped,":[106],"enabling":[107],"prioritization":[108],"diagnoses":[110],"groups.":[114],"In":[115,134],"this":[116],"paper,":[117],"develop":[119],"an":[120],"interprocedural,":[121],"path-sensitive,":[122],"scalable":[124],"algorithm":[125,207],"automatically":[127,167],"compute":[128],"in":[131,215,225],"program.":[133],"our":[135,205],"approach,":[136],"their":[144],"error":[145,153],"states.":[146],"By":[147],"propagating":[148],"effects":[150],"state":[154],"along":[155,181],"path,":[157],"correlation":[161,170,187,206,229],"pairs":[163],"construct":[168],"graph":[171],"which":[172],"shows":[173],"how":[174],"occur":[176],"among":[177],"multiple":[178],"different":[182,221,226],"paths.":[183],"Guided":[184],"by":[185],"graph,":[188],"reduce":[191],"required":[196],"for":[197],"find":[200],"root":[201],"causes.":[202],"implemented":[204],"found":[209],"through":[210],"experimentation":[211],"that":[212,238],"involved":[214],"types":[222],"located":[224],"procedures.":[227],"Using":[228],"information,":[230],"able":[233],"automate":[235],"tasks":[237],"previously":[239],"had":[240]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}