Instrumentation of Java program code for control flow analysis - Lösch, Felix (Universitätsbibliothek der Universität Stuttgart, 2005)