TY - RPRT TI - A Theoretical Analysis of Test-Driven Code Generation AU - Nicolas Menet AU - Michael Hersche AU - Andreas Krause AU - Abbas Rahimi PY - 2026 UR - https://arxiv.org/abs/2602.06098 ID - 2602.06098 ER -