M. Racz: "InjectionCop A Pluggable Type Checker for Inferencing Custom Type Qualifiers"; Supervisor: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2014; final examination: 2014-11-13.