Search-Space Optimizations for High-Level ATPG | IEEE Conference Publication | IEEE Xplore