On the over-specification problem in sequential ATPG algorithms | IEEE Journals & Magazine | IEEE Xplore