Abstract
A methodology for reasoning about logic programs and their specifications is applied to program debugging as well as program synthesis. Specifications in the form of an executable model of the desired program are used to generate test cases, locate bugs, and guide bug correction. Both deductive and inductive inference techniques are employed for bug correction and synthesis. The behavior of the automated debugger is demonstrated through several examples.
| Original language | English |
|---|---|
| Pages (from-to) | 745-773 |
| Number of pages | 29 |
| Journal | Journal of Symbolic Computation |
| Volume | 15 |
| Issue number | 5-6 |
| DOIs | |
| State | Published - 1993 |
| Externally published | Yes |