Kosy, D.K.,
"Approaches to improved program validation through programming language design", pp. 75-92, in Hetzel, W.C. (ed.),
Program test methods, Prentice-Hall, 1973.
Google
Quotations
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