Key points are not available for this paper at this time.
A technique is presented whereby a significant amount of program validation can be done simply by exercising the program components in a model environment provided by a finite state machine, specially built to characterise the real environment of that component. The tools necessary to support such a technique are characterised and the merits and demerits of the technique are discussed.
Peter Henderson (1975) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: