activity
20202026
most citedInvalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

24 citations · 93 across the 26 of their papers we have counts for

collaborators
Showing 2023Show all

6 papers · 1 filter

cs.SE2023★ 1 cited

Are We Ready to Embrace Generative AI for Software Q&A?

Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong +8

Stack Overflow, the world's largest software Q&A (SQA) website, is facing a significant traffic drop due to the emergence of generative AI techniques. ChatGPT is banned by Stack Ov…

cs.SE2023★ 15 cited

Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues

Yue Liu, Thanh Le-Cong, Ratnadira Widyasari +4

We systematically study the quality of 4,066 ChatGPT-generated code implemented in two popular programming languages, i.e., Java and Python, for 2,033 programming tasks. The goal o…

cs.CR2023★ 2 cited

Multi-Granularity Detector for Vulnerability Fixes

Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang +9

With the increasing reliance on Open Source Software, users are exposed to third-party library vulnerabilities. Software Composition Analysis (SCA) tools have been created to alert…

cs.SE2023★ 2 cited

PatchZero: Zero-Shot Automatic Patch Correctness Assessment

Xin Zhou, Bowen Xu, Kisub Kim +5

Automated Program Repair (APR) techniques have shown more and more promising results in fixing real-world bugs. Despite the effectiveness, APR techniques still face an overfitting…

cs.SE2023★ 1 cited

CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports

Yunbo Lyu, Thanh Le-Cong, Hong Jin Kang +5

Tools that alert developers about library vulnerabilities depend on accurate, up-to-date vulnerability databases which are maintained by security researchers. These databases recor…

cs.SE2023★ 24 cited

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

Thanh Le-Cong, Duc-Minh Luong, Xuan Bach D. Le +4

Automated program repair (APR) faces the challenge of test overfitting, where generated patches pass validation tests but fail to generalize. Existing methods for patch assessment…