Software testing techniques - Beizer, Boris (New Delhi, 2003)