Towards automatic debugging of programs.

Shmuel Katz Zohar Manna

Published in: Reliable Software (1975)

Keyphrases

java programs
hardware designs
novice programmers
program slicing
decision making
multiscale
model based diagnosis
computer programs
machine learning
high level
image sequences
open source
programming environment
control structures