PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes.

Gogul Balakrishnan Malay K. Ganai

Published in: SEFM (2008)

Keyphrases

error rate
model based diagnosis
error free
neural network
error analysis
databases
data mining
machine learning
search engine
fault diagnosis
prediction error
computer programs