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]

Authors

David Binkley

Identified as David W. Binkley

Mark Harman

Identified as Mark Harman