Finished Theses

2025

• Judi Abdullah: “An Empirical Study of Context Modifications in Git Merge Conflict Resolutions”. Master’s Thesis.

  Supervision:  Alexander Boll,  Timo Kehrer.

  ---

• Patrick Rüegsegger: “AGAT: Ein heuristischer Algorithmus zur präferenzbasierten Gruppenbildung mit fester Gruppengrösse”. Bachelor’s Thesis.

  Supervision:  Roman Bögli,  Timo Kehrer.

  ---

• Simon Egli: “CBOMbench: A Cryptographic Bill of Materials Evaluation and Benchmarking Tool”. Bachelor’s Thesis.

  Supervision:  Roman Bögli,  Timo Kehrer.

  ---

• Simon Bünzli Straub: “Revealing Programming Language Abstractions - Introducing a Learning Environment to Examine Programs from Source Code to Bytecode”. GymInf Thesis.

  Supervision:  Oscar Nierstrasz,  Timo Kehrer.

  ---

• Sébastien Anthamatten: “Empirical Analysis of Java Software Evolution - Breaking Changes and Migrations in Git Histories”. Master’s Thesis.

  Supervision:  Manuel Ohrndorf,  Timo Kehrer.

  ---

• Daniel Zeidan: “Automated Generation of Code Contracts: Semantic Analysis using Mutation Based Testing”. Master’s Thesis.

  Supervision:  Manuel Ohrndorf,  Timo Kehrer.

  ---

• Adriana Moisil: “Enhancing Code Quality - Customized Source Code Refactoring by Example”. Master’s Thesis.

  Supervision:  Manuel Ohrndorf,  Timo Kehrer.

  ---

• K. Lautenschlager: “A Feature Modeling Approach to Mathematical Tasks”. Bachelor’s Thesis.

  Supervision:  Thomas Studer,  Timo Kehrer.

  ---

• J. Meier: “Developing a Hybrid Static-Dynamic Analysis Tool for Third-Party Library Detection”. Bachelor’s Thesis.

  Supervision:  Thomas Sutter,  Timo Kehrer.

  ---

• O. Mingard: “Java Conflicting Chunk Derivability and Structured Merge Algorithms”. Bachelor’s Thesis.

  Supervision:  Manuel Ohrndorf,  Timo Kehrer.

  ---

• Andrin Müller & Viola Meier: “An Algorithmic Approach for Solving the Grouping Problem”. Bachelor’s Thesis.

  Supervision:  Roman Bögli,  Timo Kehrer.

  ---

• C. Wu: “Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations”. Master’s Thesis.

  Supervision:  Pablo Valenzuela,  Timo Kehrer.

  ---

• Sandro Hérnandez Goicachea: “Addressing Developer Information Needs in GitHub Actions”. Master’s Thesis.

  Supervision:  Pablo Valenzuela,  Timo Kehrer.

  ---

2024

• M. Mumtaz: “Test Decomposition for Cost-effective Testing of UAVs”. Master’s Thesis.

  Supervision:  Sebastiano Panichella,  Sajad Khatiri,  Timo Kehrer.

  ---

• Bastien Jossen: “The Potential of Principal Component Analysis and Term Frequency-Inverse Document Frequency in Range Queries on N input models”. Bachelor’s Thesis.

  Supervision:  Kaspar Riesen,  Timo Kehrer.

  ---

• Maurice Amon: “Segmentation of Source Codes for Minimal Reproducible Examples”. Bachelor’s Thesis.

  Supervision:  Manuel Ohrndorf,  Timo Kehrer.

  ---

• Simon Furrer: “Netcode Patterns for Real-Time Online Multiplayer Games”. Master’s Thesis.

  Supervision:  Alexandre Bergel,  Timo Kehrer.

  ---

• M. de Liso: “SIMBAFIN-UAV: Simulation-based Test Case Generation for Fixed Wing UAV Path Planning”. Master’s Thesis.

  Supervision:  Sebastiano Panichella,  Christian Birchler,  Timo Kehrer.

  ---

• R. Gerber: “CaSSIS-Verif - Facilitating Formal Verification of Flight Software”. Master’s Thesis.

  Supervision:  Christos Tsigkanos,  Timo Kehrer.

  ---

• David Richard: “Presortedness-Based Prediction of the Optimal Sorting Algorithm”. Bachelor’s Thesis.

  Supervision:  Timo Kehrer.

  ---

• E. Alma: “PubSync - A Software Solution for Automating the Management of Academic Publication Lists”. Bachelor’s Thesis.

  Supervision:  Timo Kehrer.

  ---

• Jan Koch: “Mining Variability Merge Conflicts”. Bachelor’s Thesis.

  Supervision:  Sandra Greiner,  Timo Kehrer.

  ---

• Mohammad Eglil: “Commenting Practices of Polyglot Developers”. Bachelor’s Thesis.

  Supervision:  Pooja Rani,  Timo Kehrer.

  ---

2023

• Noah Bühlmann: “Towards Auto-Generated Code Contracts”. Master’s Thesis.

  Supervision:  Oscar Nierstrasz,  Timo Kehrer.

  ---

• M. Lajevardipour: “Supporting novice developers in finding similar questions on StackOverflow”.

  Supervision:  Pooja Rani,  Timo Kehrer.

  ---

• M. Keller: “Analyse der Gemeinsamkeiten und Unterschiede des Transfer Learning in der Hirnforschung”. Bachelor’s Thesis.

  Supervision:  Timo Kehrer.

  ---

• Cindy Schnyder: “Integrating LTL Learning to FRET for Requirements Specification”. Bachelor’s Thesis.

  Supervision:  Christos Tsigkanos, Timo Kehrer.

  ---

• J. Wolfensberger: “Leveraging Human-in-the-Loop for Variable Discovery within Metamorphic Testing with LLMs”. Bachelor’s Thesis.

  Supervision:  Christos Tsigkanos,  Timo Kehrer.

  ---

• Yael van Dok: “In Conflict: An Empirical Study of Merge Conflict Resolutions in Open-Source Projects”. Bachelor’s Thesis.

  Supervision:  Alexander Boll,  Timo Kehrer.

  ---

• Cyrill Rohrbach: “SDC-VADER - Vision-based Test Case Prediction for Self-driving Cars”. Master’s Thesis.

  Supervision:  Sebastiano Panichella,  Christian Birchler,  Timo Kehrer.

  ---

• Lukas Bosshart: “Graph Delta Debugging - A Minimal Working Example Generator”. Master’s Thesis.

  Supervision:  Manuel Ohrndorf,  Timo Kehrer.

  ---

2022

• Severin Buchser: “An empirical study on the human role in merge conflict resolution”. Bachelor’s Thesis.

  Supervision:  Alexander Boll,  Timo Kehrer.

  ---

• Roman Riesen: “On Integrating Runtime Verification in F’ Architectures”. Bachelor’s Thesis.

  Supervision:  Christos Tsigkanos,  Timo Kehrer.

  ---