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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.