Scaling up an end-user dependability framework for spreadsheets

The WYSIWYT (What You See is What You Test) methodology applies formal analysis\ud and testing techniques to the spreadsheet paradigm. So far the methodology has been applied\ud to a research spreadsheet prototype, Forms/3. However, this prototype lacks the mathematical\ud libraries, referential functions, ranges, and macros of commercial spreadsheets like Excel and\ud Lotus 1-2-3. Study subjects are also accustomed to the grid-like interface of commercial spreadsheet\ud packages and many spreadsheets of interest are available in the Excel file format. This\ud project addresses these areas by implementing WYSIWYT in Microsoft Excel and Gnumeric