Follow
Allison Sullivan
Allison Sullivan
Assistant Professor of Computer Science, The University of Texas at Arlington
Verified email at uta.edu - Homepage
Title
Cited by
Cited by
Year
Automated test generation and mutation testing for Alloy
A Sullivan, K Wang, RN Zaeem, S Khurshid
2017 IEEE International Conference on Software Testing, Verification and …, 2017
522017
Automated model repair for Alloy
K Wang, A Sullivan, S Khurshid
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
392018
Fault localization for declarative models in Alloy
K Wang, A Sullivan, D Marinov, S Khurshid
2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020
312020
Aunit: A test automation tool for alloy
A Sullivan, K Wang, S Khurshid
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
282018
Towards a test automation framework for Alloy
A Sullivan, RN Zaeem, S Khurshid, D Marinov
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
232014
Mualloy: a mutation testing framework for alloy
K Wang, A Sullivan, S Khurshid
Proceedings of the 40th International Conference on Software Engineering …, 2018
222018
Evaluating State Modeling Techniques in Alloy.
A Sullivan, K Wang, S Khurshid, D Marinov
SQAMIA, 2017
202017
Systematic generation of non-equivalent expressions for relational algebra
K Wang, A Sullivan, M Koukoutos, D Marinov, S Khurshid
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
182018
Arepair: a repair framework for alloy
K Wang, A Sullivan, S Khurshid
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
162019
Solution enumeration abstraction: a modeling idiom to enhance a lightweight formal method
A Sullivan, D Marinov, S Khurshid
Formal Methods and Software Engineering: 21st International Conference on …, 2019
152019
Asketch: A sketching framework for alloy
K Wang, A Sullivan, D Marinov, S Khurshid
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
152018
The effect of test suite type on regression test selection
N Dini, A Sullivan, M Gligoric, G Rothermel
2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016
152016
Solver-based sketching of alloy models using test valuations
K Wang, A Sullivan, D Marinov, S Khurshid
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
142018
Automated testing and sketching of Alloy models
A Sullivan
92017
Profl: a fault localization framework for prolog
G Thompson, AK Sullivan
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
62020
Hawkeye: User-guided enumeration of scenarios
A Sullivan
2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021
52021
AlloyFL: a fault localization framework for Alloy
TA Khan, A Sullivan, K Wang
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
42021
AUnit-a testing framework for Alloy
A Sullivan
42014
Abstract alloy instances
JO Ringert, A Sullivan
International Symposium on Formal Methods, 364-382, 2023
32023
REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track)
A Jovanovic, A Sullivan
2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20