Software testing : - Everett, Gerald D (Wiley-Interscience, 2007)