Finished Theses

2024

A. Fahmi: Exploring Feature Implementation in Open Source Software Projects Using GitHub API. MSc Thesis
M. Amon: Segmentation of Source Codes for Minimal Reproducible Examples. BSc Thesis
B. Jossen: The Potential of Principal Component Analysis and Term Frequency-Inverse Document Frequency in Range Queries on N input models. BSc Thesis
S. Furrer: Netcode Patterns for Real-Time Online Multiplayer Games. MSc Thesis
M. de Liso: SIMBAFIN-UAV: Simulation-based Test Case Generation for Fixed Wing UAV Path Planning. MSc Thesis
R. Gerber: CaSSIS-Verif - Facilitating Formal Verification of Flight Software. MSc Thesis
D. Richard: Presortedness-Based Prediction of the Optimal Sorting Algorithm. BSc Thesis
E. Alma: PubSync - A Software Solution for Automating the Management of Academic Publication Lists. BSc Thesis
J. Koch: Mining Variability Merge Conflicts. BSc Thesis
M. Eglil: Commenting Practices of Polyglot Developers. BSc Thesis

V. Kousadianos: Investigating Energy-Related Practices in Web Applications. MSc Thesis
N. Bühlmann: Towards Auto-Generated Code Contracts. MSc Thesis
M. Lajevardipour: Supporting novice developers in finding similar questions on StackOverflow
M. Keller: Analyse der Gemeinsamkeiten und Unterschiede des Transfer Learning in der Hirnforschung. BSc Thesis
C. Schnyder: Integrating LTL Learning to FRET for Requirements Specification. BSc Thesis
J. Wolfensberger: Leveraging Human-in-the-Loop for Variable Discovery within Metamorphic Testing with LLMs. BSc Thesis
Y. van Dok: In Conflict: An Empirical Study of Merge Conflict Resolutions in Open-Source Projects. BSc Thesis
C. Rohrbach: SDC-VADER - Vision-based Test Case Prediction for Self-driving Cars. MSc Thesis
L. Bosshart: Graph Delta Debugging - A Minimal Working Example Generator. MSc Thesis

S. Buchser: An empirical study on the human role in merge conflict resolution. BSc Thesis
R. Riesen: On Integrating Runtime Verification in F’ Architectures. BSc Thesis