Search Results - RepositoryStats

14

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

5

51

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 7 months ago

4

27

other

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

440 commits to master branch, last one 8 days ago