1. Header and unit inference for spreadsheets through spatial analyses;Abraham,2004
2. Goal-Directed Debugging of Spreadsheets;Abraham,2005
3. AutoTest: a tool for automatic test case generation in spreadsheets;Abraham,2006
4. Inferring Templates from Spreadsheets;Abraham,2006
5. Type inference for spreadsheets;Abraham,2006