Parallel-processing techniques for automatic test pattern generation | IEEE Journals & Magazine | IEEE Xplore