Efficient Circuit Specific Pseudoexhaustive Testing with Cellular Automata