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

David W. Binkley Mark Harman

Published in: IEEE Trans. Software Eng. (2004)

Keyphrases

data analysis
formal analysis
structural analysis
artificial intelligence
variable selection
input variables
case study
database systems
parameter estimation
parameter values
continuous variables