{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:45:17Z","timestamp":1769741117049,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2042871"],"award-info":[{"award-number":["2042871"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,20]]},"DOI":"10.1145\/3468264.3473116","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:40:03Z","timestamp":1629337203000},"page":"1535-1539","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["AlloyFL: a fault localization framework for Alloy"],"prefix":"10.1145","author":[{"given":"Tanvir Ahmed","family":"Khan","sequence":"first","affiliation":[{"name":"University of Texas at Arlington, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7400-2218","authenticated-orcid":false,"given":"Allison","family":"Sullivan","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington, USA"}]},{"given":"Kaiyuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Google, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"van Gemund","author":"Abreu Rui","year":"2009","unstructured":"Rui Abreu , Peter Zoeteweij , Rob Golsteijn , and Arjan J. C . van Gemund . 2009 . A Practical Evaluation of Spectrum-based Fault Localization. JSS. Rui Abreu, Peter Zoeteweij, Rob Golsteijn, and Arjan J. C. van Gemund. 2009. A Practical Evaluation of Spectrum-based Fault Localization. JSS."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Rui Abreu Peter Zoeteweij and Arjan JC Van Gemund. 2009. Spectrum-based multiple fault localization. In ASE.  Rui Abreu Peter Zoeteweij and Arjan JC Van Gemund. 2009. Spectrum-based multiple fault localization. In ASE.","DOI":"10.1109\/ASE.2009.25"},{"key":"e_1_3_2_1_3_1","unstructured":"Alloy analyzer Website. 2019. http:\/\/alloytools.org  Alloy analyzer Website. 2019. http:\/\/alloytools.org"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_5_1","unstructured":"Daniel Jackson. 2017. The Alloyed Joys of Software Engineering Research. http:\/\/people.csail.mit.edu\/dnj\/talks\/icse17\/icse17-nobuilds.pdf  Daniel Jackson. 2017. The Alloyed Joys of Software Engineering Research. http:\/\/people.csail.mit.edu\/dnj\/talks\/icse17\/icse17-nobuilds.pdf"},{"key":"e_1_3_2_1_6_1","volume-title":"Jones and Mary Jean Harrold","author":"James","year":"2005","unstructured":"James A. Jones and Mary Jean Harrold . 2005 . Empirical Evaluation of the Tarantula Automatic Fault-localization Technique. In ASE. James A. Jones and Mary Jean Harrold. 2005. Empirical Evaluation of the Tarantula Automatic Fault-localization Technique. In ASE."},{"key":"e_1_3_2_1_7_1","volume-title":"JML: A Notation for Detailed Design. In Behavioral Specifications of Businesses and Systems.","author":"Leavens Gary T.","year":"1999","unstructured":"Gary T. Leavens , Albert L. Baker , and Clyde Ruby . 1999 . JML: A Notation for Detailed Design. In Behavioral Specifications of Businesses and Systems. Gary T. Leavens, Albert L. Baker, and Clyde Ruby. 1999. JML: A Notation for Detailed Design. In Behavioral Specifications of Businesses and Systems."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Ferney A Maldonado-Lopez Jaime Chavarriaga and Yezid Donoso. 2014. Detecting network policy conflicts using Alloy. In ABZ.  Ferney A Maldonado-Lopez Jaime Chavarriaga and Yezid Donoso. 2014. Detecting network policy conflicts using Alloy. In ABZ.","DOI":"10.1007\/978-3-662-43652-3_31"},{"key":"e_1_3_2_1_9_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz , Jan Oliver Ringert, and Bernhard Rumpe . 2011 . CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In MODELS. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In MODELS."},{"key":"e_1_3_2_1_10_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz , Jan Oliver Ringert, and Bernhard Rumpe . 2011 . CDDiff: Semantic Differencing for Class Diagrams. In ECOOP. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. CDDiff: Semantic Differencing for Class Diagrams. In ECOOP."},{"key":"e_1_3_2_1_11_1","unstructured":"Darko Marinov and Sarfraz Khurshid. 2001. TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE.  Darko Marinov and Sarfraz Khurshid. 2001. TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE."},{"key":"e_1_3_2_1_12_1","volume-title":"Hua Jie Lee, and Kotagiri Ramamohanarao","author":"Naish Lee","year":"2011","unstructured":"Lee Naish , Hua Jie Lee, and Kotagiri Ramamohanarao . 2011 . A Model for Spectra-based Software Diagnosis. TSE. Lee Naish, Hua Jie Lee, and Kotagiri Ramamohanarao. 2011. A Model for Spectra-based Software Diagnosis. TSE."},{"key":"e_1_3_2_1_13_1","unstructured":"Timothy Nelson Christopher Barratt Daniel J. Dougherty Kathi Fisler and Shriram Krishnamurthi. 2010. The Margrave Tool for Firewall Analysis. In LISA.  Timothy Nelson Christopher Barratt Daniel J. Dougherty Kathi Fisler and Shriram Krishnamurthi. 2010. The Margrave Tool for Firewall Analysis. In LISA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Tim Nelson Natasha Danas Daniel J. Dougherty and Shriram Krishnamurthi. 2017. The Power of \"Why\" and \"Why Not\": Enriching Scenario Exploration with Provenance. In FSE.  Tim Nelson Natasha Danas Daniel J. Dougherty and Shriram Krishnamurthi. 2017. The Power of \"Why\" and \"Why Not\": Enriching Scenario Exploration with Provenance. In FSE.","DOI":"10.1145\/3106237.3106272"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Natali Ruchansky and Davide Proserpio. 2013. A (Not) NICE Way to Verify the Openflow Switch Specification: Formal Modelling of the Openflow Switch Using Alloy. SIGCOMM.  Natali Ruchansky and Davide Proserpio. 2013. A (Not) NICE Way to Verify the Openflow Switch Specification: Formal Modelling of the Openflow Switch Using Alloy. SIGCOMM.","DOI":"10.1145\/2486001.2491711"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Allison Sullivan Kaiyuan Wang and Sarfraz Khurshid. 2018. AUnit: A Test Automation Tool for Alloy. In ICST. 398\u2013403.  Allison Sullivan Kaiyuan Wang and Sarfraz Khurshid. 2018. AUnit: A Test Automation Tool for Alloy. In ICST. 398\u2013403.","DOI":"10.1109\/ICST.2018.00047"},{"key":"e_1_3_2_1_17_1","volume-title":"Razieh Nokhbeh Zaeem, and Sarfraz Khurshid","author":"Sullivan Allison","year":"2017","unstructured":"Allison Sullivan , Kaiyuan Wang , Razieh Nokhbeh Zaeem, and Sarfraz Khurshid . 2017 . Automated Test Generation and Mutation Testing for Alloy. In ICST. Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, and Sarfraz Khurshid. 2017. Automated Test Generation and Mutation Testing for Alloy. In ICST."},{"key":"e_1_3_2_1_18_1","volume-title":"Sarfraz Khurshid, and Darko Marinov.","author":"Sullivan Allison","year":"2014","unstructured":"Allison Sullivan , Razieh Nokhbeh Zaeem , Sarfraz Khurshid, and Darko Marinov. 2014 . Towards a Test Automation Framework for Alloy. In SPIN. Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, and Darko Marinov. 2014. Towards a Test Automation Framework for Alloy. In SPIN."},{"key":"e_1_3_2_1_19_1","volume-title":"Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach","author":"Trippel Caroline","unstructured":"Caroline Trippel , Daniel Lustig , and Margaret Martonosi . 2019. Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach . IEEE Micro . Caroline Trippel, Daniel Lustig, and Margaret Martonosi. 2019. Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach. IEEE Micro."},{"key":"e_1_3_2_1_20_1","volume-title":"muAlloy \u2013 An Automated Mutation System for Alloy. Master\u2019s thesis","author":"Wang Kaiyuan","unstructured":"Kaiyuan Wang . 2015. muAlloy \u2013 An Automated Mutation System for Alloy. Master\u2019s thesis . University of Texas at Austin. Kaiyuan Wang. 2015. muAlloy \u2013 An Automated Mutation System for Alloy. Master\u2019s thesis. University of Texas at Austin."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Kaiyuan Wang Allison Sullivan and Sarfraz Khurshid. 2020. Fault Localization for Declarative Models in Alloy. In ISSRE.  Kaiyuan Wang Allison Sullivan and Sarfraz Khurshid. 2020. Fault Localization for Declarative Models in Alloy. In ISSRE.","DOI":"10.1109\/ISSRE5003.2020.00044"},{"key":"e_1_3_2_1_22_1","article-title":"The DStar Method for Effective Software Fault Localization","author":"Wong W. E.","year":"2014","unstructured":"W. E. Wong , V. Debroy , R. Gao , and Y. Li . 2014 . The DStar Method for Effective Software Fault Localization . IEEE Transactions on Reliability. W. E. Wong, V. Debroy, R. Gao, and Y. Li. 2014. The DStar Method for Effective Software Fault Localization. IEEE Transactions on Reliability.","journal-title":"IEEE Transactions on Reliability."}],"event":{"name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Athens Greece","acronym":"ESEC\/FSE '21","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3473116","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3473116","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3473116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:22Z","timestamp":1750191442000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3473116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":22,"alternative-id":["10.1145\/3468264.3473116","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3473116","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}