9 citations · 15 across the 5 of their papers we have counts for
9 papers · 1 filter
Program Repair
Xiang Gao, Yannic Noller, Abhik Roychoudhury
Automated program repair is an emerging technology which consists of a suite of techniques to automatically fix bugs or vulnerabilities in programs. In this paper, we present a com…
Automated Repair of Programs from Large Language Models
Zhiyu Fan, Xiang Gao, Martin Mirchev +2
Large language models such as Codex, have shown the capability to produce code for many programming tasks. However, the success rate of existing models is low, especially for compl…
HIPPODROME: Data Race Repair using Static Analysis Summaries
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta +3
Implementing bug-free concurrent programs is a challenging task in modern software development. State-of-the-art static analyses find hundreds of concurrency bugs in production cod…
Trust Enhancement Issues in Program Repair
Yannic Noller, Ridwan Shariffdeen, Xiang Gao +1
Automated program repair is an emerging technology that seeks to automatically rectify bugs and vulnerabilities using learning, search, and semantic analysis. Trust in automaticall…
Verifix: Verified Repair of Programming Assignments
Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi +2
Automated feedback generation for introductory programming assignments is useful for programming education. Most works try to generate feedback to correct a student program by comp…
Concurrency-related Flaky Test Detection in Android apps
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu +1
Validation of Android apps via testing is difficult owing to the presence of flaky tests. Due to non-deterministic execution environments, a sequence of events (a test) may lead to…