1. R.A. DeMillo, A.J. Offutt, Constraint-based automatic test data generation, IEEE Transactions on. Engineering, 17(9), 900-910, 1991.
2. P.M. Herman, A data flow analysis approach to program testing. The Australian Computer Journal, 8(3), 347-354, 1976.
3. J. Laski, B. Korel, A data flow oriented program testing strategy, IEEE Transactions on. Engineering, SE-9(3), 347-354, 1983.
4. J. Laski, An algorithm for the derivation of codefinitions in computer programs, Information Processing Letters, 23, 1986, 85-90.
5. J. Laski, Path Expressions in Data Flow Program Testing, Proceedings of Compsaq 1990, The 14th International Computer Software and Applications Conference, Chicago, IL, Oct 29-Nov 2, 1990, pp.570-576.