An empirical evaluation of a testing and debugging methodology for Excel