Software testing and evaluation - DeMillo, Richard A. (The Benjamin/Cummings Publishing Company, 1987)