Robin Abraham
-
Automatic generation and maintenance of correct spreadsheets
-
AutoTest: A tool for automatic test case generation in spreadsheets
-
Gencel: A program generator for correct spreadsheets
-
GoalDebug: A spreadsheet debugger for end users
-
How to communicate unit error messages in spreadsheets
-
Mutation operators for spreadsheets
-
Sharing reasoning about faults in spreadsheets: An empirical study
-
Spreadsheet programming
-
Test-driven goal-directed debugging in spreadsheets
-
The state of the art in end-user software engineering
-
Type inference for spreadsheets
-
UCheck: A spreadsheet type checker for end users
-
Visual specifications of correct spreadsheets