Automatic detection of dimension errors in spreadsheets

Journal of Visual Languages and Computing

Volumn 20, Issue 4, 2009, Pages 269-283

  Chambers, Chris ^a   Erwig, Martin ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

Dimension; Error detection; Inference rule; Spreadsheet; Static analysis; Unit of measurement

Indexed keywords

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

References (38)

1. 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
2. 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
3. Ditlea S. Spreadsheets can be hazardous to your health. Personal Computing 11 1 (1987) 60-69
4. EuSpRIG, European spreadsheet risks interest group. 〈http://www.eusprig.org/〉.
5. Ronen B., Palley M.A., and Lucas Jr. H.C. Spreadsheet analysis and design. Communications of the ACM 32 1 (1989) 84-93
6. Yoder A.G., and Cohn D.L. Real spreadsheets for real programmers. International Conference on Computer Languages (1994) 20-30
7. 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
8. Powell S.G., and Baker K.R. The Art of Modeling with Spreadsheets: Management Science, Spreadsheet Engineering, and Modeling Craft (2004), Wiley, New York
9. 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
10. Erwig M., Abraham R., Kollmansberger S., and Cooperstein I. Gencel-a program generator for correct spreadsheets. Journal of Functional Programming 16 3 (2006) 293-325
11. 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
12. Engels G., and Erwig M. ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. 20th IEEE/ACM International Conference on Automated Software Engineering (2005) 124-133
13. Bals J.-C., Christ F., Engels G., and Erwig M. ClassSheets-model-based, object-oriented design of spreadsheet applications. Journal of Object Technologies 6 (2007)
14. Panko R.R. Applying code inspection to spreadsheet testing. Journal of Management Information Systems 16 2 (1999) 159-176
15. Sajaniemi J. Modeling spreadsheet audit: a rigorous approach to automatic visualization. Journal of Visual Languages and Computing 11 (2000) 49-82
16. Mittermeir R., and Clermont M. Finding high-level structures in spreadsheet programs. 9th Working Conference on Reverse Engineering (2002) 221-232
17. Weyuker E.J., Weiss S.N., and Hamlet D. Comparison of program testing strategies. Fourth Symposium on Software Testing, Analysis and Verification (1991) 154-164
18. G. Rothermel, M.M. Burnett, L. Li, C. DuPuis, A. Sheretov. A methodology for testing spreadsheets, ACM Transactions on Software Engineering and Methodology (2001) 110-147.
19. Burnett M.M., Sheretov A., Ren B., and Rothermel G. Testing homogeneous spreadsheet grids with the "What You See Is What You Test" methodology. IEEE Transactions on Software Engineering 29 6 (2002) 576-594
20. Fisher II M., Cao M., Rothermel G., Cook C., and Burnett M.M. Automated test case generation for spreadsheets. IEEE International Conference on Software Engineering (2002) 141-151
21. Abraham R., and Erwig M. AutoTest: a tool for automatic test case generation in spreadsheets. IEEE International Symposium on Visual Languages and Human-Centric Computing (2006) 43-50
22. Abraham R., and Erwig M. Mutation operators for spreadsheets. IEEE Transactions on Software Engineering 35 1 (2009) 94-108
23. Phalgune A., Kissinger C., Burnett M., Cook C., Beckwith L., and Ruthruff J. Garbage in, garbage out? An empirical look at oracle mistakes by end-user programmers. IEEE International Symposium on Visual Languages and Human-Centric Computing (2005) 45-52
24. Abraham R., and Erwig M. GoalDebug: a spreadsheet debugger for end users. 29th IEEE International Conference on Software Engineering (2007) 251-260
25. Abraham R., and Erwig M. Test-driven goal-directed debugging in spreadsheets. IEEE International Symposium on Visual Languages and Human-Centric Computing (2008) 131-138
26. Lawrence J., Abraham R., Burnett M.M., and Erwig M. Sharing reasoning about faults in spreadsheets: an empirical study. IEEE International Symposium on Visual Languages and Human-Centric Computing (2006) 35-42
27. Erwig M., and Burnett M.M. Adding apples and oranges. 4th International Symposium on Practical Aspects of Declarative Languages, LNCS vol. 2257 (2002) 173-191
28. 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
29. Abraham R., Erwig M., and Andrew S. A type system based on end-user vocabulary. IEEE International Symposium on Visual Languages and Human-Centric Computing (2007) 215-222
30. 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
31. D. Isbell, Mars climate orbiter team finds likely cause of loss, September 1999. 〈http://mars.jpl.nasa.gov/msp98/news/mco990930.html〉.
32. 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
33. Chambers C., and Erwig M. Dimension inference in spreadsheets. IEEE International Symposium on Visual Languages and Human-Centric Computing (2008) 123-130
34. Fisher M., and Rothermel G. The EUSES spreadsheet corpus: a shared resource for supporting experimentation with spreadsheet dependability mechanism. 1st Workshop on End-User Software Engineering (2005) 47-51
35. Pierce B.C. Types and Programming Languages (2002), MIT Press, Cambridge, MA
36. R. Rowlett, A dictionary of units of measurement, July 2005. 〈http://www.unc.edu/∼rowlett/units/index.html〉.
37. Abraham R., and Erwig M. UCheck: a spreadsheet unit checker for end users. Journal of Visual Languages and Computing 18 1 (2007) 71-95
38. Coblenz M.J., Ko A.J., and Myers B.A. Using objects of measurement to detect spreadsheet errors. IEEE Symposium on Visual Languages and Human-Centric Computing (2005) 314-316