DynaFix iteratively feeds execution-level dynamic information such as variable states and control flows into LLM prompts to repair 186 bugs on Defects4J, a 10% gain over baselines including 38 previously unrepaired cases.
Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2verdicts
UNVERDICTED 2representative citing papers
ConVer decomposes C program verification top-down by synthesizing contracts with LLMs and refining them in a CEGAR-CEGIS loop, reporting 82-96% success on simple benchmarks and lower rates on harder suites.
citing papers explorer
-
DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information
DynaFix iteratively feeds execution-level dynamic information such as variable states and control flows into LLM prompts to repair 186 bugs on Defects4J, a 10% gain over baselines including 38 previously unrepaired cases.
-
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
ConVer decomposes C program verification top-down by synthesizing contracts with LLMs and refining them in a CEGAR-CEGIS loop, reporting 82-96% success on simple benchmarks and lower rates on harder suites.