A SBST strategy to test microprocessors' Branch Target Buffer | IEEE Conference Publication | IEEE Xplore