{"id":"https://openalex.org/W4206078826","doi":"https://doi.org/10.1109/ase51524.2021.9678740","title":"FLACK: Localizing Faults in Alloy Models","display_name":"FLACK: Localizing Faults in Alloy Models","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4206078826","doi":"https://doi.org/10.1109/ase51524.2021.9678740"},"language":"en","primary_location":{"id":"doi:10.1109/ase51524.2021.9678740","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678740","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5026055653","display_name":"Guolong Zheng","orcid":"https://orcid.org/0000-0002-1996-2635"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guolong Zheng","raw_affiliation_strings":["University of Nebraska-Lincoln, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069411288","display_name":"ThanhVu Nguyen","orcid":"https://orcid.org/0000-0002-4255-4592"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ThanhVu Nguyen","raw_affiliation_strings":["George Mason University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"George Mason University, USA","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056122432","display_name":"Sim\u00f3n Guti\u00e9rrez Brida","orcid":"https://orcid.org/0000-0003-3115-2739"},"institutions":[{"id":"https://openalex.org/I15366983","display_name":"Universidad Nacional de R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]},{"id":"https://openalex.org/I4210095825","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - San Juan","ror":"https://ror.org/00kwm3d29","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210095825","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Simon Gutierrez Brida","raw_affiliation_strings":["FCEFQyN, University of R\u00edo, Cuarto, Argentina","National Council for Scientific and Technical Research (CONICET), Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FCEFQyN, University of R\u00edo, Cuarto, Argentina","institution_ids":["https://openalex.org/I15366983"]},{"raw_affiliation_string":"National Council for Scientific and Technical Research (CONICET), Argentina","institution_ids":["https://openalex.org/I4210095825"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074298887","display_name":"Germ\u00e1n Regis","orcid":"https://orcid.org/0000-0002-0979-4623"},"institutions":[{"id":"https://openalex.org/I15366983","display_name":"Universidad Nacional de R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"German Regis","raw_affiliation_strings":["FCEFQyN, University of R\u00edo, Cuarto, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FCEFQyN, University of R\u00edo, Cuarto, Argentina","institution_ids":["https://openalex.org/I15366983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035707440","display_name":"Marcelo F. Frias","orcid":"https://orcid.org/0000-0002-5592-1355"},"institutions":[{"id":"https://openalex.org/I4210095825","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - San Juan","ror":"https://ror.org/00kwm3d29","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210095825","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I4210133962","display_name":"Instituto Tecnol\u00f3gico de Buenos Aires (ITBA)","ror":"https://ror.org/02qwadn23","country_code":"AR","type":"education","lineage":["https://openalex.org/I4210133962"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Marcelo Frias","raw_affiliation_strings":["Buenos Aires Institute of Technology, Argentina","National Council for Scientific and Technical Research (CONICET), Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Buenos Aires Institute of Technology, Argentina","institution_ids":["https://openalex.org/I4210133962"]},{"raw_affiliation_string":"National Council for Scientific and Technical Research (CONICET), Argentina","institution_ids":["https://openalex.org/I4210095825"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016401353","display_name":"Nazareno Aguirre","orcid":"https://orcid.org/0000-0003-0532-5296"},"institutions":[{"id":"https://openalex.org/I15366983","display_name":"Universidad Nacional de R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]},{"id":"https://openalex.org/I4210095825","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - San Juan","ror":"https://ror.org/00kwm3d29","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210095825","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Nazareno Aguirre","raw_affiliation_strings":["FCEFQyN, University of R\u00edo, Cuarto, Argentina","National Council for Scientific and Technical Research (CONICET), Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FCEFQyN, University of R\u00edo, Cuarto, Argentina","institution_ids":["https://openalex.org/I15366983"]},{"raw_affiliation_string":"National Council for Scientific and Technical Research (CONICET), Argentina","institution_ids":["https://openalex.org/I4210095825"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030064922","display_name":"Hamid Bagheri","orcid":"https://orcid.org/0000-0001-6686-466X"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hamid Bagheri","raw_affiliation_strings":["University of Nebraska-Lincoln, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln, USA","institution_ids":["https://openalex.org/I114395901"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.20229469,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1218","last_page":"1222"},"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.9997000098228455,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/assertion","display_name":"Assertion","score":0.8341125845909119},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7869101762771606},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7102673053741455},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7098339796066284},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5746304392814636},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4967048764228821},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.49117323756217957},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.48259103298187256},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4326150715351105},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3809989094734192},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3238945007324219},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11386534571647644},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1040942370891571},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1008894145488739}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8341125845909119},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7869101762771606},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7102673053741455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7098339796066284},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5746304392814636},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4967048764228821},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.49117323756217957},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.48259103298187256},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4326150715351105},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3809989094734192},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3238945007324219},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11386534571647644},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1040942370891571},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1008894145488739},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase51524.2021.9678740","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678740","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.699999988079071,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W367605388","https://openalex.org/W1519503479","https://openalex.org/W1988537734","https://openalex.org/W2052602498","https://openalex.org/W2060440626","https://openalex.org/W2083755826","https://openalex.org/W2116411029","https://openalex.org/W2898878396","https://openalex.org/W3042771014","https://openalex.org/W3098776202","https://openalex.org/W3162646158"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1498103021","https://openalex.org/W1489260687","https://openalex.org/W4230849338","https://openalex.org/W2775700832","https://openalex.org/W3204670144","https://openalex.org/W4295166216","https://openalex.org/W2587222766","https://openalex.org/W1981142672","https://openalex.org/W4288083173"],"abstract_inverted_index":{"Fault":[0],"localization":[1,14],"can":[2,170],"help":[3],"developers":[4],"identify":[5,38],"buggy":[6],"statements":[7],"or":[8],"expressions":[9,99,135],"in":[10,57,136,156],"programs.":[11],"Existing":[12],"fault":[13],"techniques":[15],"are":[16,65],"often":[17],"designed":[18],"for":[19,54],"imperative":[20],"programs":[21],"(e.g.,":[22],"C":[23],"and":[24,26,33,75,92,125,152,164,168],"Java)":[25],"rely":[27],"on":[28],"tests":[29],"to":[30,37,50,101,108,132],"compare":[31],"correct":[32],"incorrect":[34],"execution":[35],"traces":[36],"suspicious":[39,98,134],"statements.":[40],"In":[41],"this":[42],"demo":[43],"paper,":[44],"we":[45],"present":[46],"FLACK,":[47],"a":[48,59,72,78,94],"tool":[49],"automatically":[51],"locate":[52],"faults":[53],"models":[55,64,145],"written":[56],"Alloy,":[58],"declarative":[60],"language":[61],"where":[62],"the":[63,102,110,117,123,130,137,150,158],"not":[66,121],"executed":[67],"but":[68],"instead":[69],"converted":[70],"into":[71],"logical":[73],"formula":[74],"solved":[76],"using":[77],"SAT":[79],"solver.":[80],"FLACK":[81,155,163],"takes":[82],"as":[83],"input":[84,138],"an":[85],"Alloy":[86,144],"model":[87,118],"that":[88,119,127],"violates":[89],"some":[90],"assertions":[91],"returns":[93],"ranked":[95],"list":[96],"of":[97,116,154,160],"contributing":[100],"violation.":[103],"The":[104,175],"key":[105],"idea":[106],"is":[107,178],"analyze":[109],"differences":[111],"between":[112],"counterexamples,":[113],"i.e.,":[114],"instances":[115,126],"do":[120,128],"satisfy":[122,129],"assertion":[124,131],"find":[133],"model.":[139],"An":[140],"experiment":[141],"with":[142,146],"157":[143],"various":[147],"bugs":[148],"shows":[149],"efficiency":[151],"accuracy":[153],"localizing":[157],"causes":[159],"these":[161],"bugs.":[162],"its":[165],"evaluation":[166],"benchmark":[167],"results":[169],"be":[171],"downloaded":[172],"from":[173],"https://github.com/guolong-zheng/flack.":[174],"video":[176],"demonstration":[177],"available":[179],"at":[180],"https://youtu.be/FKa2ohqIUms.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}