[1]	P. G. Frankl & E. J. Weyuker, An Applicable Family of Data Flow Testing Criteria, IEEE Transactions on Software Engineering, Vol. SE-14, No. 10, October 1988, pp. 1483-1498.
[2]	P. G. Frankl & E. J. Weyuker, Provable Improvements on Branch Testing, IEEE Transactions on Software Engineering, Vol. SE-19, No. 10, October 1993, pp. 962-975.
[3]	T. M. Nguyen, Test Unit Generator, Co-op Work Term Report, Part II, University of Ottawa, Summer 1994.
[4]	T. G. Teferi & A. Ebenye C., Pasflow Extension, CSI4900 Course Project, Department of Computer Science, University of Ottawa, April 1993.
[5]	H. Ural & B. Yang, A Test Sequence Selection Method for Protocol Testing, IEEE Transactions on Communications, Vol. 39, No. 4, April 1991, pp. 514-523.