AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets
Inferring Templates from Spreadsheets