Follow
Mengxiao Zhang
Mengxiao Zhang
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
The relevance of classic fuzz testing: Have we solved this one?
BP Miller, M Zhang, ER Heymann
IEEE Transactions on Software Engineering 48 (6), 2028-2039, 2020
492020
Pushing the limit of 1-minimality of language-agnostic program reduction
Z Xu, Y Tian, M Zhang, G Zhao, Y Jiang, C Sun
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 636-664, 2023
152023
Lpr: Large language models-aided program reduction
M Zhang, Y Tian, Z Xu, Y Dong, SH Tan, C Sun
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
7*2024
PPR: Pairwise Program Reduction
M Zhang, Z Xu, Y Tian, Y Jiang, C Sun
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
72023
On the Caching Schemes to Speed Up Program Reduction
Y Tian, X Zhang, Y Dong, Z Xu, M Zhang, Y Jiang, SC Cheung, C Sun
ACM Transactions on Software Engineering and Methodology 33 (1), 1-30, 2023
72023
Ad hoc syntax-guided program reduction
JL Tian, M Zhang, Z Xu, Y Tian, Y Dong, C Sun
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
42023
The Local Dimension of Deep Manifold
M Zhang, W Wu, Y Zhang, K He, T Yu, H Long, JE Hopcroft
arXiv preprint arXiv:1711.01573, 2017
32017
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
Z Xu, Y Tian, M Zhang, J Zhang, P Liu, Y Jiang, C Sun
ACM Transactions on Software Engineering and Methodology 34 (2), 1-31, 2025
22025
Deep Dive into Probabilistic Delta Debugging: Insights and Simplifications
M Zhang, Z Xu, Y Tian, X Cheng, C Sun
arXiv preprint arXiv:2408.04735, 2024
12024
WDD: Weighted Delta Debugging
X Zhou, Z Xu, M Zhang, Y Tian, C Sun
arXiv preprint arXiv:2411.19410, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–10