| Memlock: Memory usage guided fuzzing C Wen, H Wang, Y Li, S Qin, Y Liu, Z Xu, H Chen, X Xie, G Pu, T Liu Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 151 | 2020 |
| Typestate-guided fuzzer for discovering use-after-free vulnerabilities H Wang, X Xie, Y Li, C Wen, Y Li, Y Liu, S Qin, H Chen, Y Sui Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 129 | 2020 |
| Controlled concurrency testing via periodical scheduling C Wen, M He, B Wu, Z Xu, S Qin Proceedings of the 44th International Conference on Software Engineering …, 2022 | 26 | 2022 |
| 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 |
| State-taint analysis for detecting resource bugs Z Xu, C Wen, S Qin Science of Computer Programming 162, 93-109, 2018 | 24 | 2018 |
| 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 |
| Typestate-guided fuzzer for discovering use-after-free vulnerabilities. In 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) H Wang, X Xie, Y Li, C Wen, Y Li, Y Liu, S Qin, H Chen, Y Sui IEEE, 999ś1010. https://doi. org/10.1145/3377811 3380386, 2020 | 15 | 2020 |
| Learning types for binaries Z Xu, C Wen, S Qin International Conference on Formal Engineering Methods, 430-446, 2017 | 15 | 2017 |
| Type learning for binaries and its applications Z Xu, C Wen, S Qin IEEE Transactions on Reliability 68 (3), 893-912, 2018 | 10 | 2018 |
| Effective malware detection based on behaviour and data features Z Xu, C Wen, S Qin, Z Ming Smart Computing and Communication: Second International Conference, SmartCom …, 2018 | 10 | 2018 |
| Extracting automata from neural networks using active learning Z Xu, C Wen, S Qin, M He PeerJ Computer Science 7, e436, 2021 | 6 | 2021 |
| RPG: Rust library fuzzing with pool-based fuzz target generation and generic support Z Xu, B Wu, C Wen, B Zhang, S Qin, M He Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 5 | 2024 |
| 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 |
| From Informal to Formal--Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs J Cao, Y Lu, M Li, H Ma, H Li, M He, C Wen, L Sun, H Zhang, S Qin, ... arXiv preprint arXiv:2501.16207, 2025 | | 2025 |
| MemSpate: Memory Usage Protocol Guided Fuzzing Z Fu, J Jiang, C Wen, Z Xu, S Qin International Conference on Formal Engineering Methods, 237-256, 2024 | | 2024 |
| CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing J Jiang, C Wen, S Qin International Symposium on Theoretical Aspects of Software Engineering, 205-223, 2024 | | 2024 |
| 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 |
Shengchao QinProfessor of Computer Science, Teesside UniversityEmail được xác minh tại tees.ac.uk