S. Mijatov: "A Framework for Testing fUML Models"; Supervisor, Reviewer: G. Kappel, R. Breu, F. Wotawa; Institut für Information Systems Engineering, 2018; oral examination: 2018-04-09.