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