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 | 66 | 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 | 26 | 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 | 9 | 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 | 4 | 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 | 4 | 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 | 3 | 2023 |
Revisiting the Evaluation of Deep Learning-Based Compiler Testing. Y Tian, Z Xu, Y Dong, C Sun, SC Cheung IJCAI, 4873-4882, 2023 | 3 | 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 |
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 |
LPR: Large Language Models-Aided Program Reduction M Zhang, Y Tian, Z Xu, Y Dong, SH Tan, C Sun | | |