1. Data Flow Analysis in Software Reliability
2. and (1990) ‘Methods and tools for testing-in-the-large’, in (ed), SE 90—the British Software Engineering Conference, 24–27 July, 1990, Brighton, U.K., Cambridge University Press, pp. 209–222.
3. Selecting and using data for integration testing
4. Program testing versus proofs of correctness
5. (1984) ‘MM-Paths: A white-box approach to software integration testing’, 3rd Annual Phoenix Conference on Computers and Communications, Phoenix, Arizona, pp. 181–185.