Publications

Structure Editor for Building Software Models
M.N. Patwary, A. Jovanovic, A.Sullivan. [PDF].

Is More or Less Automation Better? An Investigation into the LLM4TDD Process
S. Piya, A. Samadi, A. Sullivan
The Second International Workshop on Large Language Models for Code
(LLM4CODE 2025 @ ICSE) To Appear.

Right or Wrong: Understanding How Novice Users Write Software Models
A. Jovanovic, A. Sullivan
22nd International Conference on Software Engineering and Formal Methods
(SEFM) To Appear. [Preprint].
Mutation Testing for Temporal Alloy Models (Extended Version)
A. Jovanovic, A. Sullivan
The International Journal on Software and Systems Modeling
(SoSyM) [Link].
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
G. Wu, A. Sullivan
The ACM/IEEE 27th International Conference on Model-Driven Engineering Languages and Systems
(MODELS) September 2024. [Pre-Print].
Does Every Computer Scientist Need to Know Formal Methods?
M. Broy, A.D. Brucker, A. Fantechi, M. Gleirscher, K. Havelund, M. Kuppe, A. Mendes, A. Platzer, J.O. Ringert, A. Sullivan
Formal Aspects of Computing
(FAOC) [PDF].
LLM4TDD: Best Practices for Test Driven Development Using Large Language Models
S. Piya, A. Sullivan
The First International Workshop on Large Language Models for Code
(LLM4CODE@ICSE) April 2024. [PDF].

Crucible: Graphical Test Cases for Alloy Models
A. Emerson, A. Sullivan
The 34th International Symposium on Software Reliability Engineering
(ISSRE) October 2023. [PDF].
Mutation Testing for Temporal Alloy Models
A. Jovanovic, A. Sullivan
The ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems
(MODELS) October 2023. [PDF].
Integrating Testing into the Alloy Model Development Workflow
A. Sullivan
The ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems
(MODELS) October 2023. [PDF].
Live Programming for Finite Model Finders
A. Sullivan
The 38th IEEE/ACM International Conference on Automated Software Engineering - New Ideas and Emerging Results
(ASE NIER) September 2023. [PDF].
Abstract Alloy Instances
J. O. Ringert, A. Sullivan
The 25th International Symposium on Formal Methods
(FM) March 2023. [PDF].

REACH: Refining Alloy Scenarios by Size
A. Jovanovic, A. Sullivan
The 33rd International Symposium on Software Reliability Engineering
(ISSRE) October 2022. [PDF].
Towards Automated Input Generation for Sketching Alloy Models
A. Jovanovic, A. Sullivan
The 10th International Conference on Formal Methods in Software Engineering
(FormaliSE) May 2022. [PDF].

Hawkeye: User-Guided Enumeration of Scenarios
A. Sullivan
The 32nd International Symposium on Software Reliability Engineering
(ISSRE) October 2021. [PDF].
AlloyFL: A Fault Localization Framework for Alloy
T.A. Khan, A. Sullivan, K. Wang
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) Demostration Track
(FSE DEMO) August 2021. [PDF]

Fault Localization for Declarative Models in Alloy
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
The 31st International Symposium on Software Reliability Engineering
(ISSRE) October 2020. [PDF]
ProFL: A Fault Localization Framework for Prolog
G. Thompson, A. Sullivan
The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
(ISSTA Demo) July 2020. [PDF]

Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method
A. Sullivan, D. Marinov, S. Khurshid
The 21st International Conference on Formal Engineering Methods
(ICFEM) November 2019. [PDF]
ARepair: A Repair Framework for Alloy
K. Wang, A. Sullivan, S. Khurshid
Proceedings of the 41st IEEE/ACM International Conference on Software Engineering
(ICSE 2019 Demo) May 2019. [PDF]

ASketch: A Sketching Framework for Alloy
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
Proceedings of the 2018 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
(FSE 2018) November 2018. [PDF]
Automated Model Repair for Alloy
K. Wang, A. Sullivan, S. Khurshid
Proceedings of the 41st IEEE/ACM International Conference on Software Engineering
(ASE 2018) September 2018. [PDF]
Solver-based Sketching of Alloy Models using Test Valuations
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
(ABZ 2018) June 2018. [PDF]
Systematic Generation of Non-Equivalent Expressions for Relational Algebra
K. Wang, A. Sullivan, M. Koukoutos, D. Marinov, S. Khurshid
Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
(ABZ 2018) June 2018. [PDF]
MuAlloy: A Mutation Testing Framework for Alloy
K. Wang, A. Sullivan, S. Khurshid
Proceedings of the 40th International Conference on Software Engineering
(ICSE 2018 Demo) May 2019. [PDF]
AUnit: A Test Automation Tool for Alloy
A. Sullivan, K. Wang, S. Khurshid
Proceedings of the 11th IEEE International Conference on Software Testing, Verification and Validation
(ICST 2018 Demo) April 2018. [PDF]

Evaluating State Modeling Techniques in Alloy
A. Sullivan, K. Wang, S. Khurshid, D. Marinov
Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications
(SQAMIA 2017) September 2017. [PDF]
Automated Test Generation and Mutation Testing for Alloy
A. Sullivan, K. Wang, R.N. Zaeem, S. Khurshid
Proceedings of the 2017 IEEE International Conference on Software Testing, Verification and Validation
(ICST 2017) June 2017. [PDF]

The Effect of Test Suite Type on Regression Test Selection
N. Dini, A. Sullivan, M. Gligoric, G. Rothermel
Proceedings of the 27th {IEEE} International Symposium on Software Reliability Engineering
(ISSRE 2016) October 2016. [PDF]

Towards a Test Automation Framework for Alloy
A. Sullivan, R.N. Zaeem, S. Khurshid, D. Marinov
Proceedings of the 2014 International Symposium on Model Checking of Software
(SPIN 2014) July 2014. [PDF]