On the relationship between model-based debugging and program slicing
Artificial Intelligence
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
Hi-index | 0.00 |