Teaching & Mentoring
An archive of bachelor's and master's theses supervised in automated debugging, fuzzing, program repair, and software analysis at Humboldt-Universität zu Berlin.
Supervision Status
Having submitted my Ph.D. dissertation in January 2026 and transitioning to Google as a Security Software Engineer, I am no longer accepting new bachelor’s or master’s thesis advisees. If you are looking for thesis topics in automated software testing and debugging at HU Berlin, please consult the Software Engineering Group's open topics.
Completed Theses
Supervised bachelor’s and master’s research projects with available thesis manuscripts
Effective Prompting Strategies for Automated Test Case Generation in Bug Reproduction
Student: Martin Kunz
Test Oracle Generation Using Large Language Models
Student: Liadan Anandarajah
Enhancing Automated Program Repair with Additional Test Case Generation
Student: Marwin Linke
Evaluating Automatic Program Repair Approaches for Python
Student: Kai Werk
Hypothesis-driven Debugging with LLMs
Student: Daniel Passon
Effective Understanding of ML Mispredictions
Student: Viet Ngo
Identifying Distinctive Program Inputs in High-Dimensional Mixed-Feature Spaces
Student: Konstantin Böttcher
When Does This Line Get Triggered? Explainable Line Reachability Using Semantic Constraints
Student: Angelina Teodoridis
Exploring Explanation Strategies: A User Study on Automated Debugging Tools
Student: Christopher Lazik
Explaining Mispredictions of Machine Learning Models with Influential Input Features
Student: Dennis Buchwinkler
Explaining Pathological Behaviour of Self-Adaptive Systems
Student: Tobias Kiecker
Detecting Non-Functional Behavior with Evolutionary Grammar-Based Fuzzing
Student: Gergö Miklovics