Directed Random SBST Generation for On-Line Testing of Pipelined Processors | IEEE Conference Publication | IEEE Xplore