| 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 | 61 | 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 | 23 | 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 | 7 | 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 | 3 | 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 | 2 | 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 | 2 | 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 | 2 | 2023 |
| Revisiting the evaluation of deep learning-based compiler testing Y Tian, Z Xu, Y Dong, C Sun, SC Cheung Proceedings of the Thirty-Second International Joint Conference on …, 2023 | 2 | 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 | | 2023 |
