Concepedia

Mengxiao Zhang

MZ

5

Publications

81

Citations

5

H-Index

2020

Active since

Affiliations

University of Waterloo(Current)

Tsinghua University

Hong Kong University of Science and Technology

Mengxiao Zhang is an author at University of Waterloo specializing in system software, computer science, and software analysis.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

2020–2024

5

Publications

5

The Relevance of Classic Fuzz Testing: Have We Solved This One?

Barton P. Miller, Mengxiao Zhang, Elisa Heymann · IEEE Transactions on Software Engineering · 2020 · 27 citations · Full text

Software Maintenance, Engineering, Software Engineering +21

Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction

Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang et al. · Proceedings of the ACM on Programming Languages · 2023 · 19 citations · Full text

Language-agnostic Program Reduction, Engineering, Compiler Technology +22

On the Caching Schemes to Speed Up Program Reduction

Yongqiang Tian, Xueyan Zhang, Yiwen Dong et al. · ACM Transactions on Software Engineering and Methodology · 2023 · 12 citations

LPR: Large Language Models-Aided Program Reduction

Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu et al. · 2024 · 12 citations

PPR: Pairwise Program Reduction

Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian et al. · 2023 · 11 citations

Rows per page

1–5 of 5