| Enchanting program specification synthesis by large language models using static analysis and program verification C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian International Conference on Computer Aided Verification, 302-328, 2024 | 24 | 2024 |
| Automatically inspecting thousands of static bug warnings with large language model: How far are we? C Wen, Y Cai, B Zhang, J Su, Z Xu, D Liu, S Qin, Z Ming, T Cong ACM Transactions on Knowledge Discovery from Data 18 (7), 1-34, 2024 | 16 | 2024 |
| PIChecker: a POR and interpolation based verifier for concurrent programs (competition contribution) J Su, Z Yang, H Xing, J Yang, C Tian, Z Duan International Conference on Tools and Algorithms for the Construction and …, 2023 | 5 | 2023 |
| Conditional interpolation: making concurrent program verification more effective J Su, C Tian, Z Duan Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 4 | 2021 |
| CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features J Su, L Deng, C Wen, S Qin, C Tian International Symposium on Theoretical Aspects of Software Engineering, 374-391, 2024 | 2 | 2024 |
| Detecting atomicity violations in interrupt-driven programs via interruption points selecting and delayed ISR-triggering B Yu, C Tian, H Xing, Z Yang, J Su, X Lu, J Yang, L Zhao, X Li, Z Duan Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
| Prioritized constraint-aided dynamic partial-order reduction J Su, C Tian, Z Yang, J Yang, B Yu, Z Duan Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 2 | 2022 |
| Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems Z Ma, C Wen, J Su, M Zhao, B Yu, X Lu, C Tian arXiv preprint arXiv:2404.00795, 2024 | | 2024 |
| CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy J Su, L Deng, C Wen, C Tian, S Qin Theoretical Aspects of Software Engineering: 18th International Symposium …, 2024 | | 2024 |
| 基于约束依赖图的并发程序模型检测工具 苏杰， 杨祖超， 田聪， 段振华 软件学报 34 (7), 3064-3079, 2022 | | 2022 |
Cong TianXidian UniversityVerifisert e-postadresse på mail.xidian.edu.cn