Technical Reports, Doctoral Theses, Student Theses of the Department

• Master Theses
• Bachelor Theses

• Keller, Fabian: Introducing Performance Awareness in an Integrated Specification Environment, Master Thesis No. 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.
• Rudolph, Tobias: Improving Automatic Software Repair with Probabilistic Symbolic Execution, Master Thesis No. 2016.

• Angerstein, Tobias: Automated categorization of performance problem diagnosis results, Bachelor Thesis No. 2016.
• Frank, Sebastian: Handling quality trade-offs in architecture-based performance optimization, Bachelor Thesis No. 66, 2016.
• Golda, Robert: A Java library for Zero-Suppressed Decision Diagrams, Bachelor Thesis No. 68, 2016.
• Hidiroglu, Alper: Detecting performance anti-patterns in enterprise applications by analyzing execution traces, Bachelor Thesis No. 72, 2016.