JNuke: Efficient Dynamic Analysis for Java. - Cyrille Artho; Viktor Schuppan; Armin Biere; Pascal Eugster; Marcel Baur; Boris Zweimüller (CAV, 2004)