Path Optimization in Programs and Its Application to Debugging. - Lal, Akash; Lim, Junghee; Polishchuk, Marina; Liblit, Ben (2006)