{"id":"https://openalex.org/W3193295423","doi":"https://doi.org/10.1145/3468264.3473116","title":"AlloyFL: a fault localization framework for Alloy","display_name":"AlloyFL: a fault localization framework for Alloy","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W3193295423","doi":"https://doi.org/10.1145/3468264.3473116","mag":"3193295423"},"language":"en","primary_location":{"id":"doi:10.1145/3468264.3473116","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3473116","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3473116","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3473116","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075674776","display_name":"Tanvir Ahmed Khan","orcid":"https://orcid.org/0000-0003-3741-1455"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tanvir Ahmed Khan","raw_affiliation_strings":["University of Texas at Arlington, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087863036","display_name":"Allison Sullivan","orcid":"https://orcid.org/0000-0001-7400-2218"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allison Sullivan","raw_affiliation_strings":["University of Texas at Arlington, USA"],"raw_orcid":"https://orcid.org/0000-0001-7400-2218","affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100681011","display_name":"Kaiyuan Wang","orcid":"https://orcid.org/0000-0002-0976-2613"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaiyuan Wang","raw_affiliation_strings":["Google, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google, USA","institution_ids":["https://openalex.org/I1291425158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1535","last_page":"1539"},"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.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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.801630437374115},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6613197326660156},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.6342051029205322},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.6329426765441895},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.601593554019928},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.534166157245636},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5167204737663269},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5035912394523621},{"id":"https://openalex.org/keywords/spectrum-analyzer","display_name":"Spectrum analyzer","score":0.47437578439712524},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.44900354743003845},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4452294111251831},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4370882213115692},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3407899737358093},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3373289108276367},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20454618334770203},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.08075127005577087}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.801630437374115},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6613197326660156},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.6342051029205322},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6329426765441895},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.601593554019928},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.534166157245636},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5167204737663269},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5035912394523621},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.47437578439712524},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.44900354743003845},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4452294111251831},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4370882213115692},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3407899737358093},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3373289108276367},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20454618334770203},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.08075127005577087},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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.1145/3468264.3473116","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3473116","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3473116","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3468264.3473116","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3473116","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3473116","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.550000011920929}],"awards":[{"id":"https://openalex.org/G1382337310","display_name":"FMiTF: Track II: Alloy Analyzer Plus: An Integrated Development Environment for Alloy","funder_award_id":"2042871","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W72463235","https://openalex.org/W367605388","https://openalex.org/W1538801056","https://openalex.org/W1583826417","https://openalex.org/W2005129294","https://openalex.org/W2013655083","https://openalex.org/W2060440626","https://openalex.org/W2061081083","https://openalex.org/W2101819268","https://openalex.org/W2165413178","https://openalex.org/W2165663378","https://openalex.org/W2172154252","https://openalex.org/W2741400146","https://openalex.org/W2806592451","https://openalex.org/W2944138723","https://openalex.org/W3098776202"],"related_works":["https://openalex.org/W1485837041","https://openalex.org/W3204955359","https://openalex.org/W4251258648","https://openalex.org/W1598160211","https://openalex.org/W2179621094","https://openalex.org/W2067499928","https://openalex.org/W1524028411","https://openalex.org/W2138059712","https://openalex.org/W2018145554","https://openalex.org/W2127248783"],"abstract_inverted_index":{"Declarative":[0],"models":[1,9,50],"help":[2,70],"improve":[3],"the":[4,36,120,131,140],"reliability":[5],"of":[6,33,64,101,114,129,133,142],"software":[7],"systems:":[8],"can":[10,151],"be":[11,152],"used":[12,27],"to":[13,46,105,119],"convey":[14],"requirements,":[15],"analyze":[16],"system":[17],"designs":[18],"and":[19,48,89,137],"verify":[20],"implementation":[21,113],"properties.":[22],"Alloy":[23,34,87],"is":[24,35,67,76,127],"a":[25,53,77,85,90,98],"commonly":[26],"modeling":[28],"language.":[29],"A":[30],"key":[31],"strength":[32],"Analyzer,":[37],"Alloy's":[38],"integrated":[39],"development":[40],"environment":[41],"(IDE),":[42],"which":[43],"allows":[44],"users":[45,71],"write":[47],"execute":[49],"by":[51],"leveraging":[52],"fully":[54],"automatic":[55],"SAT":[56],"based":[57],"analysis":[58],"engine.":[59],"Unfortunately,":[60],"writing":[61],"correct":[62],"constraints":[63],"complex":[65],"properties":[66],"difficult.":[68],"To":[69],"identify":[72],"fault":[73,78],"locations,":[74],"AlloyFL":[75,96,115,126,150],"localization":[79],"technique":[80],"that":[81],"takes":[82],"as":[83,116],"input":[84],"faulty":[86,144],"model":[88],"fault-revealing":[91],"test":[92],"suite.":[93],"As":[94],"output,":[95],"returns":[97],"ranked":[99],"list":[100],"locations":[102],"from":[103],"most":[104],"least":[106],"suspicious.":[107],"This":[108],"paper":[109],"describes":[110],"our":[111],"Java":[112],"an":[117],"extension":[118],"Analyzer.":[121],"Our":[122],"experimental":[123],"results":[124],"show":[125],"capable":[128],"detecting":[130],"location":[132],"real":[134],"world":[135],"faults":[136],"works":[138],"in":[139],"presence":[141],"multiple":[143],"locations.":[145],"The":[146],"demo":[147],"video":[148],"for":[149],"found":[153],"at":[154],"https://youtu.be/ZwgP58Nsbx8.":[155]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}