Allison Sullivan

According to our database, Allison Sullivan authored at least 27 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.

Guanxuan Wu, Allison Sullivan

CoRR, 2024

Empirically Exploring How Novices Write Software Models in Alloy.

Ana Jovanovic, Allison Sullivan

CoRR, 2024

2023

LLM4TDD: Best Practices for Test Driven Development Using Large Language Models.

Sanyogita Piya, Allison Sullivan

CoRR, 2023

Integrating Testing into the Alloy Model Development Workflow.

Allison Sullivan

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Mutation Testing for Temporal Alloy Models.

Ana Jovanovic, Allison Sullivan

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Live Programming for Finite Model Finders.

Allison Sullivan

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Crucible: Graphical Test Cases for Alloy Models.

Adam G. Emerson, Allison Sullivan

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Abstract Alloy Instances.

Jan Oliver Ringert, Allison Sullivan

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track).

Ana Jovanovic, Allison Sullivan

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Towards Automated Input Generation for Sketching Alloy Models.

Ana Jovanovic, Allison Sullivan

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

REACH: Refining Alloy Scenarios by Scope.

Ana Jovanovic, Allison Sullivan

CoRR, 2021

AlloyFL: a fault localization framework for Alloy.

Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

HawkEye: User-Guided Enumeration of Scenarios.

Allison Sullivan

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

ProFL: a fault localization framework for Prolog.

George Thompson, Allison K. Sullivan

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Fault Localization for Declarative Models in Alloy.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019

ARepair: a repair framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method.

Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2019

2018

ASketch: a sketching framework for Alloy.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Automated model repair for Alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

AUnit: A Test Automation Tool for Alloy.

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

MuAlloy: a mutation testing framework for alloy.

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Solver-Based Sketching of Alloy Models Using Test Valuations.

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Systematic Generation of Non-equivalent Expressions for Relational Algebra.

Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Evaluating State Modeling Techniques in Alloy.

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov

Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Automated Test Generation and Mutation Testing for Alloy.

Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

The Effect of Test Suite Type on Regression Test Selection.

Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

2014

Towards a test automation framework for alloy.

Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014