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).