Sciweavers

2 search results - page 1 / 1
» Model-based diagnosis of spreadsheet programs: a constraint-...
Sort
View
ECAI
2004
Springer
13 years 10 months ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa
IFIP12
2004
13 years 6 months ago
Model-Based Debugging with High-Level Observations
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner