An adaptive distributed algorithm for sequential circuit test generation | IEEE Conference Publication | IEEE Xplore