Automated testing of databases and spreadsheets - the long and the short of it. - C. Simon; Peter F. Summons (ACSE, 2000)