Abschlussarbeiten

Offene Abschlussarbeiten

Wie bieten Abschlussarbeiten in folgenden Themengebieten an:

• Modellbasierte Software-Entwicklung und Qualitätssicherung
• Konfigurierbare Software
• Entwurf von Datenbank-Applikationen
• Quantum Software Engineering

Bei Interesse bitte frühzeitig melden.

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

Abgeschlossene Masterarbeiten

• Sample-based Testing of Configurable Software using Reinforcement Learning (2026)
• Shortest-Path Search in Multi-Weighted Automata (2026)
• Auswertung der Effizienz und Effektivität von Modellprüfungsstrategien für Gewichtete Automaten (2025)
• Enhancing Bug Report Defect Analysis through Generative AI and Explainable Semantic Embedding Attributions (2025)
• Feature Localization mithilfe von Large Language Models (2025)
• Microservice Architecture for Integrating Real-Time Market Data for Dynamic Market Research (2025)
• Entwicklung einer integrierten Web-Applikation zur automatisierten Testdatensynthese für SQL-Datenbanken (2024)
• Validation of Reliability Specifications for Connected Home Comfort Systems (2024)
• Virtualised Testing Strategies for Ensuring Automotive Software Quality Standards (2024)
• Anfrage-spezifische Synthese großer Testdatensätze für relationale Datenbanken (2023)
• Testansätze für relationale Datenbanksysteme (2023)
• Vergleich der Effizienz und Effektivität von Feature-Modell-Synthese und Feature-Modell-Lernen (2023)
• Effiziente Testfallgenerierung für C-Programme durch Testability-Transformationen (2021)
• Entwicklung eines automatisierten Testwerkzeugs für Enterprise Applications (2021)
• Entwurf und Implementierung eines experimentellen SAT-Solving-Frameworks zur automatisierten Analyse komplexer Softwaresysteme (2021)
• Testfall-Generierung für Anwendungen mit unendlichem Konfigurationsraum am Beispiel einer Controlling-Software zur Leistungsplanung im Krankenhaus (2021)
• Regelbasiertes Mischen von Programmvarianten (2020)

Abgeschlossene Bachelorarbeiten

• Experimenteller Vergleich von Algorithmen zur Berechnung von kürzesten Pfaden in gewichteten Graphen (2026)
• Lösungsstrategien für konfigurierbare Scheduling-Probleme (2026)
• Modellierungsansätze und Teststrategien für unabhängige Features in konfigurierbarer Software (2026)
• Ansätze zum Mutationstesten von Quanten-Programmen (2025)
• Benchmarks zur Performance Evaluation von SAT-Solvern (2025)
• Entwicklung eines Softwaresystems zur automatischen Bereitstellung von virtuellen Maschinen als Docker-Umgebungen (2025)
• Extraktion von Feature-Abhängigkeiten aus Blackbox-Klassifikatoren für Konfigurationsräume (2025)
• Konzeption und Implementierung einer Anwendung zur Darstellung von Algorithmen zur Versionsverwaltung (2025)
• LLM-basierte Root-Cause-Analyse zur automatisierten Fehlerdiagnose in Online-Banking-Anwendungen (2025)
• Rekonstruktion von kardinalitätsbasierten Feature-Modellen (2025)
• Reparaturbasierte Synthese von Testdatensätzen für relationale Datenbanken (2025)
• SAT-basierte Analyse konfigurierbarer Scheduling-Probleme (2025)
• Vergleich der Effizienz und Effektivität von Syntheseverfahren und LLM-Tools zur automatisierten Programmerzeugung (2025)
• Vergleich von Modellierungs- und Analyse-Werkzeugen für Petri-Netze (2025)
• Ansätze zum maschinellen Lernen für den Konfigurationsraum des Linux Kernels (2024)
• Experimentelle Auswertung von Unit-Test-Generatoren für Java-Programme (2024)
• Kodierungsstrategien von boole’schen Konfigurationsräumen für Ansätze zum Feature-Modell-Lernen (2024)
• Konzeption und Implementierung eines Editors für Klassifikationsbäume zum Funktionsorientierten Testen (2024)
• Modellbasierte Kompositionsstrategien für Microservices eines Web-basierten Service-Portals (2024)
• Modellbasierte Rückverfolgbarkeit in Produktionsabläufen (2024)
• Modellierung und Analyse konfigurierbarer Scheduling-Probleme (2024)
• Strukturierte Literaturrecherche zu datenorientierten Prozessanalyse-Ansätzen (2024)
• Transfer-Learning-Ansätze zum Feature-Modell-Lernen (2024)
• Transformation und Analyse von parallelen Datenbankprozessen (2024)
• Inkrementelles Paarweises Sampling basierend auf grundlegenden SAT Solving Verfahren (2023)
• Performance-Evaluation von SAT-Solving-Verfahren (2023)
• Conflict-driven Clause-Learning-Strategien zur Analyse von Konfigurationsmodellen (2022)
• Entwurf und Implementierung einer Modellierungssprache zur Automatisierung von Datentransformationen in Geschäftsprozessen (2022)
• Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese (2022)
• Integration und Evaluation von Werkzeugen zur Programmanalyse für den Einsatz in der Lehre (2022)
• Performance-Vergleich von Optimierungsstrategien für SQL Anfragen (2022)
• Testdatengenerierung zum automatisierten Regressionstesten von Service-Applikationen im Maschinenbau (2022)
• Fallstudien zum Vergleich von relationalen Datenbanksystemen und Graphdatenbanken in Neo4J (2021)
• Performance-Vergleich von BDD-basierten und SAT-basierten Analysestrategien für Konfigurationsmodelle (2021)
• Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software (2021)
• Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen (2021)
• Strukturierte Code-Generierung aus Kontrollflussautomaten (2021)
• Vergleich des SQL-Sprachumfangs ausgewählter relationaler Datenbanksysteme (2021)
• Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien (2020)