"Approaches to improved program validation through programming language design", pp. 75-92, in Hetzel, W.C. (ed.),
Program test methods, Prentice-Hall, 1973.
QuoteRef: kosyDK_1973 ;;87 Knuth and others: keep count of statement execution so check all paths.
QuoteRef: kosyDK_1973 ;;Lowry: declare ranges and check that all objects fall in these ranges
Topic: range checking (20 items)
ThesaHelp: references i-l (342 items)
Topic: testing testing (13 items)