Software testing - Gerald D Everett,Raymond Mcleod (IEEE, 2007)