Heuristic and Formal Methods in Automatic Program Debugging

  title={Heuristic and Formal Methods in Automatic Program Debugging},
  author={William R. Murray},
I . I n t r o d u c t i o n TALUS acts as the domain expert of an intelligent tu tor ing system to teach LISP. A complete intelligent tutor ing system would include a student model, a dialog manager, courseware, and additional domain expertise. Input to TALUS consists of one or more student functions intended to solve an assigned task. Typical tasks include REVERSE, MEMBER, U N I O N , I N T E R S E C T I O N , F A C T O R I A L , and F L A T T E N . Outpu t consists of the debugged student… CONTINUE READING