Arithmetic spectrum applied to fault detection for combinational networks | IEEE Journals & Magazine | IEEE Xplore