Adéla Stepková: Reversing Programs for Error Reachability Analysis. ISSTA Companion 2025: 80-81