Software testing techniques - Beizer, Boris (Thomson)