1. Baker, A. L., Howatt, J. W. and Bieman, J. M. (1986) Criteria for finite sets of paths that characterize control flow, in Proceedings of the Nineteenth Annual Hawaii International Conference on System Sciences, pp. 158?163.
2. Bently, W. G. and Miller, E. F. (1989) Ct coverage-an initial evaluation, in Proceedings of Quality Week Conference, San Francisco, CA.
3. Bently, W. G. (1988) Automated software testing: advanced technologies, in Proceedings of Quality Week Conference, San Francisco, CA.
4. Clarke, L. A., Podgurski, A., Richardson, D. J. and Zeil, S. J. (1986) An investigation of data flow path selection criteria, in Proceedings of Workshop on Software Testing, Banff, Canada, July, pp. 23?31.
5. Frankl, P. G. (1987) The use of data flow information for the selection and evaluation of software test data, PhD dissertation, New York University, New York.