Mengshi Zhang
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Learning guided enumerative synthesis for superoptimization
S Singh, M Zhang, S Khurshid
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019
An Integrated Approach to Software Testing and Learning
M Zhang
The University of Texas at Austin, 2019
The system can't perform the operation now. Try again later.
Articles 1–20