Effective methods for software testing - Perry William E (2000)