Automated Detection of Bugs in Error Handling for Teaching Secure C Programming. - Max Schrötter; Maximilian Falk; Bettina Schnor (ABP, 2023)