The relevance of classic fuzz testing: Have we solved this one? BP Miller, M Zhang, ER Heymann IEEE Transactions on Software Engineering 48 (6), 2028-2039, 2020 | 40 | 2020 |
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 | 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 | 3 | 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 | 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 | | |