Documents of the Institute

• Diploma Theses (archive)
• Master Theses
• Bachelor Theses

• Zschiesche, Jannik: Erkennung semantischer Klone mittels Locality-Sensitive-Hashing charakteristischer Vektoren, Diploma Thesis No. 13, 2016.

• Al-Maamari, Tareq Ahmed Ali: Aspects of Event-Driven Cloud-Native Application Development, Master Thesis No. 2016.
• Alt, Patrick: Regression Test Suite Selection and Minimization Based on Feature Modeling, Master Thesis No. 2016.
• Das, Rupak: Development of Differ and Merge Features for Models in the AMALTHEA Tool Platform, Master Thesis No. 95, 2016.
• Dreiucker, Mark: Integrierte Rückverfolgbarkeit von Anforderungen, Master Thesis No. 44, 2016.
• Harrer, Matthias: Prototypenentwicklung mit Bauhaus und SKilL, Master Thesis No. 19, 2016.
• Käfer, Verena: A Study of the Transferability of Tutorial Concepts of Games to Application Software, Master Thesis No. 46, 2016.
• Keller, Fabian: Introducing Performance Awareness in an Integrated Specification Environment, Master Thesis No. 2016.
• Kuhn, Tobias: Untersuchung von bekannten Gamificationsansätzen auf ihre Anwendbarkeit auf das Werkzeug der statischen Codeanalyse FindBugs, Master Thesis No. 30, 2016.
• Li, Lingwei: Improving Software Quality with Continuous Integration in an Agile Development Process, Master Thesis No. 2016.
• Maher, Karim: Building a bluetooth automatic obstacle-avoidance robotic based in an agile development process, Master Thesis No. 56, 2016.
• Niethammer, Philipp: Syntax-directed Incremental Verification of Java Modeling Language Contracts, Master Thesis No. 62, 2016.
• Noller, Yannic: Model counting of string constraints for probabilistic symbolic execution, Master Thesis No. 63, 2016.
• Przytarski, Dennis: SKilLed Bauhaus, Master Thesis No. 35, 2016.
• Rudolph, Tobias: Improving Automatic Software Repair with Probabilistic Symbolic Execution, Master Thesis No. 2016.
• Schnaible, Sven: Modelle und Programmierparadigmen für Geschäftslogik, Master Thesis No. 79, 2016.
• Walter, Jaasiel: Testabdeckungsmaße für den Integrationstest von E/E-Systemen im Fahrzeug, Master Thesis No. 87, 2016.
• Weißer, Constantin Michael: Serialization of Foreign Types with SKilL, Master Thesis No. 2016.
• Xu, Ling: A study on the relationship between FindBugs warnings, metrics and expert judgments, Master Thesis No. 91, 2016.

• Angerstein, Tobias: Automated categorization of performance problem diagnosis results, Bachelor Thesis No. 2016.
• Balzer, Lukas: Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen, Bachelor Thesis No. 13, 2016.
• Bauer, Andreas: Bauhaus-Analysis Driver, Bachelor Thesis No. 15, 2016.
• Frank, Sebastian: Handling quality trade-offs in architecture-based performance optimization, Bachelor Thesis No. 66, 2016.
• Gaiser, Simon: Automatisierter Vergleich von Codeklonerkennungsergebnissen, Bachelor Thesis No. 262, 2016.
• Golda, Robert: A Java library for Zero-Suppressed Decision Diagrams, Bachelor Thesis No. 68, 2016.
• Harth, Rafael: Anbindung von SKilL an Haskell, Bachelor Thesis No. 70, 2016.
• Hidiroglu, Alper: Detecting performance anti-patterns in enterprise applications by analyzing execution traces, Bachelor Thesis No. 72, 2016.
• Luk He, Ting: Development of an Eclipse Plug-in for the STPA TCGenerator tool, Bachelor Thesis No. 86, 2016.
• Mauch, Nicolas: Reengineering und Erweiterung einer Prüfungsumgebung für Spreadsheets, Bachelor Thesis No. 35, 2016.
• Pauly, Vincenz: Portierung einer Java-Backend-Komponente nach .NET, Bachelor Thesis No. 37, 2016.
• Schretter, Olga: Workflow-Modellierung: Werkzeugauswahl und Integration, Bachelor Thesis No. 51, 2016.
• Schröder, Juri Leonhard: Optimierung von unsicheren Systemen mit B-Splines auf Dünnen Gittern, Bachelor Thesis No. 52, 2016.