Software testing techniques / - Beizer, Boris, (Van Nostrand Reinhold,, 1990)