{"id":"https://openalex.org/W4400276561","doi":"https://doi.org/10.1109/meco62516.2024.10577846","title":"Semantic Fault Localization for Mutation-based Program Repair","display_name":"Semantic Fault Localization for Mutation-based Program Repair","publication_year":2024,"publication_date":"2024-06-11","ids":{"openalex":"https://openalex.org/W4400276561","doi":"https://doi.org/10.1109/meco62516.2024.10577846"},"language":"en","primary_location":{"id":"doi:10.1109/meco62516.2024.10577846","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/meco62516.2024.10577846","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 13th Mediterranean Conference on Embedded Computing (MECO)","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/A5063086549","display_name":"Aleksandar S. Dimovski","orcid":"https://orcid.org/0000-0002-3601-2631"},"institutions":[{"id":"https://openalex.org/I4391012568","display_name":"Mother Teresa University","ror":"https://ror.org/04wnz0192","country_code":null,"type":"education","lineage":["https://openalex.org/I4391012568"]}],"countries":["MK"],"is_corresponding":true,"raw_author_name":"Aleksandar S. Dimovski","raw_affiliation_strings":["Mother Teresa University,Skopje,North Macedonia"],"affiliations":[{"raw_affiliation_string":"Mother Teresa University,Skopje,North Macedonia","institution_ids":["https://openalex.org/I4391012568"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099980852","display_name":"Shpetim Rexhepi","orcid":null},"institutions":[{"id":"https://openalex.org/I4391012568","display_name":"Mother Teresa University","ror":"https://ror.org/04wnz0192","country_code":null,"type":"education","lineage":["https://openalex.org/I4391012568"]}],"countries":["MK"],"is_corresponding":false,"raw_author_name":"Shpetim Rexhepi","raw_affiliation_strings":["Mother Teresa University,Skopje,North Macedonia"],"affiliations":[{"raw_affiliation_string":"Mother Teresa University,Skopje,North Macedonia","institution_ids":["https://openalex.org/I4391012568"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045440543","display_name":"Goran Velinov","orcid":"https://orcid.org/0000-0002-6848-9514"},"institutions":[{"id":"https://openalex.org/I76245029","display_name":"Saints Cyril and Methodius University of Skopje","ror":"https://ror.org/02wk2vx54","country_code":"MK","type":"education","lineage":["https://openalex.org/I76245029"]}],"countries":["MK"],"is_corresponding":false,"raw_author_name":"Goran Velinov","raw_affiliation_strings":["University Ss. Cyril and Methodius,Skopje,North Macedonia"],"affiliations":[{"raw_affiliation_string":"University Ss. Cyril and Methodius,Skopje,North Macedonia","institution_ids":["https://openalex.org/I76245029"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5099980853","display_name":"Izet Zeqiri","orcid":null},"institutions":[{"id":"https://openalex.org/I4391012568","display_name":"Mother Teresa University","ror":"https://ror.org/04wnz0192","country_code":null,"type":"education","lineage":["https://openalex.org/I4391012568"]}],"countries":["MK"],"is_corresponding":false,"raw_author_name":"Izet Zeqiri","raw_affiliation_strings":["Mother Teresa University,Skopje,North Macedonia"],"affiliations":[{"raw_affiliation_string":"Mother Teresa University,Skopje,North Macedonia","institution_ids":["https://openalex.org/I4391012568"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063086549"],"corresponding_institution_ids":["https://openalex.org/I4391012568"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09689136,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"194","issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9941999912261963,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9941999912261963,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9934999942779541,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7043563723564148},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.5517032146453857},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.45930561423301697},{"id":"https://openalex.org/keywords/genetics","display_name":"Genetics","score":0.17293205857276917},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.12588611245155334},{"id":"https://openalex.org/keywords/gene","display_name":"Gene","score":0.06735536456108093}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7043563723564148},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.5517032146453857},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.45930561423301697},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.17293205857276917},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.12588611245155334},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.06735536456108093},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/meco62516.2024.10577846","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/meco62516.2024.10577846","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 13th Mediterranean Conference on Embedded Computing (MECO)","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":18,"referenced_works":["https://openalex.org/W2051883613","https://openalex.org/W2129538349","https://openalex.org/W2132661148","https://openalex.org/W2148542302","https://openalex.org/W2556717355","https://openalex.org/W2738172349","https://openalex.org/W2968593786","https://openalex.org/W2979745148","https://openalex.org/W3036435269","https://openalex.org/W6654366121","https://openalex.org/W6780462745","https://openalex.org/W6794931737","https://openalex.org/W6799029876","https://openalex.org/W6802069553","https://openalex.org/W6804846079","https://openalex.org/W6851293859","https://openalex.org/W6857541674","https://openalex.org/W6857775648"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"In":[0],"this":[1,123],"paper,":[2],"we":[3,32,68],"combine":[4],"the":[5,10,35,44,50,62,71,129],"semantics-based":[6],"fault":[7,36,97,110,136],"localization":[8,37,111],"and":[9,29,46,83,112],"mutation-based":[11],"program":[12,28,59,88,93,131],"repair":[13,22,94,132],"techniques":[14],"to":[15,38],"design":[16],"an":[17,26,30],"efficient":[18],"algorithm":[19],"for":[20,43,104],"automatic":[21],"of":[23,73],"programs.":[24],"Given":[25],"erroneous":[27],"assertion,":[31],"first":[33],"use":[34],"automatically":[39],"identify":[40],"statements":[41,55],"relevant":[42,54],"error,":[45],"then":[47],"repeatedly":[48],"mutate":[49],"expressions":[51],"in":[52],"those":[53],"until":[56],"a":[57,86,92],"correct":[58,81],"that":[60,122],"satisfies":[61],"assertion":[63],"is":[64,125],"obtained.":[65],"This":[66],"way,":[67],"significantly":[69,126],"reduce":[70],"space":[72],"all":[74],"mutated":[75],"programs":[76,107],"without":[77],"dropping":[78],"any":[79],"potentially":[80],"program,":[82],"so":[84],"locate":[85],"repaired":[87],"much":[89],"faster":[90,127],"than":[91,128],"with":[95,134],"no":[96,135],"localization.A":[98],"prototype":[99],"tool":[100],"has":[101],"been":[102],"developed":[103],"repairing":[105],"C":[106,119],"by":[108],"combining":[109],"code":[113],"mutations.":[114],"The":[115],"experimental":[116],"results":[117],"on":[118],"benchmarks":[120],"demonstrate":[121],"approach":[124,133],"previous":[130],"localization.":[137]},"counts_by_year":[],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}