{"id":"https://openalex.org/W4410770652","doi":"https://doi.org/10.1109/tse.2025.3574487","title":"SmartFL: Semantics Based Probabilistic Fault Localization","display_name":"SmartFL: Semantics Based Probabilistic Fault Localization","publication_year":2025,"publication_date":"2025-05-27","ids":{"openalex":"https://openalex.org/W4410770652","doi":"https://doi.org/10.1109/tse.2025.3574487"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2025.3574487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3574487","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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":null,"display_name":"Yiqian Wu","orcid":"https://orcid.org/0009-0004-1478-2047"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yiqian Wu","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yujie Liu","orcid":"https://orcid.org/0009-0001-1973-2792"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yujie Liu","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yi Yin","orcid":"https://orcid.org/0009-0003-1549-0292"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Yin","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042235813","display_name":"Muhan Zeng","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Muhan Zeng","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049076146","display_name":"Zhentao Ye","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhentao Ye","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xin Zhang","orcid":"https://orcid.org/0000-0002-1515-7145"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Zhang","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100712724","display_name":"Yingfei Xiong","orcid":"https://orcid.org/0000-0001-8991-747X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yingfei Xiong","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100388576","display_name":"Lu Zhang","orcid":"https://orcid.org/0000-0001-8304-7055"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lu Zhang","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":2.8392,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.90946898,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"51","issue":"7","first_page":"2161","last_page":"2180"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9715999960899353,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8476265072822571},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6881267428398132},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6446868181228638},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6157013177871704},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.43483930826187134},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43427807092666626},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3263710141181946},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2737334370613098}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8476265072822571},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6881267428398132},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6446868181228638},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6157013177871704},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.43483930826187134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43427807092666626},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3263710141181946},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2737334370613098},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2025.3574487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3574487","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.5,"id":"https://metadata.un.org/sdg/13"}],"awards":[{"id":"https://openalex.org/G5212030523","display_name":null,"funder_award_id":"W2411051","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5629752981","display_name":null,"funder_award_id":"62172017","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6061973920","display_name":null,"funder_award_id":"62232001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6223597658","display_name":null,"funder_award_id":"62232003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W1950030762","https://openalex.org/W1990785546","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2033644368","https://openalex.org/W2041671556","https://openalex.org/W2067436653","https://openalex.org/W2086521394","https://openalex.org/W2099855131","https://openalex.org/W2100414549","https://openalex.org/W2101819268","https://openalex.org/W2107026277","https://openalex.org/W2119393363","https://openalex.org/W2128049346","https://openalex.org/W2137813581","https://openalex.org/W2145733341","https://openalex.org/W2153418968","https://openalex.org/W2156723666","https://openalex.org/W2162946946","https://openalex.org/W2220584460","https://openalex.org/W2296178404","https://openalex.org/W2343875716","https://openalex.org/W2400628046","https://openalex.org/W2620081107","https://openalex.org/W2736091366","https://openalex.org/W2794736053","https://openalex.org/W2913711852","https://openalex.org/W2933011641","https://openalex.org/W2958754741","https://openalex.org/W2962715466","https://openalex.org/W2964731242","https://openalex.org/W2999892205","https://openalex.org/W3162747997","https://openalex.org/W3195442242","https://openalex.org/W4243127898","https://openalex.org/W4284670965","https://openalex.org/W4284702776","https://openalex.org/W4311805847","https://openalex.org/W4313563424","https://openalex.org/W4377707837","https://openalex.org/W4384155665","https://openalex.org/W4390918619","https://openalex.org/W4391579639","https://openalex.org/W6609681081","https://openalex.org/W6683068184","https://openalex.org/W6684226811","https://openalex.org/W6856504490"],"related_works":["https://openalex.org/W2943623134","https://openalex.org/W2494523064","https://openalex.org/W2215759665","https://openalex.org/W2030292806","https://openalex.org/W2960358116","https://openalex.org/W2938171715","https://openalex.org/W4287727129","https://openalex.org/W3041172967","https://openalex.org/W2749065928","https://openalex.org/W2147155098"],"abstract_inverted_index":{"Testing-based":[0],"fault":[1,33,55,70,88],"localization":[2,56,71,93],"has":[3],"been":[4],"a":[5,22,32,40,112,127,154],"research":[6],"focus":[7],"in":[8,11,54],"software":[9],"engineering":[10],"the":[12,62,66,81,84,102,172,201,204,207],"past":[13],"decades.":[14],"It":[15],"localizes":[16],"faulty":[17],"program":[18,45,52,67,85,105,134],"elements":[19],"based":[20],"on":[21,153,218],"set":[23],"of":[24,65,83,104,133,163,190,206,216],"passing":[25],"and":[26,37,72,119,136,175,221],"failing":[27],"test":[28,41],"executions.":[29],"Since":[30],"whether":[31],"could":[34,114],"be":[35,115],"triggered":[36],"detected":[38],"by":[39,99,130,213],"is":[42,48,151,166,182,188,210],"related":[43],"to":[44,50,76,91,139,225],"semantics,":[46,111],"it":[47],"crucial":[49],"model":[51,129],"semantics":[53,64,82,135],"approaches.":[57],"Existing":[58],"approaches":[59,199],"either":[60],"consider":[61],"full":[63,110],"(e.g.,":[68,86],"mutation-based":[69],"angelic":[73],"debugging),":[74],"leading":[75,90],"scalability":[77,141],"issues,":[78],"or":[79],"ignore":[80],"spectrum-based":[87],"localization),":[89],"imprecise":[92],"results.":[94],"Our":[95,143],"key":[96],"idea":[97],"is:":[98],"modeling":[100],"only":[101],"correctness":[103],"values":[106],"but":[107],"not":[108],"their":[109],"balance":[113],"reached":[116],"between":[117],"effectiveness":[118],"scalability.":[120],"To":[121],"realize":[122],"this":[123],"idea,":[124],"we":[125],"introduce":[126],"probabilistic":[128],"efficient":[131],"approximation":[132],"several":[137],"techniques":[138],"address":[140],"challenges.":[142],"approach,":[144],"SmartFL":[145],"(SeMantics":[146],"bAsed":[147],"pRobabilisTic":[148],"Fault":[149],"Localization),":[150],"evaluated":[152],"real-world":[155],"dataset,":[156],"Defects4J":[157],"2.0.":[158],"The":[159,178],"top-1":[160],"statementlevel":[161],"accuracy":[162,223],"our":[164,195],"approach":[165,196,209],"14%,":[167],"which":[168,187],"improves":[169],"130%":[170],"over":[171],"best":[173],"SBFL":[174,191],"MBFL":[176],"methods.":[177,192,228],"average":[179,215],"time":[180],"cost":[181],"205":[183],"seconds":[184],"per":[185],"fault,":[186],"half":[189],"After":[193],"combining":[194],"with":[197],"existing":[198],"using":[200],"CombineFL":[202],"framework,":[203],"performance":[205],"combined":[208],"significantly":[211],"boosted":[212],"an":[214],"10%":[217],"top-1,":[219],"top-3,":[220],"top-5":[222],"compared":[224],"state-of-the-art":[226],"combination":[227]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}