1. and , ‘A data flow testing tool’, Proceedings SoftFairll, Software Development Tools, Techniques, and Alternatives, San Francisco, 1987, pp. 46–53.
2. Data flow testing in STAD
3. and , ‘Data flow-based test adequacy analysis for languages with pointers’, Proc. Symposium on Software Testing, Analysis, and Verification (TAV4), Victoria, BC, October 1991, pp. 74–86.
4. and , ‘Data flow coverage and the c language’, Proc. Symposium on Software Testing, Analysis, and Verification (TAV4), Victoria, BC, October 1991, pp. 87–97.
5. and , ‘Automating software analysis and testing using a program transformation system’, Proc. Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, December 1989, pp. 75–85.