@conference {abreu2012debugging,
	title = {Debugging Spreadsheets: A CSP-based Approach},
	booktitle = { IEEE 23rd International Symposium on Software Reliability Engineering Workshops - ISSREW},
	year = {2012},
	month = {November },
	pages = {159{\textendash}164},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Dallas, Texas, USA},
	abstract = {<p>Despite being staggeringly error prone, spreadsheets can be viewed as a highly flexible end-users programming environment. As a consequence, spreadsheets are widely adopted for decision making, and may have a serious economical impact for the business. Hence, approaches for aiding the process of pinpointing the faulty cells in a spreadsheet are of great value. We present a constrain-based approach, CONBUG, for debugging spreadsheets. The approach takes as input a (faulty) spreadsheet and a test case that reveals the fault and computes a set of diagnosis candidates for the debugging problem we are trying to solve. To compute the set of diagnosis candidates we convert the spreadsheet and test case to a constraint satisfaction problem. From our experimental results, we conclude that CONBUG can be of added value for the end user to pinpoint faulty cells.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/iwpd12-2.pdf},
	author = {Rui Abreu and Riboira, Andr{\'e} and Wotawa, Franz}
}