Is this spreadsheet a tax evader? How HM Customs and Excise test spreadsheet applications | IEEE Conference Publication | IEEE Xplore