Correction to "toward a theory of test data selection"

In the above-named paper the program in Fig. 3 should read "then begin" on line 7, "bufpos := 0 end end" on line 20, and the semicolon on line 23 should be omitted. The program as given in Table I already reflects these corrections, so no other changes to the paper are necessary. These corrections were pointed out by H. C. Lauer.