Thanh Le-Cong
- Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues
2024/01/27 by Yue Liu, Thanh Le-Cong, Ratnadira Widyasari +4 · 19 citations
Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #Explainable Artificial Intelligence (XAI) #Topic Modeling
- VulCurator: A Vulnerability-Fixing Commit Detector
2022/09/07 by Thanh Le-Cong, Nguyen, Truong Giang, Hong Jin Kang +6 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Web Application Security Vulnerabilities
- Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
2025/02/22 by Thanh Le-Cong, Le-Cong, Thanh, Bach Le +3 · 1 voice · 7 citations
#cs.PL #cs.AI #cs.SE
- Comparison of Static Application Security Testing Tools and Large Language Models for Repo-level Vulnerability Detection
2024/07/23 by Xin Zhou, Zhou, Xin, Tran, Duc-Manh +12 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
- Leveraging Large Language Model for Automatic Patch Correctness Assessment
2024/08/30 by Xin Zhou, Bowen Xu, Kisub Kim +7 · 2 citations
Computer Science · #Machine Learning and Data Classification #Topic Modeling
- PatchZero: Zero-Shot Automatic Patch Correctness Assessment
2023/03/01 by Xin Zhou, Zhou, Xin, Bowen Xu +13 · 1 citation
Engineering · Medicine · #Advanced X-ray and CT Imaging #FOS: Computer and information sciences #Medical Imaging Techniques and Applications #Software Engineering (cs.SE)