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