Christian Hammer Rüdiger Schaade Gregor Snelting Static path conditions for Java. 57-66 2008 PLAS http://doi.acm.org/10.1145/1375696.1375704 conf/pldi/2008plas db/conf/pldi/plas2008.html#HammerSS08