Charland, Philippe (2004) Enhancing traditional behavioral testing through program slicing. Masters thesis, Concordia University.