Concepedia

Allison Sullivan

AS

Statistics

Publications

11

Citations

262

H-Index

11

Active since

1990

Affiliations

The University of Texas at Austin(Current)

Google (United States)

University of Illinois Urbana-Champaign

The University of Texas at Arlington

Allison Sullivan is an author at The University of Texas at Austin specializing in computer science, computing, and software testing.

Publications per year

1990–2024

11

Publications

11

Automated Test Generation and Mutation Testing for Alloy

Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem et al. · 2017 · 46 citations

Computing, Computer Engineering, Computer Science +12

Automated model repair for Alloy

Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid · 2018 · 39 citations · Full text

Computing, Computer Engineering, Computer Science +10

Fault Localization for Declarative Models in Alloy

Kaiyuan Wang, Allison Sullivan, Darko Marinov et al. · 2020 · 28 citations

Computing, Computer Engineering, Computer Science +9

AUnit: A Test Automation Tool for Alloy

Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid · 2018 · 25 citations

Computing, Computer Science, Automation +15

Does Every Computer Scientist Need to Know Formal Methods?

Manfred Broy, Achim D. Brucker, Alessandro Fantechi et al. · Formal Aspects of Computing · 2024 · 23 citations · Full text

Computing, Computer Science, Formal Methods +10

1–5 of 11