Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables

Empirical data concerning the qualitative and quantitative nature of program dependence is presented for a set of 20 programs ranging from 600 lines of code to 167,000 lines of code. The sources of...