Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach