Teaching

Theses

If you are a computer science student at Humboldt-Universität Zu Berlin and you have fun with automated program testing, fuzzing, and debugging, you should do a bachelor’s or master’s thesis with me. If you are interested, please send me (or career-se.informatik@lists.hu-berlin.de) a letter of motivation and your most recent transcript of records.

💡 Please note that due to an update to our mailing server, the new email address for SE career-related inquiries is now career-se.informatik@lists.hu-berlin.de!

Ongoing Theses

[Bachelor]
Enhancing Automated Program Repair with Additional Test Case Generation
Marwin Linke

[Bachelor]
Is Automatic Program Repair in Python possible? - Evaluating Automatic Program Repair Approaches
Kai Werk

[Bachelor]
When Does This Line Get Triggered? Explainable Line Reachability Using Semantic Constraints
Angelina Teodoridis

[Master]
Identifying Distinctive Program Inputs in High Dimensional Mixed-Feature Spaces
Konstantin Böttcher

Supervised Theses

[Master]
Exploring Explanation Strategies: A User Study on Automated Debugging Tools
Christopher Lazik - (now: PhD Student @ Humboldt-Universität zu Berlin)

[Master]
Explaining Mispredictions of Machine Learning Models with Influential Input Features
Dennis Buchwinkler
[Repository]

[Bachelor]
Detecting Non-Functional Behavior with Evoulationary Grammar-Based Fuzzing
Gergö Miklovics

[Bachelor]
Explaining Pathological Behaviour of Self-Adaptive Systems
Tobias Kiecker - (now: PhD Student @ Humboldt-Universität zu Berlin)

Summer 2024

[Guest Lecture & Exercise]
Software Engineering II
Lecture, Summer 2024, Bachelor Studies, Humboldt-Universität zu Berlin
Lecture: Grammar Based Fuzzing + Explanation of Bugs I & II
[Website]

Summer 2023

[Project]
Machine Learning for Debugging
Semester Project, Summer 2023, Bachelor Studies, Humboldt-Universität zu Berlin
[Website]

[Guest Lecture & Exercise]
Software Engineering II
Lecture, Summer 2023, Bachelor Studies, Humboldt-Universität zu Berlin
Lecture: Grammar Based Fuzzing + Explanation of Bugs I & II
[Website]

Winter 2021/2022

[Seminar]
Automated Software Engineering
Seminar, Winter 2021, Master Studies, Humboldt-Universität zu Berlin
[Website]