Goal-directed debugging of spreadsheets | IEEE Conference Publication | IEEE Xplore