A Generalization of Boundary Value Analysis for Input Parameters with Functional Dependency | IEEE Conference Publication | IEEE Xplore