Publications

Structure Editor for Building Software Models
M.N. Patwary, A. Jovanovic, A.Sullivan. [PDF].
Right or Wrong: Understanding How Novice Users Write Software Models
A. Jovanovic, A.Sullivan. [PDF].

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) To Appear. [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].

Structural Balance of Complex Weighted Graphs and Multi-partite Consensus
H. Wu, A.T. Koru, G. Wu, F.L. Lewis, H. Lin
IEEE Control Systems Letters volume 7
2023 [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]