 | 1988 |
|---|
| 5 |       | David Gelperin,
Bill Hetzel:
The Growth of Software Testing.
Commun. ACM 31(6): 687-695 (1988) |
| 1982 |
|---|
| 4 |  | David Gelperin:
A software test documentation standard.
SIGDOC 1982: 61-63 |
| 1977 |
|---|
| 3 | | David Gelperin:
On the Optimality of A*.
Artif. Intell. 8(1): 69-76 (1977) |
| 1976 |
|---|
| 2 | | David Gelperin:
A Resolution-Based Proof Procedure Using Deletion-Directed Search.
IEEE Trans. Computers 25(4): 323-327 (1976) |
| 1973 |
|---|
| 1 | | David Gelperin:
Deletion-Directed Search in Resolution-Dased Proof Procedures.
IJCAI 1973: 47-50 |
