Search Results - "Le, Xuan Bach D."

Multi-Granularity Detector for Vulnerability Fixes by Nguyen, Truong Giang, Le-Cong, Thanh, Kang, Hong Jin, Widyasari, Ratnadira, Yang, Chengran, Zhao, Zhipeng, Xu, Bowen, Zhou, Jiayuan, Xia, Xin, Hassan, Ahmed E., Le, Xuan-Bach D., Lo, David

“…With the increasing reliance on Open Source Software, users are exposed to third-party library vulnerabilities. Software Composition Analysis (SCA) tools have…”
Get full text

ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors by Le, Xuan-Bach D., Le, Quang Loc

“…Software programs evolve naturally as part of the ever-changing customer needs and fast-paced market. Software evolution, however, often introduces regression…”
Get full text

More Reliable Test Suites for Dynamic APR by using Counterexamples by Nilizadeh, Amirfarhad, Calvo, Marlon, Leavens, Gary T., Le, Xuan-Bach D.

“…Dynamic automated program repair (APR) techniques, which use test suites for bug localization and evaluating candidate patches, have promising results…”
Get full text

CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports by Lyu, Yunbo, Le-Cong, Thanh, Kang, Hong Jin, Widyasari, Ratnadira, Zhao, Zhipeng, Le, Xuan-Bach D., Li, Ming, Lo, David

“…Tools that alert developers about library vulnerabilities depend on accurate, up-to-date vulnerability databases which are maintained by security researchers…”
Get full text

History Driven Program Repair by Le, Xuan Bach D., Lo, David, Le Goues, Claire

“…Effective automated program repair techniques have great potential to reduce the costs of debugging and maintenance. Previously proposed automated program…”
Get full text

Active Semi-supervised Defect Categorization by Ferdian Thung, Le, Xuan-Bach D., Lo, David

“…Defects are inseparable part of software development and evolution. To better comprehend problems affecting a software system, developers often store…”
Get full text

Overfitting in semantics-based automated program repair by Le, Xuan Bach D., Thung, Ferdian, Lo, David, Goues, Claire Le

“…The primary goal of Automated Program Repair (APR) is to automatically fix buggy software, to reduce the manual bug-fix burden that presently rests on human…”
Get full text

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning by Le-Cong, Thanh, Luong, Duc-Minh, Le, Xuan Bach D., Lo, David, Tran, Nhat-Hoa, Quang-Huy, Bui, Huynh, Quyet-Thang

“…Automated program repair (APR) has been gaining ground recently. However, a significant challenge that still remains is test overfitting, in which…”
Get full text

On Reliability of Patch Correctness Assessment by Le, Xuan-Bach D., Bao, Lingfeng, Lo, David, Xia, Xin, Li, Shanping, Pasareanu, Corina

“…Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, or test suites, to generate repairs. This,…”
Get full text

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods by Nilizadeh, Amirfarhad, Leavens, Gary T., Le, Xuan-Bach D., Pasareanu, Corina S., Cok, David R.

“…Automated program repair (APR) techniques have shown a promising ability to generate patches that fix program bugs automatically. Typically such APR tools are…”
Get full text

FFL: Fine-grained Fault Localization for Student Programs via Syntactic and Semantic Reasoning by Nguyen, Thanh-Dat, Le-Cong, Thanh, Luong, Duc-Minh, Duong, Van-Hai, Le, Xuan-Bach D., Lo, David, Huynh, Quyet-Thang

“…Fault localization has been used to provide feedback for incorrect student programs since locations of faults can be a valuable hint for students about what…”
Get full text

The Future Can't Help Fix The Past: Assessing Program Repair In The Wild by Kabadi, Vinay, Kong, Dezhen, Xie, Siyu, Bao, Lingfeng, Azriadi Prana, Gede Artha, Le, Tien-Duy B., Le, Xuan-Bach D., Lo, David

“…Automated program repair (APR) has been gaining ground with substantial effort devoted to the area, opening up many challenges and opportunities. One such…”
Get full text

Usability and Aesthetics: Better Together for Automated Repair of Web Pages by Le-Cong, Thanh, Le, Xuan Bach D., Huynh, Quyet Thang, Nguyen, Phi Le

“…With the recent explosive growth of mobile devices such as smartphones or tablets, guaranteeing consistent web appearance across all environments has become a…”
Get full text

Synergizing Specification Miners through Model Fissions and Fusions (T) by Le, Tien-Duy B., Le, Xuan-Bach D., Lo, David, Beschastnikh, Ivan

“…Software systems are often developed and released without formal specifications. For those systems that are formally specified, developers have to continuously…”
Get full text

Enhancing Automated Program Repair with Deductive Verification by Le, Xuan-Bach D., Quang Loc Le, Lo, David, Le Goues, Claire

“…Automated program repair (APR) is a challenging process of detecting bugs, localizing buggy code, generating fix candidates and validating the fixes…”
Get full text

Empirical Study on Synthesis Engines for Semantics-Based Program Repair by Le, Xuan-Bach D., Lo, David, Le Goues, Claire

“…Automatic Program Repair (APR) is an emerging and rapidly growing research area, with many techniques proposed to repair defective software. One notable…”
Get full text

Recommending Code Changes for Automatic Backporting of Linux Device Drivers by Thung, Ferdian, Le, Xuan-Bach D., Lo, David, Lawall, Julia

“…Device drivers are essential components of any operating system (OS). They specify the communication protocol that allows the OS to interact with a device…”
Get full text

Towards efficient and effective automatic program repair by Le, Xuan-Bach D.

“…Automatic Program Repair (APR) has recently been an emerging research area, addressing an important challenge in software engineering. APR techniques, if…”
Get full text

Should fixing these failures be delegated to automated program repair? by Le, Xuan-Bach D., Le, Tien-Duy B., Lo, David

“…Program repair constitutes one of the major components of software maintenance that usually incurs a significant cost in software production. Automated program…”
Get full text

Overfitting in semantics-based automated program repair by Le, Xuan-Bach D., Thung, Ferdian, Lo, David, Le Goues, Claire

“…Existing APR techniques can be generally divided into two families: semantics- vs. heuristics-based. Semantics-based APR uses symbolic execution and test…”
Get full text