Techniques for program error diagnosis on EDSAC 2.

David W. Barron David F. Hartley

Published in: Comput. J. (1963)

Keyphrases

fault localization
fault diagnosis
error rate
model based diagnosis
computer programs
medical diagnosis
fault detection
neural network
model based reasoning
program execution
error bounds
static analysis
medical diagnostic
java programs
medical knowledge
upper bound
information systems
real world