Mark Harman Lin Hu Robert M. Hierons Chris Fox Sebastian Danicic Joachim Wegener Harmen Sthamer André Baresel Evolutionary Testing Supported by Slicing and Transformation. 285 2002 conf/icsm/2002 ICSM http://computer.org/proceedings/icsm/1819/18190285.pdf db/conf/icsm/icsm2002.html#HarmanHHFDWSB02