D. Richter: "Programmanalysen zur Verbesserung der Softwaremodellprüfung"; Supervisor, Reviewer: W. Zimmermann, J. Knoop; Martin-Luther-Universität Halle-Wittenberg, Deutschland, 2012; oral examination: 2012-01-31.