Directed Random SBST Generation for On-Line Testing of Pipelined Processors. - Andreas Merentitis; George Theodorou; Mihalis Giorgaras; Nektarios Kranitis (IOLTS, 2008)