esbmc/esbmc-ai

Automated Code Repair suite powered by ESBMC and LLMs.

Language: C - Size: 1.69 MB - Last synced at: 1 day ago - Pushed at: 5 days ago - Stars: 34 - Forks: 5

coinse/pyggi

Python General Framework for Genetic Improvement [Version 2]

Language: Python - Size: 2.07 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 14

dtcxzyw/llvm-apr-benchmark

A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs

Language: Python - Size: 1.58 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 12 - Forks: 0

adam-sse/geneseer

A search-based automated program-repair tool for Java.

Language: Java - Size: 812 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

CUHK-Shenzhen-SE/D4C

[ICSE'25] Aligning the Objective of LLM-based Program Repair

Language: Python - Size: 7.07 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 14 - Forks: 0

sola-st/RepairAgent

RepairAgent is an autonomous LLM-based agent for software repair.

Language: Python - Size: 6.63 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 29 - Forks: 8

afonsojramos/pAPRika 📦

🌶 🛠 Automatic Program Repair made easy for both JS & TS!

Language: JavaScript - Size: 9.81 MB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0

SAILResearch/HAFix-History-Augmented-LLMs-for-Bug-Fixing

Language: Python - Size: 9.28 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

99pouria/automated-program-repair-for-golang

Automated program repair tool specifically designed for Golang

Language: Go - Size: 65.4 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

GhabiX/SRepair

✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug

Language: Python - Size: 2.19 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 25 - Forks: 0

thanhlecongg/Invalidator

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning (IEEE TSE)

Language: Python - Size: 115 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

chbrown13/auto-grader

Automated Program Repair and Independent Study project

Language: Python - Size: 241 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

wangbo15/LingLong

Language: Java - Size: 86.5 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

pmorvalho/ecai23-GNNs-for-mapping-variables-between-programs

Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.

Language: Python - Size: 7.34 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

TruX-DTF/TBar

Template-based Automated Program Repair

Language: Java - Size: 61.3 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 18

TruX-DTF/AVATAR

AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations

Language: Java - Size: 8.24 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 21 - Forks: 6

ali-ghanbari/shibboleth

Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Codes

Language: Java - Size: 5.71 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0

SOLAR-group/APIARTy

Evaluating Automatic Program Repair Capabilities to Repair API Misuses

Language: Java - Size: 23.6 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 1

I4Soft/DroidBugs

A Benchmark for Automatic Program Repair based on Android open source projects.

Language: HTML - Size: 446 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1

TruX-DTF/FL-VS-APR

Language: Java - Size: 219 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 13 - Forks: 10

prapr/prapr

Practical Program Repair via Bytecode Mutation

Size: 4.27 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 61 - Forks: 15

ali-ghanbari/shibboleth-demo

Shibboleth: Hybrid Patch Correctness Assessmentin Automated Program Repair

Language: Java - Size: 4.93 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

I4Soft/AstorWorker

A part of the Astor4Android

Language: Java - Size: 81.1 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

I4Soft/Astor4Android

Astor4Android is an adaptation of the original Astor to work with Android applications.

Language: Java - Size: 77.7 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

ragavik/automated-fault-localization Fork of jithinjohn7/FaultLocalizationResearch

Automated test case purification for improving fault localization

Language: R - Size: 18.8 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1