Allison Sullivan

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 29

Top Topics

Compact Representations

Mutation Testing

Fault Localization

Top Venues

ICSE (Companion Volume)

Publications

Mohammad Nurullah Patwary, Ana Jovanovic, Allison Sullivan
Structure Editor for Building Software Models. CoRR (2024)
Ana Jovanovic, Allison Sullivan
Empirically Exploring How Novices Write Software Models in Alloy. CoRR (2024)
Guanxuan Wu, Allison Sullivan
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. CoRR (2024)
Adam G. Emerson, Allison Sullivan
Crucible: Graphical Test Cases for Alloy Models. CoRR (2023)
Adam G. Emerson, Allison Sullivan
Crucible: Graphical Test Cases for Alloy Models. ISSRE (2023)
Allison Sullivan
Integrating Testing into the Alloy Model Development Workflow. MODELS (2023)
Ana Jovanovic, Allison Sullivan
Mutation Testing for Temporal Alloy Models. MODELS (2023)
Allison Sullivan
Live Programming for Finite Model Finders. ASE (2023)
Sanyogita Piya, Allison Sullivan
LLM4TDD: Best Practices for Test Driven Development Using Large Language Models. CoRR (2023)
Allison Sullivan
Live Programming for Finite Model Finders. CoRR (2023)
Jan Oliver Ringert, Allison Sullivan
Abstract Alloy Instances. FM (2023)
Ana Jovanovic, Allison Sullivan
REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track). ISSRE (2022)
Ana Jovanovic, Allison Sullivan
Towards Automated Input Generation for Sketching Alloy Models. FormaliSE@ICSE (2022)
Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang
AlloyFL: a fault localization framework for Alloy. ESEC/SIGSOFT FSE (2021)
Allison Sullivan
HawkEye: User-Guided Enumeration of Scenarios. ISSRE (2021)
Ana Jovanovic, Allison Sullivan
REACH: Refining Alloy Scenarios by Scope. CoRR (2021)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Fault Localization for Declarative Models in Alloy. ISSRE (2020)
Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM (2019)
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
ARepair: a repair framework for alloy. ICSE (Companion Volume) (2019)
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) (2018)
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid
AUnit: A Test Automation Tool for Alloy. ICST (2018)
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
Automated model repair for Alloy. ASE (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE (2018)
Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Fault Localization for Declarative Models in Alloy. CoRR (2018)
Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Automated Test Generation and Mutation Testing for Alloy. ICST (2017)
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov
Evaluating State Modeling Techniques in Alloy. SQAMIA (2017)
Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel
The Effect of Test Suite Type on Regression Test Selection. ISSRE (2016)
Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov
Towards a test automation framework for alloy. SPIN (2014)