A New Approach to Automated Redundancy Reduction for Test Sequences | IEEE Conference Publication | IEEE Xplore