Test-driven goal-directed debugging in spreadsheets

Proceedings - 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008

Volumn , Issue , 2008, Pages 131-138

  Abraham, Robin ^a   Erwig, Martin ^b  

^a MICROSOFT   (United States)

^b OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTS; AUTOMATICALLY GENERATED; AUTOMATICALLY GENERATES; FIRST ORDERS; INPUT/OUTPUT; MS EXCEL; MUTATION OPERATORS; SYSTEM USING; TEST CASES;

ANIMAL CELL CULTURE; ERROR CORRECTION; ERROR DETECTION; LINGUISTICS; SPREADSHEETS;

AUTOMATIC TEST PATTERN GENERATION;

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

References (28)

1. R. Abraham and M. Erwig. AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 43-50, 2006.
2. R. Abraham and M. Erwig. GoalDebug: A Spreadsheet Debugger for End Users. 29th IEEE Int. Conf. on Software Engineering, pp. 251-260, 2007.
3. R. Abraham and M. Erwig. UCheek: A Spreadsheet Unit Checker for End Users. Journal of Visual Languages and Computing, 18(1):71-95, 2007.
4. R. Abraham and M. Erwig. Mutation Operators for Spreadsheets. IEEE Trans. on Software Engineering, 2008. To appear.
5. R. Abraham, M. Erwig, and S. Andrew. A Type System Based on End-User Vocabulary. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 215-222, 2007.
6. Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi. A Type System for Statically Detecting Spreadsheet Errors. 18th IEEE Int. Conf. on Automated Software Engineering, pp. 174-183, 2003.
7. C. Allwood. Error Detection Processes in Statistical Problem Solving. Cognitive Science, 8(4):413-437, 1984.
8. T. Antoniu, P. A. Steckler, S. Krishnamurthi, E. Neuwirth, and M. Felleisen. Validating the Unit Correctness of Spreadsheet Programs. 26th IEEE Int. Conf. on Software Engineering, pp. 439-448, 2004.
9. M. M. Burnett, C. Cook, J. Summet, G. Rothermel, and C. Wallace. End-User Software Engineering with Assertions. 25thlEEE Int. Conf. on Software Engineering, pp. 93-103, 2003.
10. M. J. Coblenz, A. J. Ko, and B. A. Myers. Using Objects of Measurement to Detect Spreadsheet Errors. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 314-316, 2005.
11. G. J. Croll. The Importance and Criticality of Spreadsheets in the City of London. Symp. of European Spreadsheet Risks Interest Group (EuSpRIG), 2005.
12. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on Test Data Selection: Help For the Practicing Programmer. IEEE Computer, 11(4):34-41, 1978.
13. EuSpRIG. European Spreadsheet Risks Interest Group. http://www.eusprig. org/.
14. M. Fisher II, 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.
15. R. G. Hamlet. Testing Programs With the Aid of a Compiler. IEEE Transactions on Software Engineering, 3(4):279-290, July 1977.
16. 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.
17. A. J. Ko and B. A. Myers. Designing the Whyline: A Debugging Interface for Asking Questions about Program Behavior. Int. Conf. on Human Factors in Computing Systems, pp. 151-158, 2004.
18. R. Mittermeir and M. Clermont. Finding High-Level Structures in Spreadsheet Programs. 9th Working Conference on Reverse Engineering, pp. 221-232, 2002.
19. 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.
20. R. R. Panko. Applying Code Inspection to Spreadsheet Testing. Journal of Management Information Systems, 16(2): 159-176, 1999.
21. R. R. Panko. Spreadsheet Errors: What We Know. What We Think We Can Do. Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2000.
22. 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. IEEE Int. Symp. on Human-Centric Computing Languages and Environments, pp. 203-210, 2003.
23. K. Rajalingham, D. Chadwick, B. Knight, and D. Edwards. Quality Control in Spreadsheets: A Software Engineering- Based Approach to Spreadsheet Development. 33rd Hawaii Int. Conf. on System Sciences, pp. 1-9, 2000.
24. G. Rothermel, M. M. Burnett, L. Li, C. DuPuis, and A. Sheretov. A Methodology for Testing Spreadsheets. ACM Transactions on Software Engineering and Methodology, pp. 110-147, 2001.
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. IEEE Symp. on Visual Languages and Human-Centric Computing, pp. 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. Int. Conf. on Computer Languages, pp. 20-30, 1994.