Bogdan Korel Juergen Rilling Application of Dynamic Slicing in Program Debugging. 43-58 1997 AADEBUG db/conf/aadebug/aadebug97.html#KorelR97 http://www.ep.liu.se/ea/cis/1997/009/05/