Shaheen, A.-U.-R. and Hussin, F.A. and Hamid, N.H. and Ali, N.B.Z. (2013) Automatic generation of test instructions for structural faults in processor cores using satisfiability. In: UNSPECIFIED.