Softwarequalitätssicherung und Softwaretest (Seminar)
Betreute Studentische Arbeiten
Maximilian Kodetzki. Introducing Object-Orientation to Correct-by-Construction Software Product Lines in VarCorC. Project's work, 2022. In english.
Malena Horstmann. Introducing Proof Statistics within CorC. Bachelor’s Thesis, 2022. In english.
Frederik Fröling. CbC-Light: Correctness-by-Construction mit Block-Verträgen in CorC. Master's Thesis, 2021. In german.
Lukas Tyburzy. Correctness-by-Construction for Software Product Line Implementation Techniques. Master's thesis, 2021. In english.
Robert Hajek. Familien-Basierte Verifikation für Correct-by-Construction Software-Produktlinien. Bachelor's thesis, 2021. In german.
Jonas Ziliack. Fallstudie für Correctness-by-Construction Software-Produktlinien im Tool VarCorC. Bachelor's thesis, 2021. In german.
David Schultz. Benutzerfreundlichkeit bei der Entwicklung von korrekten Softwareproduktlinien in VarCorC. Bachelor's thesis, 2021. In german.
Elias Kuiter. Proof Repositories for Correct-by-Construction Software Product Lines. Master's thesis, 2020. In english.
Nadhem Benkhlifa. Method Call Treatment in CorC. Bachelor's thesis, 2020. In english.
Maximilian Kodetzki. Variational Correctness-by-Construction für Software-Produktlinien mit FeatureIDE. Bachelor's thesis, 2020. In german.
Veröffentlichungen
2022
Tabea Bordis, Tobias Runge, David Schultz, and Ina Schaefer. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. In Journal of Computer Languages (COLA), 2022.
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer. Verification Strategies for Feature-Oriented Software Product Lines. In 16th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'22), 2022
2021
Tobias Runge, Tabea Bordis, Thomas Thüm, and Ina Schaefer. Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea, 2021.
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, and Ina Schaefer: Variational Correctness-by-Construction. In 14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'20), 2020.
