Debugging for hypercubes in time warp.

Published in: ACM SIGSOFT Softw. Eng. Notes (1991)

Keyphrases

model based diagnosis
fault localization
hardware designs
multi agent systems
novice programmers
database
bayesian networks
preprocessing
software testing
parallel programming
java programs
execution traces