Follow
Mengshi Zhang
Title
Cited by
Cited by
Year
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
6222018
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
1552018
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
1352017
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
106*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
602019
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
382018
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
26*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
162020
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
152020
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
102023
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
102022
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
92019
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
82021
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
82017
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
6*2022
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
42020
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
32023
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
32023
Learning guided enumerative synthesis for superoptimization
S Singh, M Zhang, S Khurshid
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019
32019
An Integrated Approach to Software Testing and Learning
M Zhang
The University of Texas at Austin, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20