A. Holzer: "Query-Based Test Case Generation"; Supervisor, Reviewer: H. Veith, D. Beyer; Fakultät für Informatik der Technischen Universität Wien, 2013.