Publications

Pre-prints

  • Structural Balance of Complex Weighted Graphs and Multi-partite Consensus
    H. Wu, A.T. Koru, G. Wu, F.L. Lewis, H. Lin [PDF].

2024

  • 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].

2023

  • 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].

2022

  • 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].

2021

  • 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]

2020

  • 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]

2019

  • 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]