A Program Testing Assistant

Communications of the ACM

Volumn 25, Issue 9, 1982, Pages 625-634

  Chapman, David ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0020186365     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/358628.358642     Document Type: Article

References (7)

1. Greenblatt, R. Knight, T., Holloway, J., and Moon, D. A Lisp Machine. Fifth Workshop on Computer Architecture for Non-numeric Processing, Pacific Grove, CA, March 11-14, 1980, p. 137-138.
2. Lieberman, H. and Hewitt, C. A session with TINKER: Interleaving program testing with program design. Proc. 1980 LISP Conference. Stanford University, August 1980.
3. Rich, C. and Waters, R.C. Abstraction, inspection and debugging in programming. MIT Artificial Intelligence Laboratory Memo No. 634, June, 1981.
4. Shapiro, D. Sniffer: A system that understands bugs. (M.S. Thesis), MIT Artificial Intelligence Laboratory Memo 638, June, 1981.
5. Waters, R.C. The programmer's apprentice: Knowledge based program editing. IEEE Trans. Software Engineering. 8, 3 (Jan. 1982) 3-12.
6. Winston, P. H. Learning and reasoning by analogy. Comm. ACM. 23, 12 (Dec. 1980) 689-703.
7. IEEE Trans. Software Engineering, (May 1980): special issue on testing.