Formalizing Executable Dynamic and Forward Slicing.

David W. Binkley, Sebastian Danicic, Tibor Gyimthy, Mark Harman, kos Kiss, Lahcen Ouarbya

Browse the full SCAM paper archive.