research
∙
09/01/2023
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair
During Automated Program Repair (APR), it can be challenging to synthesi...
share
research
∙
08/09/2023
Universal Fuzzing via Large Language Models
Fuzzing has achieved tremendous success in discovering bugs and vulnerab...
research
∙
05/02/2023
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation
Program synthesis has been long studied with recent approaches focused o...
research
∙
04/04/2023
Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT
Deep Learning (DL) library bugs affect downstream DL applications, empha...
research
∙
04/01/2023
Keep the Conversation Going: Fixing 162 out of 337 bugs for 0.42 each using ChatGPT
Automated Program Repair (APR) aims to automatically generate patches fo...
research
∙
03/18/2023
Revisiting the Plastic Surgery Hypothesis via Large Language Models
Automated Program Repair (APR) aspires to automatically generate patches...
research
∙
02/08/2023
Fuzzing Automatic Differentiation in Deep-Learning Libraries
Deep learning (DL) has attracted wide attention and has been widely depl...
research
∙
02/04/2023
NeuRI: Diversifying DNN Generation via Inductive Rule Inference
Deep Learning (DL) is prevalently used in various industries to improve ...
research
∙
01/30/2023
Conversational Automated Program Repair
Automated Program Repair (APR) can help developers automatically generat...
research
∙
12/30/2022
Fuzzing Deep-Learning Libraries via Large Language Models
Detecting bugs in Deep Learning (DL) libraries is critical for almost al...
research
∙
10/25/2022
Practical Program Repair in the Era of Large Pre-trained Language Models
Automated Program Repair (APR) aims to help developers automatically pat...
research
∙
07/26/2022
Finding Deep-Learning Compilation Bugs with NNSmith
Deep-learning (DL) compilers such as TVM and TensorRT are increasingly u...
research
∙
07/17/2022
Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning
Due to the promising future of Automated Program Repair (APR), researche...
research
∙
07/14/2022
Attention: Not Just Another Dataset for Patch-Correctness Checking
Automated Program Repair (APR) techniques have drawn wide attention from...
research
∙
07/12/2022
Fuzzing Deep-Learning Libraries via Automated Relational API Inference
A growing body of research has been dedicated to DL model testing. Howev...
research
∙
03/10/2022
Program Repair: Automated vs. Manual
Various automated program repair (APR) techniques have been proposed to ...
research
∙
01/17/2022
Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source
Deep learning (DL) systems can make our life much easier, and thus are g...
research
∙
05/15/2021
How Does Regression Test Selection Affect Program Repair? An Extensive Study on 2 Million Patches
APR techniques can be extremely time consuming since (1) a large number ...
research
∙
04/09/2021
Self-Boosted Automated Program Repair
Program repair is an integral part of every software system's life-cycle...
research
∙
07/22/2020
Fast and Precise On-the-fly Patch Validation for All
Generate-and-validate (G V) automated program repair (APR) techniques ...
research
∙
10/03/2019
Can Automated Program Repair Refine Fault Localization?
Software bugs are prevalent in modern software systems and notoriously h...
research
∙
08/10/2019
Mutation Testing for Ethereum Smart Contract
Smart contract is a special program that manages digital assets on block...
research
∙
05/06/2019
Characterizing and Detecting CUDA Program Bugs
While CUDA has become a major parallel computing platform and programmin...
research
∙
05/06/2019
Charactering and Detecting CUDA Program Bugs
While CUDA has become a major parallel computing platform and programmin...
research
∙
12/27/2018
DeepBillboard: Systematic Physical-World Testing of Autonomous Driving Systems
Deep Neural Networks (DNNs) have been widely applied in many autonomous ...
research
∙
07/10/2018
Practical Program Repair via Bytecode Mutation
Software debugging is tedious, time-consuming, and even error-prone by i...
research
∙
06/26/2018
How Do Static and Dynamic Test Case Prioritization Techniques Perform on Modern Software Systems? An Extensive Study on GitHub Projects
Test Case Prioritization (TCP) is an increasingly important regression t...
research
∙
02/07/2018