A tool to automatically repair concurrency bugs in Java.
-
Updated
Aug 27, 2024 - TXL
A tool to automatically repair concurrency bugs in Java.
Artifact repository for the paper "Challenging Bug Prediction and Repair Models with Synthetic Bugs", In Proceedings of The 25th IEEE International Conference on Source Code Analysis & Manipulation (SCAM 2025), Auckland, New Zealand, September 2025
An experimental research kernel for bounded recursive self-improvement. Runs capability benchmarks, proposes patches, and applies only those that pass validation and formal checks.
A mini SWE-bench-style benchmark for evaluating automated software bug repair.
To associate your repository with the bug-repair topic, visit your repo's landing page and select "manage topics."