The spin on guided random search in verification | IEEE Conference Publication | IEEE Xplore