| 1976 | ||
|---|---|---|
| 3 | W. H. Jessop, J. Richard Kane, S. Roy, J. M. Scanlon: ATLAS - An Automated Software Testing System. ICSE 1976: 629-635 | |
| 1975 | ||
| 2 | J. Richard Kane, Stephen S. Yau: Concurrent Software Fault Detection. IEEE Trans. Software Eng. 1(1): 87-99 (1975) | |
| 1971 | ||
| 1 | J. Richard Kane, Stephen S. Yau: On the Design of Easily Testable Sequential Machines FOCS 1971: 38-42 | |
| 1 | W. H. Jessop | [3] |
| 2 | S. Roy | [3] |
| 3 | J. M. Scanlon | [3] |
| 4 | Stephen S. Yau | [1] [2] |