Program testing techniques : tutorial : COMPSAC 77, the IEEE Computer Society's First International Computer Software & Applications Conference, Chicago, Sheraton-O'Hare Motor Hotel/Chicago O'Hare Airport, November 8-11, 1977