FZAAE02@BLEKUL11.BITNET (Philip Vanneste) (06/27/90)
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)