Christian Hammer Martin Grimme Jens Krinke Dynamic path conditions in dependence graphs. 58-67 2006 conf/pepm/2006 PEPM http://doi.acm.org/10.1145/1111542.1111552 db/conf/pepm/pepm2006.html#HammerGK06