| Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs T Su, Y Yan, J Wang, J Sun, Y Xiong, G Pu, K Wang, Z Su Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021 | 57 | 2021 |
| Finding and understanding bugs in software model checkers C Zhang, T Su, Y Yan, F Zhang, G Pu, Z Su Proceedings of the 2019 27th ACM joint meeting on European software …, 2019 | 39 | 2019 |
| Smartunit: Empirical evaluations for automated unit testing of embedded software in industry C Zhang, Y Yan, H Zhou, Y Yao, K Wu, T Su, W Miao, G Pu Proceedings of the 40th International Conference on Software Engineering …, 2018 | 17 | 2018 |
| Towards efficient data-flow test data generation T Su, C Zhang, Y Yan, L Fan, Y Liu, Z Fu, Z Su Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2023 | 3* | 2023 |
| Towards Efficient Data-flow Test Data Generation Using KLEE C Zhang, T Su, Y Yan, K Wu, G Pu CoRR, 2018 | | 2018 |
| Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE C Zhang, T Su, Y Yan, K Wu, G Pu arXiv preprint arXiv:1803.06516, 2018 | | 2018 |
