Software testing : Testing across the entire software development life cycle - Everett, Gerald (IEEE Press, 2007)