Theses

Open theses

We offer theses in the following topics:

• Model-based Software Development and Quality Assurance
• Configurable Software
• Design of Database Applications
• Quantum Software Engineering

Please contact us in a timely manner if you are interested.

Templates

• LaTeX-Template for theses at the Chair of Model-based Engineering
• PowerPoint-Template for presentations at the Chair of Model-based Engineering

To edit and typeset LaTeX documents, we recommend using MiKTeX (which contains the editor TeXworks) or Overleaf.

Finished master theses

• Feature Localization mithilfe von Large Language Models (2025)
• Auswertung der Effizienz und Effektivität von Modellprüfungsstrategien für Gewichtete Automaten (2025)
• Microservice Architecture for Integrating Real-Time Market Data for Dynamic Market Research (2025)
• Validation of Reliability Specifications for Connected Home Comfort Systems (2024)
• Virtualised Testing Strategies for Ensuring Automotive Software Quality Standards (2024)
• Entwicklung einer integrierten Web-Applikation zur automatisierten Testdatensynthese für SQL-Datenbanken (2024)
• Testansätze für relationale Datenbanksysteme (2023)
• Anfrage-spezifische Synthese großer Testdatensätze für relationale Datenbanken (2023)
• Vergleich der Effizienz und Effektivität von Feature-Modell-Synthese und Feature-Modell-Lernen (2023)
• Testfall-Generierung für Anwendungen mit unendlichem Konfigurationsraum am Beispiel einer Controlling-Software zur Leistungsplanung im Krankenhaus (2021)
• 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)
• Regelbasiertes Mischen von Programmvarianten (2020)

Finished bachelor theses

• Rekonstruktion von kardinalitätsbasierten Feature-Modellen (2025)
• Benchmarks zur Performance Evaluation von SAT-Solvern (2025)
• SAT-basierte Analyse konfigurierbarer Scheduling-Probleme (2025)
• Vergleich der Effizienz und Effektivität von Syntheseverfahren und LLM-Tools zur automatisierten Programmerzeugung (2025)
• Konzeption und Implementierung einer Anwendung zur Darstellung von Algorithmen zur Versionsverwaltung (2025)
• Extraktion von Feature-Abhängigkeiten aus Blackbox-Klassifikatoren für Konfigurationsräume (2025)
• Transfer-Learning-Ansätze zum Feature-Modell-Lernen (2024)
• Transformation und Analyse von parallelen Datenbankprozessen (2024)
• Strukturierte Literaturrecherche zu datenorientierten Prozessanalyse-Ansätzen (2024)
• Modellierung und Analyse konfigurierbarer Scheduling-Probleme (2024)
• Modellbasierte Rückverfolgbarkeit in Produktionsabläufen (2024)
• Kodierungsstrategien von boole’schen Konfigurationsräumen für Ansätze zum Feature-Modell-Lernen (2024)
• Experimentelle Auswertung von Unit-Test-Generatoren für Java-Programme (2024)
• Konzeption und Implementierung eines Editors für Klassifikationsbäume zum Funktionsorientierten Testen (2024)
• Ansätze zum maschinellen Lernen für den Konfigurationsraum des Linux Kernels (2024)
• Modellbasierte Kompositionsstrategien für Microservices eines Web-basierten Service-Portals (2024)
• Performance-Evaluation von SAT-Solving-Verfahren (2023)
• Inkrementelles Paarweises Sampling basierend auf grundlegenden SAT Solving Verfahren (2023)
• 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)
• Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese (2022)
• Entwurf und Implementierung einer Modellierungssprache zur Automatisierung von Datentransformationen in Geschäftsprozessen (2022)
• Conflict-driven Clause-Learning-Strategien zur Analyse von Konfigurationsmodellen (2022)
• Vergleich des SQL-Sprachumfangs ausgewählter relationaler Datenbanksysteme (2021)
• Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software (2021)
• Performance-Vergleich von BDD-basierten und SAT-basierten Analysestrategien für Konfigurationsmodelle (2021)
• Strukturierte Code-Generierung aus Kontrollflussautomaten (2021)
• Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen (2021)
• Fallstudien zum Vergleich von relationalen Datenbanksystemen und Graphdatenbanken in Neo4J (2021)
• Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien (2020)