Akash Lal Junghee Lim Marina Polishchuk Ben Liblit Path Optimization in Programs and Its Application to Debugging. 246-263 2006 conf/esop/2006 ESOP http://dx.doi.org/10.1007/11693024_17 db/conf/esop/esop2006.html#LalLPL06