| Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis Y Sun, D Wu, Y Xue, H Liu, H Wang, Z Xu, X Xie, Y Liu Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 37* | 2024 |
| LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning Y Sun, D Wu, Y Xue, H Liu, W Ma, L Zhang, M Shi, Y Liu arXiv preprint arXiv:2401.16185, 2024 | 10 | 2024 |
| A Comprehensive Study on Quality Assurance Tools for Java 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 | 4 | 2023 |
| 人工智能系统可信性度量评估研究综述 刘晗， 李凯旋， 陈仪香 软件学报 33, 1-19, 2022 | 4* | 2022 |
| Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java 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 | 3 | 2023 |
| Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? K Li, Y Xue, S Chen, H Liu, K Sun, M Hu, H Wang, Y Liu, Y Chen arXiv preprint arXiv:2404.18186, 2024 | | 2024 |
| FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools H Liu, J Zhang, C Zhang, X Zhang, K Li, S Chen, SW Lin, Y Chen, X Li, ... arXiv preprint arXiv:2403.16032, 2024 | | 2024 |
| 面向源代码可信证据的航天软件可信度量评估方法 刘晗， 陶红伟， 陈仪香 空间控制技术与应用 47 (2), 32-41, 2021 | | 2021 |
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
