Search Results - RepositoryStats

15

64

unknown

1

Practical Program Repair via Bytecode Mutation

prapr issta19 utdallas jvm-bytecode mutation-testing automated-program-repair

Created 2018-08-21

38 commits to master branch, last one 4 years ago

3

50

unknown

2

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

llm ai4code llm4code defects4j program-repair large-language-models automated-program-repair

Created 2024-04-09

8 commits to main branch, last one 6 months ago

4

27

agpl-3.0

5

Automated Code Repair suite powered by ESBMC and LLMs.

ai bmc llm llms esbmc bounded-model-checking artificial-intelligence automated-program-repair

Created 2023-04-30

439 commits to master branch, last one 18 hours ago