Vector space theoretic analysis of additive cellular automata and its application for pseudoexhaustive test pattern generation | IEEE Journals & Magazine | IEEE Xplore