Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach.
Dietmar JannachThomas SchmitzPublished in: Autom. Softw. Eng. (2016)
Keyphrases
- model based diagnosis
- hardware designs
- fault localization
- program slicing
- diagnostic reasoning
- consistency based diagnosis
- discrete event systems
- model based reasoning
- dynamic systems
- digital circuits
- physical systems
- diagnostic systems
- failure diagnosis
- constraint satisfaction
- repair actions
- constraint based modeling
- fault model
- simulation model
- production system