Automatic generation of diagnostic memory tests based on fault decomposition and output tracing | IEEE Journals & Magazine | IEEE Xplore