| 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 | 48 | 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 | 34 | 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 | 18 | 2018 |
| Towards Efficient Data-flow Test Data Generation T Su, C Zhang, Y Yan, L Fan, G Pu, Y Liu, Z Fu, Z Su arXiv preprint arXiv:1803.10431, 2018 | 3 | 2018 |
| 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 |
