Answers are grounded in this paper and cite their sources.
Some properties of a program data flow can be used to guide program testing. The presented approach aims to exercise use-definition chains that appear in the program. Two such data oriented testing strategies are proposed; the first involves checking liveness of every definition of a variable at the point(s) of its possible use; the second deals with liveness of vectors of variables treated as arguments to an instruction or program block. Reliability of these strategies is discussed with respect to a program containing an error.
No takes yet. Share an insight, caveat, or question.
Łaski et al. (1983) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: