Concurrent pseudo-exhaustive testing of combinational VLSI circuits | IEEE Conference Publication | IEEE Xplore