Semi-Algorithmic Test Pattern Generation | IEEE Conference Publication | IEEE Xplore