Path: utzoo!attcan!uunet!wuarchive!brutus.cs.uiuc.edu!psuvax1!psuvm!blekul11!fzaae02
From: FZAAE02@BLEKUL11.BITNET (Philip Vanneste)
Newsgroups: comp.ai
Subject: summary : automatic debugging
Message-ID: <90178.114213FZAAE02@BLEKUL11.BITNET>
Date: 27 Jun 90 11:40:13 GMT
Organization: K.U.Leuven - Academic Computing Center
Lines: 20

REFERENCES ON AUTOMATIC DEBUGGING : SUMMARY

RECENTLY, I POSTED A QUESTION FOR REFERENCES ON AUTOMATIC DEBUGGING.

THIS WERE THE REFERENCES I ALREADY HAD :
 1) JOHNSON (PROUST, AN AUTOMATIC DEBUGGER FOR NOVICE PROGRAMMERS)
 2) ADAM & LAURANT (LAURA, A SYSTEM TO DEBUG STUDENT PROGRAMS, IN "READI
                    IN AI & SOFTWARE ENGINEERING", RICH C. & WATERS R.C.
 3) RICH, SHROBE & WATERS (IN SAME PUBLICATION AS 2))

I'VE GOT SOME MORE REFERENCE VIA THE NETWORK :
 1) SHAPIRO EHUD, (ALGORITHMIC PROGRAM DEBUGGING)
 2) MURRAY (AUTOMATIC DEBUGGING FOR INTELLIGENT TUTORING SYSTEMS)
 3) DEAN T. ALLEMANG, "UNDERSTANDING PROGRAMS AS DEVICES", PH. D., LAB F
    AI-RESEARCH, OHIO STATE UNIVERSITY
 4) HUNTBACH M., PH. D THESIS, 1990, UNIVERSITY OF SUSSEX, BRIGHTON, UK
    (AN EXTENTION TO THE WORK OF SHAPIRO)

(THE WORK OF D.T. ALLEMANG SEEMS TO BE A COMBINATION OF THE STRENGTHS OF
 WORK OF JOHNSON AND THOSE OF THE WORK OF MURRAY)