Progress Toward Automated Software Testing. - DeMillo, Richard A. (1991)