Logical debugging

Nachum Dershowitz*, Yuh Jeng Lee

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


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 languageEnglish
Pages (from-to)745-773
Number of pages29
JournalJournal of Symbolic Computation
Issue number5-6
StatePublished - 1993
Externally publishedYes


Dive into the research topics of 'Logical debugging'. Together they form a unique fingerprint.

Cite this