Current directions in automatic test-pattern generation | IEEE Journals & Magazine | IEEE Xplore