| Towards practical program repair with on-demand candidate generation J Hua, M Zhang, K Wang, S Khurshid The 40th International Conference on Software Engineering, ICSE 2018, 2018 | 130 | 2018 |
| Symbolic execution for importance analysis and adversarial generation in neural networks D Gopinath, M Zhang, K Wang, IB Kadron, C Pasareanu, S Khurshid 2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019 | 88* | 2019 |
| Automated Test Generation and Mutation Testing for Alloy A Sullivan, K Wang, RN Zaeem, S Khurshid The 10th IEEE International Conference on Software Testing, Verification and …, 2017 | 48 | 2017 |
| Sketch-Fix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation J Hua, M Zhang, K Wang, S Khurshid Foundations of Software Engineering, 2018 | 31 | 2018 |
| Towards Refactoring-Aware Regression Test Selection K Wang, C Zhu, A Celik, J Kim, D Batory, M Gligoric The 40th International Conference on Software Engineering, ICSE 2018, 2018 | 30 | 2018 |
| Automated model repair for alloy K Wang, A Sullivan, S Khurshid Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 27 | 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 | 24 | 2020 |
| AUnit: a test automation tool for Alloy A Sullivan, K Wang, S Khurshid The 11th IEEE International Conference on Software Testing, Verification and …, 2018 | 24 | 2018 |
| Symbolic discovery of optimization algorithms X Chen, C Liang, D Huang, E Real, K Wang, Y Liu, H Pham, X Dong, ... arXiv preprint arXiv:2302.06675, 2023 | 23 | 2023 |
| Moėt: Interpretable and verifiable reinforcement learning via mixture of expert trees M Vasic, A Petrovic, K Wang, M Nikolic, R Singh, S Khurshid arXiv preprint arXiv:1906.06717, 2019 | 19 | 2019 |
| Evaluating State Modeling Techniques in Alloy. A Sullivan, K Wang, S Khurshid, D Marinov SQAMIA, 2017 | 19 | 2017 |
| MuAlloy: a mutation testing framework for Alloy K Wang, A Sullivan, S Khurshid The 40th International Conference on Software Engineering, ICSE 2018, 2018 | 18 | 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 | 17 | 2018 |
| ARepair: a repair framework for alloy K Wang, A Sullivan, S Khurshid 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 14 | 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 | 13 | 2018 |
| ASketch: A Sketching Framework for Alloy K Wang, A Sullivan, D Marinov, S Khurshid Foundations of Software Engineering, 2018 | 12 | 2018 |
| A study of symmetry breaking predicates and model counting W Wang, M Usman, A Almaawi, K Wang, KS Meel, S Khurshid Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 11 | 2020 |
| EdSynth: Synthesizing API sequences with conditionals and loops Z Yang, J Hua, K Wang, S Khurshid 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018 | 11 | 2018 |
| MuAlloy: an automated mutation system for alloy K Wang | 11 | 2015 |
| A study of learning data structure invariants using off-the-shelf tools M Usman, W Wang, K Wang, C Yelen, N Dini, S Khurshid Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 10 | 2019 |
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
