Former Members
- With the group: January 2022 - July 2025
- With the group: January 2022 - March 2025
Supervision
- Raphael Gerber: “CaSSIS-Verif - Facilitating Formal Verification of Flight Software”. Master’s Thesis. 2024.
- Cindy Schnyder: “Integrating LTL Learning to FRET for Requirements Specification”. Bachelor’s Thesis. 2023.
- Jan Wolfensberger: “Leveraging Human-in-the-Loop for Variable Discovery within Metamorphic Testing with LLMs”. Bachelor’s Thesis. 2023.
- Roman Riesen: “On Integrating Runtime Verification in F’ Architectures”. Bachelor’s Thesis. 2022.
- With the group: October 2022 - April 2024
Teaching
Instructor (Exercises)
Supervision
- Jan Koch: “Mining Variability Merge Conflicts”. Bachelor’s Thesis. 2024.
- With the group: January 2022 - September 2022
Teaching
Instructor (Exercises)
Supervision
- Mohammad Eglil: “Commenting Practices of Polyglot Developers”. Bachelor’s Thesis. 2024.
- Mohammad Lajevardipour: “Supporting novice developers in finding similar questions on StackOverflow”. Master’s Thesis. 2023.
- Veronika Kousadianos: “Investigating Energy-Related Practices in Web Applications”. Master’s Thesis. 2023.