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

Efficient Model Checking of Applications with Input/Output. - Cyrille Artho; Boris Zweimüller; Armin Biere; Etsuya Shibayama; Shinichi Honiden (EUROCAST, 2007)