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

David W. Binkley, Mark Harman. Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. IEEE Trans. Software Eng., 30(11):715-735, 2004. [doi]

Abstract

Abstract is missing.