Computer program testing : proceedings of the Summer school held at Sogesta, Urbino, Italy, June 29- July 3, 1981 - Zweben, Stuart H. (rz1, 1981)