On the Design of Easily Testable Sequential Machines - J. Richard Kane; Stephen S. Yau (SWAT, 1971)

Concurrent Software Fault Detection. - J. Richard Kane; Stephen S. Yau (IEEE Trans. Software Eng., 1975)

ATLAS - An Automated Software Testing System. - W. H. Jessop; J. Richard Kane; S. Roy; J. M. Scanlon (ICSE, 1976)

The 3B20D Processor & DMERT operating system: Overview, architecture and performance of DMERT. - J. Richard Kane; R. E. Anderson; P. S. McCabe (Bell Syst. Tech. J., 1983)