This paper reviews some of the difficulties and decisions in implementing data flow coverage criteria for the C language as realized in ATAC, a data flow coverage testing tool for C. We also address a particular, language independent problem with the concept of the all-du-paths data flow coverage criterion and suggest a solution.
No takes yet. Share an insight, caveat, or question.
Horgan et al. (1991) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: