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


Spreadsheet programs are probably the most successful example of end-user software development tools and are used for a variety of purposes. Like any type of software, they are prone to error, in particular as they are usually developed by non-programmers. While various techniques exist to support the developer in finding errors in procedural programs, the… (More)
DOI: 10.1007/s10515-014-0141-7


19 Figures and Tables


Citations per Year

Citation Velocity: 35

Averaging 35 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.