H Liu, S Chen, R Feng, C Liu, K Li, Z Xu, L Nie, Y Liu, Y Chen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023

L Zhang, K Li, K Sun, D Wu, Y Liu, H Tian, Y Liu

arXiv preprint arXiv:2403.06838, 2024

K Li, S Chen, L Fan, R Feng, H Liu, C Liu, Y Liu, Y Chen

Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023

刘晗， 李凯旋， 陈仪香

软件学报 33, 1-19, 2022

K Sun, Z Xu, C Liu, K Li, Y Liu

Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023

K Li, Y Xue, S Chen, H Liu, K Sun, M Hu, H Wang, Y Liu, Y Chen

arXiv preprint arXiv:2404.18186, 2024

H Liu, J Zhang, C Zhang, X Zhang, K Li, S Chen, SW Lin, Y Chen, X Li, ...

arXiv preprint arXiv:2403.16032, 2024

K Li, H Wu, J Xu, Y Chen

International Conference on AI Logic and Applications, 19-34, 2022

许巾一， 陈仪香， 李凯旋

微纳电子与智能制造, 2020