Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Masterarbeiten
• Bachelorarbeiten

• Keller, Fabian: Introducing Performance Awareness in an Integrated Specification Environment, Masterarbeit Nr. 2016.
• Niethammer, Philipp: Syntax-directed Incremental Verification of Java Modeling Language Contracts, Masterarbeit Nr. 62, 2016.
• Noller, Yannic: Model counting of string constraints for probabilistic symbolic execution, Masterarbeit Nr. 63, 2016.
• Rudolph, Tobias: Improving Automatic Software Repair with Probabilistic Symbolic Execution, Masterarbeit Nr. 2016.

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