Towards a test automation framework for alloy. - Allison Sullivan; Razieh Nokhbeh Zaeem; Sarfraz Khurshid; Darko Marinov (SPIN, 2014)

The Effect of Test Suite Type on Regression Test Selection. - Nima Dini; Allison Sullivan; Milos Gligoric 001; Gregg Rothermel (ISSRE, 2016)

Automated Test Generation and Mutation Testing for Alloy. - Allison Sullivan; Kaiyuan Wang; Razieh Nokhbeh Zaeem; Sarfraz Khurshid (ICST, 2017)

Evaluating State Modeling Techniques in Alloy. - Allison Sullivan; Kaiyuan Wang; Sarfraz Khurshid; Darko Marinov (SQAMIA, 2017)

Systematic Generation of Non-equivalent Expressions for Relational Algebra. - Kaiyuan Wang; Allison Sullivan; Manos Koukoutos; Darko Marinov; Sarfraz Khurshid (ABZ, 2018)

Solver-Based Sketching of Alloy Models Using Test Valuations. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ABZ, 2018)

MuAlloy: a mutation testing framework for alloy. - Kaiyuan Wang; Allison Sullivan; Sarfraz Khurshid (ICSE (Companion Volume), 2018)

AUnit: A Test Automation Tool for Alloy. - Allison Sullivan; Kaiyuan Wang; Sarfraz Khurshid (ICST, 2018)

Automated model repair for Alloy. - Kaiyuan Wang; Allison Sullivan; Sarfraz Khurshid (ASE, 2018)

ASketch: a sketching framework for Alloy. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ESEC/SIGSOFT FSE, 2018)

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. - Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ICFEM, 2019)

ARepair: a repair framework for alloy. - Kaiyuan Wang; Allison Sullivan; Sarfraz Khurshid (ICSE (Companion Volume), 2019)

Fault Localization for Declarative Models in Alloy. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ISSRE, 2020)

ProFL: a fault localization framework for Prolog. - George Thompson; Allison K. Sullivan (ISSTA, 2020)

HawkEye: User-Guided Enumeration of Scenarios. - Allison Sullivan (ISSRE, 2021)

AlloyFL: a fault localization framework for Alloy. - Tanvir Ahmed Khan; Allison Sullivan; Kaiyuan Wang (ESEC/SIGSOFT FSE, 2021)

REACH: Refining Alloy Scenarios by Scope. - Ana Jovanovic; Allison Sullivan (CoRR, 2021)

Towards Automated Input Generation for Sketching Alloy Models. - Ana Jovanovic; Allison Sullivan (FormaliSE@ICSE, 2022)

REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track). - Ana Jovanovic; Allison Sullivan (ISSRE, 2022)

Abstract Alloy Instances. - Jan Oliver Ringert; Allison Sullivan (FM, 2023)

Crucible: Graphical Test Cases for Alloy Models. - Adam G. Emerson; Allison Sullivan (ISSRE, 2023)

Live Programming for Finite Model Finders. - Allison Sullivan (ASE, 2023)

Mutation Testing for Temporal Alloy Models. - Ana Jovanovic; Allison Sullivan (MODELS, 2023)

Integrating Testing into the Alloy Model Development Workflow. - Allison Sullivan (MODELS, 2023)

LLM4TDD: Best Practices for Test Driven Development Using Large Language Models. - Sanyogita Piya; Allison Sullivan (LLM4CODE@ICSE, 2024)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. - Guanxuan Wu; Allison Sullivan (MODELS, 2024)

Right or Wrong - Understanding How Users Write Software Models in Alloy. - Ana Jovanovic; Allison Sullivan (SEFM, 2024)

Empirically Exploring How Novices Write Software Models in Alloy. - Ana Jovanovic; Allison Sullivan (CoRR, 2024)

Structure Editor for Building Software Models. - Mohammad Nurullah Patwary; Ana Jovanovic; Allison Sullivan (CoRR, 2024)

Evaluating Text Classification Robustness to Part-of-Speech Adversarial Examples. - Anahita Samadi; Allison Sullivan (CoRR, 2024)

Refining Alloy-Based Mutation Operators to Reflect Common Mistakes. - Ana Jovanovic; Mohammad Nurullah Patwary; Allison Sullivan (FormaliSE, 2025)

Is More or Less Automation Better? An Investigation into the LLM4TDD Process. - Sanyogita Piya; Anahita Samadi; Allison Sullivan (LLM4Code@ICSE, 2025)

Does Every Computer Scientist Need to Know Formal Methods? - Manfred Broy; Achim D. Brucker; Alessandro Fantechi; Mario Gleirscher; Klaus Havelund; Markus Alexander Kuppe; Alexandra Mendes; André Platzer; Jan Oliver Ringert; Allison Sullivan (Formal Aspects Comput., 2025)