Systematic Debugging of Logical Errors in Source Code. - Felix Ziemann; Florian Reuß (WiPSCE, 2024)