Login / Signup

From symptom to cause: localizing errors in counterexample traces.

Thomas BallMayur NaikSriram K. Rajamani
Published in: POPL (2003)
Keyphrases
  • fault diagnosis
  • model checking
  • errors occur
  • data structure
  • artificial neural networks
  • estimation error