List of completed Bachelor and Master theses

List of completed Bachelor and Master theses

current as of January 2024

2023

• S. A. N., Developing a Log Message Analyzer for Model Railway Diagnosis and Monitoring, Bachelor Thesis, January 2023
• C. R., Improved Software Traceability: Visualizing Statement-Level Test-to-Code Relationships, October 2023
  

2022

• V. V., Quality Metrics for Text-based Artifacts of Agile Development Projects, February 2022
• P. A. C., A Case Study in Decentralized Load and Performance Testing for Banking IT-Services, June 2022

2021

• B. M. L., MBTbahn: A Case Study of Model-based Testing for Safe Railway Operations, Master Thesis, November 2021
• T. H., SWTbahn Emulator: A Digital Twin of a Computer-Controlled Model Railway, Bachelor Thesis, June 2021

2020

• B. P., Developing a Test Automation Toolkit for a Manufacturing Execution System, Bachelor Thesis, December 2020
• J. A. S., Evaluating Low-Budget Tools for Requirements Management, Master Thesis, July 2020
• F. G., SWLdocu - A Software Tool for Teaching SCRUM Documentation, Bachelor Thesis, May 2020

2019

• G. K. S. S., WIAI Timetabler: Software Support for the Timetabling of Courses, Master Thesis, December 2019
• N. T. N., BahnDSL: A Domain-Specific Language for Configuring and Controlling Railways, Master Thesis, November 2019
• J. S., Konzeption eines Softwaredokumentationsprozesses für agil entwickelte sicherheitskritische Systeme, Master Thesis, May 2019
• J. H. B., Inference of Shape Predicates from Memory Graphs: Using Separation Logic to Characterize Dynamic Data Structures, Master Thesis, May 2019
  

2018

• F. K., Test Cost Estimation for Model-based Embedded Software, Bachelor Thesis, June 2018
• N. G., Software Support for the Timetabling of Lectures and Practicals at the WIAI Faculty, Bachelor Thesis, September 2018
  

2017

• L. W. D., Memory Snapshot Alignment for Data Structure Discovery, Master Thesis, February 2017
• A. K., Testautomatisierung für den Softwarekomponententest der Bremssteuerungssoftware im Schienenverkehr der Siememns AG, Bachelor Thesis, September 2017
  

2016

• J. H. B., Automated Generation of Data Structure Annotations for Pointer Program Verification, Bachelor Thesis, October 2016
• C. F. M., On Parallelizations of the K-Means Clustering Algorithm, Bachelor Thesis, August 2016
• K. W., Heap Visualisation Using Interactive Memory Graphs, Bachelor Thesis, May 2016
  

2015

• J. M. G., Prototypical Integration of the Model Interface Automata Theory in Google Go, Master Thesis, October 2015

2014

• J. M. R., Evaluation and Development of Program Obfuscation Techniques to Break Repetitive Program Behaviour, Bachelor Thesis, August 2014

2012

• L. W. D., Multidimensional Repetitive Pattern Discovery for Locationg Data Structure Operations, Bachelor Thesis, May 2012
• J. D., Automatisierung funktionaler Test für eine agil-entwickelte, webbasierte ERP-Software für Druckereien, Bachelor Thesis, October 2012
  

2011

• T. R., Evaluation of Photo-Realistic Scene Drawing Algorithms Using CUDA, Master Thesis, May 2011

2010

• A. R., Entwicklung einer erweiterbaren Software Architektur für Informationsterminals, Bachelor Thesis, December 2010