SpecTune improves LLM-based automated program repair by deriving localized postconditions at execution checkpoints and using alpha and beta signals to produce precise fault-localization and patch-generation guidance.
Coconut: combining context-aware neural translation models using ensemble for program repair,
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
SBridge uses cross-domain control block matching to find source-to-binary function similarity, reporting 75.13% recall@1 and 80.98% recall@5 on 3,904 real-world binaries despite ~40% inlining.
RAVEN combines agentic RAG, iterative repair, and a cross-file Curator Agent to achieve 83.13% repair success on diverse real-world CVEs using local open-source LLMs.
citing papers explorer
-
Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals
SpecTune improves LLM-based automated program repair by deriving localized postconditions at execution checkpoints and using alpha and beta signals to produce precise fault-localization and patch-generation guidance.
-
SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching
SBridge uses cross-domain control block matching to find source-to-binary function similarity, reporting 75.13% recall@1 and 80.98% recall@5 on 3,904 real-world binaries despite ~40% inlining.
-
RAVEN: Agentic RAG for Automated Vulnerability Repair
RAVEN combines agentic RAG, iterative repair, and a cross-file Curator Agent to achieve 83.13% repair success on diverse real-world CVEs using local open-source LLMs.