{"id":"https://openalex.org/W2090578517","doi":"https://doi.org/10.1145/2695664.2695822","title":"LocFaults","display_name":"LocFaults","publication_year":2015,"publication_date":"2015-04-13","ids":{"openalex":"https://openalex.org/W2090578517","doi":"https://doi.org/10.1145/2695664.2695822","mag":"2090578517"},"language":"en","primary_location":{"id":"doi:10.1145/2695664.2695822","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2695664.2695822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01094227/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021109503","display_name":"Mohammed Bekkouche","orcid":"https://orcid.org/0000-0002-8305-0542"},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210150884","display_name":"Fondation Sophia Antipolis","ror":"https://ror.org/05nkcfv27","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210150884"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mohammed Bekkouche","raw_affiliation_strings":["University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France","University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I4210150884"]},{"raw_affiliation_string":"University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France#TAB#","institution_ids":["https://openalex.org/I201841394"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112685575","display_name":"H\u00e9l\u00e8ne Collavizza","orcid":null},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210150884","display_name":"Fondation Sophia Antipolis","ror":"https://ror.org/05nkcfv27","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210150884"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"H\u00e9l\u00e8ne Collavizza","raw_affiliation_strings":["University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France","University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I4210150884"]},{"raw_affiliation_string":"University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France#TAB#","institution_ids":["https://openalex.org/I201841394"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111943507","display_name":"Michel Rueher","orcid":null},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210150884","display_name":"Fondation Sophia Antipolis","ror":"https://ror.org/05nkcfv27","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210150884"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Michel Rueher","raw_affiliation_strings":["University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France","University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I4210150884"]},{"raw_affiliation_string":"University of Nice--Sophia, Antipolis, Sophia Antipolis Cedex, France#TAB#","institution_ids":["https://openalex.org/I201841394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2116,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.91508976,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1773","last_page":"1780"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/constraint","display_name":"Constraint (computer-aided design)","score":0.6602113246917725},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6480187773704529},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.5633955597877502},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5577145218849182},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5490831732749939},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5120614171028137},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.49616727232933044},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4888586401939392},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4507102072238922},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.430090069770813},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42968010902404785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28709688782691956},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11174842715263367}],"concepts":[{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6602113246917725},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6480187773704529},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.5633955597877502},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5577145218849182},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5490831732749939},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5120614171028137},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.49616727232933044},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4888586401939392},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4507102072238922},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.430090069770813},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42968010902404785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28709688782691956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11174842715263367},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2695664.2695822","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2695664.2695822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01094227v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01094227","pdf_url":"https://hal.science/hal-01094227/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SAC\u201915, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01094227v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01094227","pdf_url":"https://hal.science/hal-01094227/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SAC\u201915, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2586593558","display_name":"Managing the Complexity of the Cloud.","funder_award_id":"ANR-10-SEGI-0013","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4043887677","display_name":null,"funder_award_id":"11-INSE-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6085417413","display_name":"Validating crtical systems control by coupling simulation and formal analysis methods","funder_award_id":"ANR-11-INSE-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7240651115","display_name":null,"funder_award_id":"ANR-10","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320327550","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2090578517.pdf","grobid_xml":"https://content.openalex.org/works/W2090578517.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W21167055","https://openalex.org/W189374899","https://openalex.org/W308113020","https://openalex.org/W1763513967","https://openalex.org/W1814905144","https://openalex.org/W1821427360","https://openalex.org/W1829294359","https://openalex.org/W1872701416","https://openalex.org/W1883733964","https://openalex.org/W1981066696","https://openalex.org/W1985900990","https://openalex.org/W1996186652","https://openalex.org/W2009080961","https://openalex.org/W2020169768","https://openalex.org/W2040900440","https://openalex.org/W2058449564","https://openalex.org/W2080265580","https://openalex.org/W2082030917","https://openalex.org/W2101819268","https://openalex.org/W2152492994","https://openalex.org/W2156357889","https://openalex.org/W2158870716","https://openalex.org/W2159401684","https://openalex.org/W2161998660","https://openalex.org/W2162045655","https://openalex.org/W2166007208","https://openalex.org/W2199687903","https://openalex.org/W2604202109","https://openalex.org/W4233804448","https://openalex.org/W4240558819","https://openalex.org/W4241947695","https://openalex.org/W6687767793"],"related_works":["https://openalex.org/W2138385884","https://openalex.org/W4291309325","https://openalex.org/W2166895275","https://openalex.org/W2950474130","https://openalex.org/W4313469555","https://openalex.org/W157564837","https://openalex.org/W2080313875","https://openalex.org/W2998775986","https://openalex.org/W2011536294","https://openalex.org/W2737452945"],"abstract_inverted_index":{"We":[0],"introduce":[1],"in":[2,89,115,164],"this":[3,129],"paper":[4],"LocFaults,":[5],"a":[6,18,23,26,39,85,92],"new":[7],"flow-driven":[8,130],"and":[9,25,112,161,167],"constraint-based":[10],"approach":[11,131],"for":[12,21,34,42,50,70],"error":[13,35],"localization.":[14],"The":[15,75,125],"input":[16],"is":[17,132],"faulty":[19],"program":[20],"which":[22,51],"counter-example":[24],"postcondition":[27],"are":[28,140,172],"provided.":[29],"To":[30,101],"identify":[31],"helpful":[32],"information":[33],"location,":[36],"we":[37,61,105],"generate":[38],"constraint":[40],"system":[41],"the":[43,46,98,103,107,134,152],"paths":[44],"of":[45,67,72,77,79,82,95,128,137,143,156],"control":[47],"flow":[48],"graph":[49],"at":[52],"most":[53],"k":[54],"conditional":[55],"statements":[56,122],"may":[57],"be":[58],"erroneous.":[59],"Then,":[60],"calculate":[62],"Minimal":[63],"Correction":[64],"Sets":[65],"(MCS)":[66],"bounded":[68],"size":[69],"each":[71,142],"these":[73,80],"paths.":[74],"removal":[76],"one":[78],"sets":[81,136],"constraints":[83,96,163],"yields":[84],"maximal":[86,93],"satisfiable":[87],"subset,":[88],"other":[90],"words,":[91],"subset":[94],"satisfying":[97],"post":[99],"condition.":[100],"compute":[102],"MCS,":[104],"extend":[106],"algorithm":[108],"proposed":[109],"by":[110],"Liffiton":[111],"Sakallah":[113],"[21]":[114],"order":[116],"to":[117],"handle":[118],"programs":[119],"with":[120,147],"numerical":[121,162],"more":[123],"efficiently.":[124],"main":[126],"advantage":[127],"that":[133],"computed":[135],"suspicious":[138],"instructions":[139],"small,":[141],"them":[144],"being":[145],"associated":[146],"an":[148,165],"identified":[149],"path.":[150],"Moreover,":[151],"constraint-programming":[153],"based":[154],"framework":[155],"LocFaults":[157],"allows":[158],"mixing":[159],"Boolean":[160],"efficient":[166],"straightforward":[168],"way.":[169],"Preliminary":[170],"experiments":[171],"quite":[173],"encouraging.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2016-06-24T00:00:00"}