Software testing techniques - Beizer, Boris 1934- (Van Nostrand Reinhold electrical/computer science and engineering series, 1983)