| 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 | 57 | 2017 |
| Automated model repair for Alloy K Wang, A Sullivan, S Khurshid Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 46 | 2018 |
| 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 | 37 | 2020 |
| Aunit: A test automation tool for alloy A Sullivan, K Wang, S Khurshid 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018 | 28 | 2018 |
| 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 | 25 | 2014 |
| Mualloy: a mutation testing framework for alloy K Wang, A Sullivan, S Khurshid Proceedings of the 40th International Conference on Software Engineering …, 2018 | 24 | 2018 |
| 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 | 20 | 2018 |
| Evaluating State Modeling Techniques in Alloy. A Sullivan, K Wang, S Khurshid, D Marinov SQAMIA, 2017 | 20 | 2017 |
| 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 | 18 | 2018 |
| ARepair: a repair framework for alloy K Wang, A Sullivan, S Khurshid 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 17 | 2019 |
| 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 | 17 | 2019 |
| 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 | 15 | 2018 |
| 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 | 15 | 2016 |
| Does Every Computer Scientist Need to Know Formal Methods? M Broy, A Brucker, A Fantechi, M Gleirscher, K Havelund, MA Kuppe, ... Formal Aspects of Computing, 2024 | 12 | 2024 |
| Automated testing and sketching of Alloy models A Sullivan | 10 | 2017 |
| Hawkeye: user-guided enumeration of scenarios A Sullivan 2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021 | 7 | 2021 |
| Profl: a fault localization framework for prolog G Thompson, AK Sullivan Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 7 | 2020 |
| Abstract alloy instances JO Ringert, A Sullivan International Symposium on Formal Methods, 364-382, 2023 | 6 | 2023 |
| Llm4tdd: Best practices for test driven development using large language models S Piya, A Sullivan Proceedings of the 1st International Workshop on Large Language Models for …, 2024 | 5 | 2024 |
| REACH: refining alloy scenarios by size (tools and artifact track) A Jovanovic, A Sullivan 2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022 | 5 | 2022 |
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
