"Joogie: Infeasible Code Detection for Java."

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