A Tester-Assisted Methodology for Test Redundancy Detection. (2nd December 2009)