On Optimization-Based ATPG and Its Application for Highly Compacted Test Sets | IEEE Journals & Magazine | IEEE Xplore