Login / Signup

Debugging by Diagnosing Assumptions.

Luís Moniz PereiraCarlos Viegas DamásioJosé Júlio Alferes
Published in: AADEBUG (1993)
Keyphrases
  • model based diagnosis
  • simplifying assumptions
  • fault localization
  • data sets
  • image segmentation
  • database
  • databases
  • real world
  • multiscale
  • dynamic systems
  • hardware designs
  • real time
  • genetic algorithm
  • execution traces