Effective methods for software testing - Perry William E. (Wiley, J., 1995)