Software testing techniques - Beizer, Boris (International Thompsom Computer Press, 1990)