"Joogie: Infeasible Code Detection for Java."

Stephan Arlt, Martin Schäf (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics