| DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems M Zhang, Y Zhang, L Zhang, C Liu, S Khurshid Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018 | 697 | 2018 |
| Towards practical program repair with on-demand candidate generation J Hua, M Zhang, K Wang, S Khurshid Proceedings of the 40th international conference on software engineering, 12-23, 2018 | 173 | 2018 |
| Boosting spectrum-based fault localization using pagerank M Zhang, X Li, L Zhang, S Khurshid Proceedings of the 26th ACM SIGSOFT international symposium on software …, 2017 | 148 | 2017 |
| 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 | 114* | 2019 |
| An empirical study of boosting spectrum-based fault localization via pagerank M Zhang, Y Li, X Li, L Chen, Y Zhang, L Zhang, S Khurshid IEEE Transactions on Software Engineering 47 (6), 1089-1113, 2019 | 75 | 2019 |
| Testing of autonomous driving systems: where are we and where should we go? G Lou, Y Deng, X Zheng, M Zhang, T Zhang Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 50* | 2022 |
| Sketchfix: a tool for automated program repair approach using lazy candidate generation J Hua, M Zhang, K Wang, S Khurshid Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 48 | 2018 |
| Scenario-based test reduction and prioritization for multi-module autonomous driving systems Y Deng, X Zheng, M Zhang, G Lou, T Zhang Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 17 | 2022 |
| Fog-based secure service discovery for internet of multimedia things: a cross-blockchain approach H Liang, J Wu, X Zheng, M Zhang, J Li, A Jolfaei ACM Transactions on Multimedia Computing, Communications, and Applications …, 2020 | 17 | 2020 |
| Security analysis of indistinguishable obfuscation for internet of medical things applications Z Jing, C Gu, Y Li, M Zhang, G Xu, A Jolfaei, P Shi, C Tan, X Zheng Computer Communications 161, 202-211, 2020 | 15 | 2020 |
| Scei: A smart-contract driven edge intelligence framework for iot systems C Xu, J Ge, Y Li, Y Deng, L Gao, M Zhang, Y Xiang, X Zheng IEEE Transactions on Mobile Computing, 2023 | 14 | 2023 |
| Towards boosting patch execution on-the-fly S Benton, Y Xie, L Lu, M Zhang, X Li, L Zhang Proceedings of the 44th International Conference on Software Engineering …, 2022 | 13* | 2022 |
| Learning to optimize the alloy analyzer W Wang, K Wang, M Zhang, S Khurshid 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019 | 11 | 2019 |
| Service2vec: A vector representation for web services Y Zhang, M Zhang, X Zheng, DE Perry 2017 ieee international conference on web services (icws), 890-893, 2017 | 9 | 2017 |
| An integrated approach of deep learning and symbolic analysis for digital PDF table extraction M Zhang, D Perelman, V Le, S Gulwani 2020 25th international conference on pattern recognition (ICPR), 4062-4069, 2021 | 8 | 2021 |
| Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery C Zhu, M Zhang, X Wu, X Xu, Y Li ACM Transactions on Software Engineering and Methodology, 2023 | 7 | 2023 |
| Target: Traffic rule-based test generation for autonomous driving systems Y Deng, J Yao, Z Tu, X Zheng, M Zhang, T Zhang arXiv preprint arXiv:2305.06018, 2023 | 6 | 2023 |
| An authentication framework in ICN-enabled industrial cyber-physical systems Y Lu, M Zhang, X Zheng International Conference on Security and Privacy in New Computing …, 2020 | 4 | 2020 |
| Learning guided enumerative synthesis for superoptimization S Singh, M Zhang, S Khurshid Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 4 | 2019 |
| An Integrated Approach to Software Testing and Learning M Zhang The University of Texas at Austin, 2019 | | 2019 |
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
