Finished Student Projects

2024

  • 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

2023

  • 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

2022

  • 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