H. Kao;T. Y. Chen
University of Hong Kong, Hong Kong;University of Hong Kong, Hong Kong
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
This paper proposes new definitions of actions, states and state-transition diagrams for usage in the dynamic data flow analysis of Cobol programs.