Parallel automated test pattern generation on the Connection Machine | IEEE Conference Publication | IEEE Xplore