Logical debugging

Nachum Dershowitz, Yuh Jeng Lee

Research output: Contribution to journalArticlepeer-review

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

Fingerprint

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

Cite this