Externalizing Requirement-to-Repair Artifacts as Observable Traces for LLM-Based Program Repair
Repository-level repair requires not only correct patches but also inspectable records that explain how issue requirements are translated into code changes and post-edit evidence. We contribute THEMIS, a stage-aware repair workflow that externalizes this requirement-to-repair process through semantic interpretation, a...
Ze-Wen Tao, Shin-nosuke Ishikawa
· 0 citations