REDO: Execution-Free Runtime Error Detection for COding Agents. - Shou Li; Andrey Kan; Laurent Callot; Bhavana Bhasker; Muhammad Shihab Rashid; Timothy B. Esler (CoRR, 2024)