Sign in
From symptom to cause: localizing errors in counterexample traces.
Thomas Ball
Mayur Naik
Sriram K. Rajamani
Published in:
POPL (2003)
Keyphrases
</>
fault diagnosis
model checking
errors occur
data structure
artificial neural networks
estimation error