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