Spreadsheet testing in practice