UCheck: A spreadsheet type checker for end users

Journal of Visual Languages and Computing

Volumn 18, Issue 1, 2007, Pages 71-95

  Abraham, Robin ^a   Erwig, Martin ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

Automatic error detection; Debugging; End user software engineering; Spreadsheet; Type; Unit

Indexed keywords

EID: 33845578684     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2006.06.001     Document Type: Article

References (41)

1. R.R. Panko, Spreadsheet errors: what we know, what we think we can do, in: Symposium of the European Spreadsheet Risks Interest Group (EuSpRIG), 2000.
2. Scaffidi C., Shaw M., and Myers B. Estimating the numbers of end users and end user programmers. IEEE Symposium on Visual Languages and Human-Centric Computing (2005) 207-214
3. Teo T., and Tan M. Quantitative and qualitative errors in spreadsheet development. 30th Hawaii International Conference on System Sciences (1997) 25-38
4. Rajalingham K., Chadwick D., Knight B., and Edwards D. Quality control in spreadsheets: a software engineering-based approach to spreadsheet development. 33rd Hawaii International Conference on System Sciences (2000) 1-9
5. Tukiainen M. Uncovering effects of programming paradigms: errors in two spreadsheet systems. 12th Workshop of the Psychology of Programming Interest Group (PPIG) (2000) 247-266
6. K. Rajalingham, D.R. Chadwick, B. Knight, Classification of spreadsheet errors, in: Symposium of the European Spreadsheet Risks Interest Group (EuSpRIG), 2001.
7. D. Cullen, Excel snafu costs firm $24M, The Register, June 2003.
8. J. Gallob, LinCom nears budget resolution, Newport News Times, May 2004.
9. A. Givens, Brookhaven Corruption Probe, Investigators Made Mistakes, March 2004, 〈Newsday.com〉.
10. K. Godfrey, Computing error at fidelity's Magellan fund, in: Forum on Risks to the Public in Computers and Related Systems, January 1995.
11. Solution Matrix Ltd, We just lost our negotiating elbow room: the pitfalls of excel, Cost/Benefit Newsletter, June 2004.
12. R.E. Smith, University of Toledo loses $2.4M in projected revenue, Toledo Blade, May 2004.
13. A. Scott, Shurgard stock dives after auditor quits over company's accounting. The Seattle Times, November 2003.
14. EuSpRIG, European Spreadsheet Risks Interest Group, 〈http://www.eusprig.org/〉.
15. M. Erwig, M.M. Burnett, Adding apples and oranges, in: Fourth International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, vol. 2257, 2002, pp. 173-191.
16. Abraham R., and Erwig M. Header and unit inference for spreadsheets through spatial analyses. IEEE International Symposium on Visual Languages and Human-Centric Computing (2004) 165-172
17. Burnett M.M., and Erwig M. Visually customizing inference rules about apples and oranges. Second IEEE International Symposium on Human-Centric Computing Languages and Environments (2002) 140-148
18. Ahmad Y., Antoniu T., Goldwater S., and Krishnamurthi S. A type system for statically detecting spreadsheet errors. 18th IEEE International Conference on Automated Software Engineering (2003) 174-183
19. Blackwell A. First steps in programming: a rationale for attention investment models. IEEE Symposium on Human-Centric Computing Languages and Environments (2002) 2-10
20. EUSES, End Users Shaping Effective Software, 〈http://EUSESconsortium.org〉.
21. US Department of Education, Audit of the Colorado student loan program's establishment and use of federal and operating funds for the federal family education loan program, Report ED-OIG/A07-C0009, July 2003.
22. US Department of Health and Human Services, Review of medicare bad debts at Pitt County Memorial Hospital, Report A-04-02-02016, January 2003.
23. Filby G. Spreadsheets in Science and Engineering (1995), Springer, Berlin
24. R. Abraham, M. Erwig, Mutation testing of spreadsheets, Technical Report CS 06-60-03, School of EECS, Oregon State University, July 2006.
25. J. Lawrance, R. Abraham, M. Burnett, M. Erwig, Sharing reasoning about faults in spreadsheets: an empirical study, in: IEEE International Symposium on Visual Languages and Human-Centric Computing, 2006, to appear.
26. Rothermel G., Burnett M.M., Li L., DuPuis C., and Sheretov A. A methodology for testing spreadsheets. ACM Transactions on Software Engineering and Methodology (2001) 110-147
27. Erwig M., Abraham R., Cooperstein I., and Kollmansberger S. Automatic generation and maintenance of correct spreadsheets. 27th IEEE International Conference on Software Engineering (2005) 136-145
28. Erwig M., Abraham R., Cooperstein I., and Kollmansberger S. Gencel-a program generator for correct spreadsheets. Journal of Functional Programming 16 3 (2006) 293-325
29. Isakowitz T., Schocken S., and Lucas Jr. H.C. Toward a logical/physical theory of spreadsheet modelling. ACM Transactions on Information Systems 13 1 (1995) 1-37
30. Yoder A.G., and Cohn D.L. Real spreadsheets for real programmers. International Conference on Computer Languages (1994) 20-30
31. Ronen B., Palley M.A., and Lucas Jr. H.C. Spreadsheet analysis and design. Communications of the ACM 32 1 (1989) 84-93
32. Panko R.R. Applying code inspection to spreadsheet testing. Journal of Management Information Systems 16 2 (1999) 159-176
33. Burnett M.M., Cook C., Summet J., Rothermel G., and Wallace C. End-user software engineering with assertions. 25th IEEE International Conference on Software Engineering (2003) 93-103
34. Peyton Jones S.L., Blackwell A., and Burnett M.M. A user-centered approach to functions in excel. ACM International Conference on Functional Programming (2003) 165-176
35. Blackwell A.F., and Green T.R.G. Notational systems-the cognitive dimensions of notations framework. HCI Models, Theories, and Frameworks: Toward and Interdisciplinary Science (2003) 103-133
36. Burnett M.M., Atwood J., Djang R., Gottfried H., Reichwein J., and Yang S. Forms/3: a first-order visual language to explore the boundaries of the spreadsheet paradigm. Journal of Functional Programming 11 2 (2001) 155-206
37. Fisher II M., Cao M., Rothermel G., Cook C., and Burnett M.M. Automated test case generation for spreadsheets. 24th IEEE International Conference on Software Engineering (2002) 141-151
38. Prabhakarao S., Cook C., Ruthruff J., Creswick E., Main M., Durham M., and Burnett M. Strategies and behaviors of end-user programmers with interactive fault localization. IEEE International Symposium on Human-Centric Computing Languages and Environments (2003) 203-210
39. Ruthruff J., Creswick E., Burnett M.M., Cook C., Prabhakararao S., Fisher II M., and Main M. End-user software visualizations for fault localization. ACM Symposium on Software Visualization (2003) 123-132
40. Antoniu T., Steckler P.A., Krishnamurthi S., Neuwirth E., and Felleisen M. Validating the unit correctness of spreadsheet programs. 26th IEEE International Conference on Software Engineering (2004) 439-448
41. Abraham R., Erwig M., Kollmansberger S., and Seifert E. Visual specifications of correct spreadsheets. IEEE International Symposium on Visual Languages and Human-Centric Computing (2005) 189-196