Allison Sullivan

Allison Sullivan

University of Texas Arlington - Arlington / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4890221
Université du Texas à Arlington
person_outline Allison Sullivan's MOST POPULAR ARTICLES
1-) Automated test generation and mutation testing for AlloyA Sullivan, K Wang, RN Zaeem, S Khurshid2017 IEEE International Conference on Software Testing, Verification and …, 2017442017
2-) Automated model repair for AlloyK Wang, A Sullivan, S KhurshidProceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018392018
3-) Fault localization for declarative models in AlloyK Wang, A Sullivan, D Marinov, S Khurshid2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020232020
4-) Aunit: A test automation tool for alloyA Sullivan, K Wang, S Khurshid2018 IEEE 11th International Conference on Software Testing, Verification …, 2018282018
5-) Towards a test automation framework for AlloyA Sullivan, RN Zaeem, S Khurshid, D MarinovProceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014262014