Goal-directed debugging of spreadsheets

Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Volumn 2005, Issue , 2005, Pages 37-44

  Abraham, Robin ^a   Erwig, Martin ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

Debugging; End User Software Engineering; Spreadsheet; Static Analysis

Indexed keywords

END-USER SOFTWARE ENGINEERING; GOAL-DIRECTED DEBUGGING; INFERENCE SYSTEMS; STATIC ANALYSIS;

COMPUTATION THEORY; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; DATA PROCESSING; INFERENCE ENGINES; INTERACTIVE COMPUTER SYSTEMS; PROGRAM DEBUGGING; USER INTERFACES;

SPREADSHEETS;

EID: 33745838881     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2005.42     Document Type: Conference Paper

References (15)

1. R. Abraham and M. Erwig. Header and Unit Inference for Spreadsheets Through Spatial Analyses. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 165-172, 2004.
2. 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.
3. Y. Ayalew and R. Mittermeir. Spreadsheet Debugging. In European Spreadsheet Risks Interest Group, 2003.
4. M. M. Burnett, C. Cook, J. Summet, G. Rothermel, and C. Wallace. End-user Software Engineering with Assertions. In 25th IEEE Int. Conf. on Software Engineering, pages 93-103, 2003.
5. M. Erwig, R. Abraham, I. Cooperstein, and S. Kollmansberger. Automatic Generation and Maintenance of Correct Spreadsheets. In 27th IEEE Int. Conf. on Software Engineering, pages 136-145, 2005.
6. 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.
7. M. Fisher II, M. Cao, G. Rothermel, C. Cook, and M. M. Burnett. Automated Test Case Generation for Spreadsheets. In 24th IEEE Int. Conf. on Software Engineering, pages 141-151, 2002.
8. A. J. Ko and B. A. Myers. Designing the whyline: a debugging interface for asking questions about program behavior. In Proceedings of the 2004 conference on Human factors in computing systems, pages 151-158. ACM Press, 2004.
9. R. Mittermeir and M. Clermont. Finding High-Level Structures in Spreadsheet Programs. In 9th Working Conference on Reverse Engineering, pages 221-232, 2002.
10. 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, to appear, 2005.
11. S. Prabhakarao, C. Cook, J. Ruthruff, E. Creswick, M. Main, M. Durham, and M. Burnett. Strategies and Behaviors of End-User Programmers with Interactive Fault Localization. In IEEE Int. Symp. on Human-Centric Computing Languages and Environments, pages 203-210, 2003.
12. K. Rajalingham, D. R. Chadwick, and B. Knight. Classification of Spreadsheet Errors. Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2001.
13. 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.
14. 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.
15. B. T. V. Zanden, D. Baker, and J. Jin. An explanation-based, visual debugger for one-way constraints. In Proc. of the 17th annual ACM symp. on User interface software and technology, pages 207-216, 2004.