J.C. Huang, "Detection of Data Flow Anomaly Through Program Instrumentation," IEEE Trans. on Software Eng., vol. SE-5, No. 3, May, 1979, pp. 226-236. |
Boris Beizer, Software Testing Techniques, 2nd Ed., Van Nostrand Reinhold, New York, NY, 1990, pp., 59-60, 70-77, 145 and 150-172. |
Janusz W. Laski et al., "A Data Flow Oriented Program Testing Strategy," IEEE Transactions On Software Engineering, vol. SE-9, No. 3, May 1983, pp. 347-354. |
Phyllis G. Frankl et al., "An Applicable of Data Flow Testing Criteria," IEEE Transactions On Software Engineering, vol. 14, No. 10, Oct. 1988, pp. 1483-1498. |
Bogdan Korel, "Automated Software Test Data Generation," IEEE Transactions On Software Engineering, vol. 16, No. 8, Aug. 1990, pp. 870-879. |
Peter Fritzson et al., "Generalized Algorithmic Debugging and Testing," Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation. Toronto, Ontario, Canada, Jun. 26-28, 1991, pp. 317-326. |
Francois Bourdoncle, "Abstract debugging of higher-order imperative languages," ACM SIGPLAN '93, document No. 0-89791-598-4/93/0006/046, pp. 46-55. |
Rajiv Gupta, "Optimizing Array Bound Checks Using Flow Analysis," ACM Letters on Programming Languages and Systems, vol. 2, Nos. 1-4, Mar.-Dec. 1993, pp. 135-150. |
Richard A. Eyre-Todd, "The Detection of Dangling References in C++ Programs," ACM Letters on Programming Languages and Systems, vol. 2, Nos. 1-4, Mar.-Dec. 1993, pp. 127-133. |
Istvan Forgacs, "Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis," ACM Letters on Programming Languages and Systems, vol. 2, Nos. 1-4, Mar.-Dec. 1993. pp. 29-55. |
Lloyd D. Fosdick et al., "Data Flow Analysis in Software Reliability," Computing Surveys, vol. 8, No. 3, Sep. 1976, pp. 305-330. |
Todd M. Austin et al., "Efficient Detection of All Pointer and Array Access Errors," 1994 ACM SIGPLAN, document No. 0-89791-662-x/94/0006, pp. 290-301. |
Mizuhito Ogawa et al., "Anomaly Detection of Functional Programs Based on Global Dataflow Analysis," Systems and Computers in Japan, vol. 21, No. 2, 1990, pp. 11-22. |
Fun Ting Chan et al., "AIDA--A Dynamic Data Flow Anomaly Detection System for Pascal Programs," Software--Practice and Experience, vol. 17(3), Mar. 1987, pp. 227-239. |