Software testing techniques - Beizer, Boris (Wiley-dreamtech, 2003)