Test Set Reordering Using the Gate Exhaustive Test Metric | IEEE Conference Publication | IEEE Xplore