Debugging by Diagnosing Assumptions.

Luís Moniz Pereira Carlos Viegas Damásio José 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