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