Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Logical debugging
Nachum Dershowitz
*
, Yuh Jeng Lee
*
Corresponding author for this work
University of Illinois
Research output
:
Contribution to journal
›
Article
›
peer-review
4
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Logical debugging'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Debugging
100%
Inductive Inference
100%
Bug Correction
100%
Logic Programming
50%
Inference Methods
50%
Program Synthesis
50%
Program Debugging
50%
Executable Models
50%
Generate Test Case
50%
Debugger
50%
Computer Science
Logic Programming
100%
Program Synthesis
100%
Inference Technique
100%
program debugging
100%
debugger
100%
Executable Model
100%