Empirical evaluation of smart contract testing: What is the best choice? M Ren, Z Yin, F Ma, Z Xu, Y Jiang, C Sun, H Li, Y Cai Proceedings of the 30th ACM SIGSOFT international symposium on software …, 2021 | 92 | 2021 |
Pluto: Exposing vulnerabilities in inter-contract scenarios F Ma, Z Xu, M Ren, Z Yin, Y Chen, L Qiao, B Gu, H Li, Y Jiang, J Sun IEEE Transactions on Software Engineering 48 (11), 4380-4396, 2021 | 38 | 2021 |
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 | 15 | 2023 |
Compilation consistency modulo debug information TL Wang, Y Tian, Y Dong, Z Xu, C Sun Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 8 | 2023 |
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 | 7 | 2023 |
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 | 7 | 2023 |
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 | 6 | 2024 |
Revisiting the Evaluation of Deep Learning-Based Compiler Testing. Y Tian, Z Xu, Y Dong, C Sun, SC Cheung IJCAI, 4873-4882, 2023 | 6 | 2023 |
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 | 4 | 2023 |
Lampr: Boosting the Effectiveness of Language-Generic Program Reduction via Large Language Models M Zhang, Y Tian, Z Xu, Y Dong, SH Tan, C Sun arXiv preprint arXiv:2312.13064, 2023 | 3 | 2023 |
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 | 2 | 2025 |
Llm-powered static binary taint analysis P Liu, C Sun, Y Zheng, X Feng, C Qin, Y Wang, Z Xu, Z Li, P Di, Y Jiang, ... ACM Transactions on Software Engineering and Methodology, 2025 | 2 | 2025 |
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 | 1 | 2024 |
WDD: Weighted Delta Debugging X Zhou, Z Xu, M Zhang, Y Tian, C Sun arXiv preprint arXiv:2411.19410, 2024 | | 2024 |