1988 |
5 | | David Gelperin,
Bill Hetzel:
The Growth of Software Testing.
Commun. ACM 31(6): 687-695 (1988) |
1982 |
4 | EE | 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 |