default search action

combined dblp search
author search
venue search
publication search

ask others

Allison Sullivan

Allison K. Sullivan

> Home > Persons

Person information

affiliation: University of Texas at Arlington, TX, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/llm4code/PiyaS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/llm4code/PiyaS24
Sanyogita Piya, Allison Sullivan:
LLM4TDD: Best Practices for Test Driven Development Using Large Language Models. LLM4CODE@ICSE 2024: 14-21
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/models/WuS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/WuS24
Guanxuan Wu, Allison Sullivan:
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. MODELS 2024: 57-68
2023
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/RingertS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/RingertS23
Jan Oliver Ringert, Allison Sullivan:
Abstract Alloy Instances. FM 2023: 364-382
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/EmersonS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/EmersonS23
Adam G. Emerson, Allison Sullivan:
Crucible: Graphical Test Cases for Alloy Models. ISSRE 2023: 218-227
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Sullivan23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Sullivan23
Allison Sullivan:
Live Programming for Finite Model Finders. ASE 2023: 1747-1752
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/models/Sullivan23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/Sullivan23
Allison Sullivan:
Integrating Testing into the Alloy Model Development Workflow. MODELS 2023: 117-128
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JovanovicS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JovanovicS23
Ana Jovanovic, Allison Sullivan:
Mutation Testing for Temporal Alloy Models. MODELS 2023: 228-238
2022
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/JovanovicS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/JovanovicS22
Ana Jovanovic, Allison Sullivan:
Towards Automated Input Generation for Sketching Alloy Models. FormaliSE@ICSE 2022: 58-68
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/JovanovicS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/JovanovicS22
Ana Jovanovic, Allison Sullivan:
REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track). ISSRE 2022: 229-238
2021
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Sullivan21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Sullivan21
Allison Sullivan:
HawkEye: User-Guided Enumeration of Scenarios. ISSRE 2021: 569-578
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KhanSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KhanSW21
Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang:
AlloyFL: a fault localization framework for Alloy. ESEC/SIGSOFT FSE 2021: 1535-1539
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/WangSMK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/WangSMK20
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. ISSRE 2020: 391-402
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ThompsonS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ThompsonS20
George Thompson, Allison K. Sullivan:
ProFL: a fault localization framework for Prolog. ISSTA 2020: 561-564
2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SullivanMK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SullivanMK19
Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM 2019: 336-352
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangSK19
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
ARepair: a repair framework for alloy. ICSE (Companion Volume) 2019: 103-106
2018
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/WangSKMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/WangSKMK18
Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ 2018: 105-120
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/WangSMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/WangSMK18
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ 2018: 121-136
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangSK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangSK18
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) 2018: 29-32
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SullivanWK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SullivanWK18
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid:
AUnit: A Test Automation Tool for Alloy. ICST 2018: 398-403
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WangSK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangSK18
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
Automated model repair for Alloy. ASE 2018: 577-588
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangSMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangSMK18
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE 2018: 916-919
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SullivanWZK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SullivanWZK17
Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Automated Test Generation and Mutation Testing for Alloy. ICST 2017: 264-275
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sqamia/SullivanWKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sqamia/SullivanWKM17
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov:
Evaluating State Modeling Techniques in Alloy. SQAMIA 2017
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DiniSGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DiniSGR16
Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel:
The Effect of Test Suite Type on Regression Test Selection. ISSRE 2016: 47-58
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/SullivanZKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/SullivanZKM14
Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov:
Towards a test automation framework for alloy. SPIN 2014: 113-116

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-06624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-06624
Ana Jovanovic, Allison Sullivan:
Empirically Exploring How Novices Write Software Models in Alloy. CoRR abs/2402.06624 (2024)
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-00170
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-00170
Guanxuan Wu, Allison Sullivan:
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. CoRR abs/2403.00170 (2024)
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-09524
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-09524
Mohammad Nurullah Patwary, Ana Jovanovic, Allison Sullivan:
Structure Editor for Building Software Models. CoRR abs/2406.09524 (2024)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-08374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-08374
Anahita Samadi, Allison Sullivan:
Evaluating Text Classification Robustness to Part-of-Speech Adversarial Examples. CoRR abs/2408.08374 (2024)
2023
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-17317
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-17317
Allison Sullivan:
Live Programming for Finite Model Finders. CoRR abs/2305.17317 (2023)
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-06922
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-06922
Adam G. Emerson, Allison Sullivan:
Crucible: Graphical Test Cases for Alloy Models. CoRR abs/2307.06922 (2023)
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-04687
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-04687
Sanyogita Piya, Allison Sullivan:
LLM4TDD: Best Practices for Test Driven Development Using Large Language Models. CoRR abs/2312.04687 (2023)
2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-11898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-11898
Ana Jovanovic, Allison Sullivan:
REACH: Refining Alloy Scenarios by Scope. CoRR abs/2110.11898 (2021)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-08707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-08707
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. CoRR abs/1807.08707 (2018)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.