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 | 502 | 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 | 129 | 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 | 121 | 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 | 88* | 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 | 45 | 2019 |
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 | 31 | 2018 |
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 | 13 | 2020 |
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 | 10 | 2020 |
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 | 8* | 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 | 7 | 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 | 7 | 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 | 5 | 2021 |
Scei: A smart-contract driven edge intelligence framework for iot systems C Xu, Y Li, Y Deng, J Ge, L Gao, M Zhang, Y Xiang, X Zheng arXiv preprint arXiv:2103.07050, 2021 | 4 | 2021 |
An authentication framework in ICN-enabled industrial cyber-physical systems Y Lu, M Zhang, X Zheng Security and Privacy in New Computing Environments: Third EAI International …, 2021 | 4 | 2021 |
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 | 3* | 2022 |
Learning guided enumerative synthesis for superoptimization S Singh, M Zhang, S Khurshid Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 3 | 2019 |
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 | 2 | 2023 |
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 | 1 | 2022 |
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 | | 2023 |
An Integrated Approach to Software Testing and Learning M Zhang The University of Texas at Austin, 2019 | | 2019 |