A Method of Diagnostic Test Generation for Transition Faults. - Renji Ono; Satoshi Ohtake (PRDC, 2015)