Data Flow Analysis in Software Reliability
Lloyd D. Fosdick, Leon J. Osterweil · ACM Computing Surveys · 1976
The ways that the methods of data flow analysis can be applied to improve software reliability are described. There is also a review of the basic terminology from graph theory and from data flow analysis in global program optimization. The notation of regular expressions is used to describe actions on data for sets of paths.