David Binkley Sebastian Danicic Tibor Gyimóthy Mark Harman Ákos Kiss Lahcen Ouarbya Formalizing Executable Dynamic and Forward Slicing. 43-52 2004 conf/scam/2004 SCAM http://csdl.computer.org/comp/proceedings/scam/2004/2144/00/21440043abs.htm db/conf/scam/scam2004.html#BinkleyDGHKO04