@article {barraclough:strict, title = {A Trajectory-based Strict Semantics for Program Slicing}, journal = {Theoretical Computer Science}, volume = {411}, number = {11{\textendash}13}, year = {2010}, pages = {1372{\textendash}1386}, publisher = {elsevier}, author = {R. W. Barraclough and D. Binkley and S. Danicic and M. Harman and R. M. Hierons and {\'A}kos Kiss and M. Laurence and L. Ouarbya} } @conference {binkley:formalizing, title = {Formalizing Executable Dynamic and Forward Slicing}, booktitle = {Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004)}, year = {2004}, pages = {43{\textendash}52}, publisher = {ieeecs}, organization = {ieeecs}, address = {Chicago, Illinois, USA}, author = {D. Binkley and S. Danicic and Tibor Gyim{\'o}thy and M. Harman and {\'A}kos Kiss and L. Ouarbya} }