Abschlussarbeiten
Bachelorarbeiten
Offene Bachelorarbeiten
- Bei Interesse bitte frühzeitig melden.
Abgeschlossene Bachelorarbeiten
- Moritz Schmidt (2023): Performance-Evaluation von SAT-Solving-Verfahren
- Jonas Huckestein (2023): Inkrementelles Paarweises Sampling basierend auf grundlegenden SAT Solving Verfahren
- Lukas Krumm (2022): Integration und Evaluation von Werkzeugen zur Programmanalyse für den Einsatz in der Lehre
- Bebeto Arold Ateumo (2022): Performance-Vergleich von Optimierungsstrategien für SQL Anfragen
- Karsten Klingspor (2022): Testdatengenerierung zum automatisierten Regressionstesten von Service-Applikationen im Maschinenbau
- Bastian Richard Polewka (2022): Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese
- Rostislav Iskandirov (2022): Entwurf und Implementierung einer Modellierungssprache zur Automatisierung von Datentransformationen in Geschäftsprozessen
- Lucas Bastian Lampenscherf (2022): Conflict-driven Clause-Learning-Strategien zur Analyse von Konfigurationsmodellen
- Niki Gabriel Mwakilenge (2021): Vergleich des SQL-Sprachumfangs ausgewählter relationaler Datenbanksysteme
- Thomas Lang (2021): Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software
- Joel Benjamin Wolf (2021): Performance-Vergleich von BDD-basierten und SAT-basierten Analysestrategien für Konfigurationsmodelle
- Lukas Tobias Röhling (2021): Strukturierte Code-Generierung aus Kontrollflussautomaten
- Mathis Weiß (2021): Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen
- Jamil Osmanov (2021): Fallstudien zum Vergleich von relationalen Datenbanksystemen und Graphdatenbanken in Neo4J
- Nicolas Gottwald (2020): Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien
Masterarbeiten
Offene Masterarbeiten
- Bei Interesse bitte frühzeitig melden.
Abgeschlossene Masterarbeiten
- Peter Bauer (2021): Testfall-Generierung für Anwendungen mit unendlichem Konfigurationsraum am Beispiel einer Controlling-Software zur Leistungsplanung im Krankenhaus
- Tobias Vente (2021): Effiziente Testfallgenerierung für C-Programme durch Testability-Transformationen
- David Kucserka (2021): Entwicklung eines automatisierten Testwerkzeugs für Enterprise Applications
- Adrian Bingener (2021): Entwurf und Implementierung eines experimentellen SAT-Solving-Frameworks zur automatisierten Analyse komplexer Softwaresysteme
- Robert Müller (2020): Regelbasiertes Mischen von Programmvarianten
Vorlagen
- LaTeX-Vorlage für Abschlussarbeiten an der Professur MBE
- PowerPoint-Vorlage für Abschlussvorträge an der Professur MBE
Um LaTeX-Dokumente zu bearbeiten und zu setzen, empfehlen wir MiKTeX (darin ist der Editor TeXworks enthalten).
Aktualisiert um 11:45 am 17. Februar 2021 von Robert