GoalDebug: A spreadsheet debugger for end users

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 251-260

  Abraham, Robin ^a   Erwig, Martin ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; SOFTWARE ENGINEERING; SPREADSHEETS; USER INTERFACES;

INFERENCE PROCESSES; RANKING HEURISTICS; SPREADSHEET DEBUGGERS; SYSTEMATIC EVALUATION;

PROGRAM DEBUGGING;

EID: 34548795909     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.39     Document Type: Conference Paper

References (28)

1. R. Abraham and M. Erwig. Goal-Directed Debugging of Spreadsheets. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 37-44, 2005.
2. R. Abraham and M. Erwig. AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 43-50, 2006.
3. R. Abraham and M. Erwig. Inferring Templates from Spreadsheets. In 28th IEEE Int. Conf. on Software Engineering, pages 182-191, 2006.
4. R. Abraham and M. Erwig. UCheck: A Spreadsheet Unit Checker for End Users. Journal of Visual Languages and Computing, 18(1):71-95, 2007.
5. Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi. A Type System for Statically Detecting Spreadsheet Errors. In 18th IEEE Int. Conf. on Automated Software Engineering, pages 174-183, 2003.
6. C. Allwood. Error Detection Processes in Statistical Problem Solving. Cognitive Science, 8(4):413-437, 1984.
7. T. Antoniu, P. A. Steckler, S. Krishnamurthi, E. Neuwirth, and M. Felleisen. Validating the Unit Correctness of Spreadsheet Programs. In 26th IEEE Int. Conf. on Software Engineering, pages 439-448, 2004.
8. M. M. Burnett, A. Sheretov, B. Ren, and G. Rothermel. Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology. IEEE Transactions on Software Engineering, 29(6):576-594, 2002.
9. M. Erwig, R. Abraham, S. Kollmansberger, and I. Cooperstein. Gencel - A Program Generator for Correct Spread-sheets. Journal of Functional Programming, 16(3):293-325, 2006.
10. M. Erwig and M. M. Burnett. Adding Apples and Oranges. In 4th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 2257, pages 173-191, 2002.
11. EuSpRIG. European Spreadsheet Risks Interest Group. http://www.eusprig. org/.
12. M. Fisher, G. Rothermel, D. Brown, M. Cao, C. Cook, and B. Burnett. Integrating Automated Test Generation into the WYSIWYT Spreadsheet Testing Methodology. ACM Trans. on Software Engineering and Methodology, 15:150-194, 2006.
13. M. Fisher II and G. Rothermel. The EUSES Spreadsheet Corpus: A Shared Resource for Supporting Experimentation with Spreadsheet Dependability Mechanism. In 1st Workshop on End-User Software Engineering, pages 47-51, 2005.
14. T. Isakowitz, S. Schocken, and H. C. Lucas, Jr. Toward a Logical/Physical Theory of Spreadsheet Modelling. ACM Transactions on Information Systems, 13(1):1-37, 1995.
15. A. J. Ko and B. A. Myers. Designing the Whyline: A Debugging Interface for Asking Questions about Program Behavior. In Int. Conf. on Human Factors in Computing Systems, pages 151-158, 2004.
16. R. Mittermeir and M. Clermont. Finding High-Level Structures in Spreadsheet Programs. In 9th Working Conference on Reverse Engineering, pages 221-232, 2002.
17. A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf. An Experimental Determination Of Sufficient Mutant Operators. ACM Trans. on Software Engineering and Methodology, 5(2):99-118, 1996.
18. J. F. Pane, C. A. Ratanamahatana, and B. A. Myers. Studying the Language and Structure in Non-Programmers' Solutions to Programming Problems. Int. Journal of Human-Computer Studies, 54:237-264, 2001.
19. R. R. Panko. Applying Code Inspection to Spreadsheet Testing. Journal of Management Information Systems, 16(2):159-176, 1999.
20. R. R. Panko. Spreadsheet Errors: What We Know. What We Think We Can Do. In Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2000.
21. A. Phalgune, C. Kissinger, M. Burnett, C. Cook, L. Beckwith, and J. Ruthruff. Garbage In, Garbage Out? An Empirical Look at Oracle Mistakes by End-User Programmers. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 45-52, 2005.
22. K. Rajalingham, D. Chadwick, B. Knight, and D. Edwards. Quality Control in Spreadsheets: A Software Engineering-Based Approach to Spreadsheet Development. In 33rd Hawaii Int. Conf. on System Sciences, pages 1-9, 2000.
23. G. Rothermel, M. M. Burnett, L. Li, C. DuPuis, and A. Sheretov. A Methodology for Testing Spreadsheets. ACM Transactions on Software Engineering and Methodology, pages 110-147, 2001.
24. J. Ruthruff, E. Creswick, M. M. Burnett, C. Cook, S. Prabhakararao, M. Fisher II, and M. Main. End-User Software Visualizations for Fault Localization. In ACM Symp. on Software Visualization, pages 123-132, 2003.
25. J. Sajaniemi. Modeling Spreadsheet Audit: A Rigorous Approach to Automatic Visualization. Journal of Visual Languages and Computing, 11:49-82, 2000.
26. C. Scaffidi, M. Shaw, and B. Myers. Estimating the Numbers of End Users and End User Programmers. In IEEE Symp. on Visual Languages and Human-Centric Computing, pages 207-214, 2005.
27. G. Tassey. The Economic Impacts of Inadequate Infrastructure for Software Testing. National Institute of Standards and Technology, RTI Project Number 7007.011, 2002.
28. A. G. Yoder and D. L. Cohn. Real Spreadsheets for Real Programmers. In Int. Conf. on Computer Languages, pages 20-30, 1994.