HERO Optimizes Program Generation via Execution-Verified Test-Time Refinement | HACKOBAR_