Test Set Generation with a Large Number of Unspecified Bits Using Static and Dynamic Techniques | IEEE Journals & Magazine | IEEE Xplore