Random Testing of Digital Circuits Theory and Applications - David, Rene (Marcel Dekker Inc., 1998)