Planted-model evaluation of algorithms for identifying differences between spreadsheets | IEEE Conference Publication | IEEE Xplore