Preprint
Sep 2026
Specification-Driven Benchmarking for Automated Program Repair From Static Corpora to Executable Specifications
By treating the benchmark as an executable specification rather than a static dataset, the proposed paradigm shifts benchmark construction from artifact curation to declarative experimental design.
Yasser Ebrahim
· 0 citations