Zhenyang Xu

Empirical evaluation of smart contract testing: what is the best choice?

Meng Ren, Zijing Yin, Fuchen Ma et al. · 2021 · 82 citations

Engineering, Information Security, Verification +26

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios

Fuchen Ma, Zhenyang Xu, Meng Ren et al. · IEEE Transactions on Software Engineering · 2021 · 45 citations

Engineering, Information Security, Software Engineering +22

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

LLM-Powered Static Binary Taint Analysis

Puzhuo Liu, C. P. Sun, Yaowen Zheng et al. · ACM Transactions on Software Engineering and Methodology · 2025 · 14 citations

Compilation Consistency Modulo Debug Information

Theodore Luo Wang, Yongqiang Tian, Yiwen Dong et al. · 2023 · 13 citations