Publications

Empirically Exploring How Novices Write Software Models in Alloy
A. Jovanovic, A.Sullivan. [PDF].
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
G. Wu, A. Sullivan. [PDF].
Structural Balance of Complex Weighted Graphs and Multi-partite Consensus
H. Wu, A.T. Koru, G. Wu, F.L. Lewis, H. Lin [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) To Appear. [pre-print].

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]