| 2024 | MODELS | AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. | Guanxuan Wu, Allison Sullivan |
| 2024 | SEFM | Right or Wrong - Understanding How Users Write Software Models in Alloy. | Ana Jovanovic, Allison Sullivan |
| 2023 | FM | Abstract Alloy Instances. | Jan Oliver Ringert, Allison Sullivan |
| 2023 | ISSRE | Crucible: Graphical Test Cases for Alloy Models. | Adam G. Emerson, Allison Sullivan |
| 2023 | MODELS | Mutation Testing for Temporal Alloy Models. | Ana Jovanovic, Allison Sullivan |
| 2023 | MODELS | Integrating Testing into the Alloy Model Development Workflow. | Allison Sullivan |
| 2022 | ISSRE | REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track). | Ana Jovanovic, Allison Sullivan |
| 2021 | ISSRE | HawkEye: User-Guided Enumeration of Scenarios. | Allison Sullivan |
| 2020 | ISSRE | Fault Localization for Declarative Models in Alloy. | Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2019 | ICFEM | Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. | Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2019 | ICSE | ARepair: a repair framework for alloy. | Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid |
| 2018 | ICSE | MuAlloy: a mutation testing framework for alloy. | Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid |
| 2018 | ICST | AUnit: A Test Automation Tool for Alloy. | Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid |
| 2017 | ICST | Automated Test Generation and Mutation Testing for Alloy. | Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
| 2016 | ISSRE | The Effect of Test Suite Type on Regression Test Selection. | Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel |