An exact solution to the minimum size test pattern problem | IEEE Conference Publication | IEEE Xplore