Spreadsheet analysis and design
Communications of the ACM
Toward a logical/physical theory of spreadsheet modeling
ACM Transactions on Information Systems (TOIS)
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on Software Engineering
Spreadsheets in Science and Engineering
Spreadsheets in Science and Engineering
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
End-user software visualizations for fault localization
Proceedings of the 2003 ACM symposium on Software visualization
End-user software engineering with assertions in the spreadsheet paradigm
Proceedings of the 25th International Conference on Software Engineering
Visually Customizing Inference Rules About Apples and Oranges
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
First Steps in Programming: A Rationale for Attention Investment Models
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
Quality Control in Spreadsheets: A Software Engineering-Based Approach to Spreadsheet Development
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 4 - Volume 4
Two Corpuses of Spreadsheet Errors
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 4 - Volume 4
A user-centred approach to functions in Excel
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
Header and Unit Inference for Spreadsheets Through Spatial Analyses
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Automatic generation and maintenance of correct spreadsheets
Proceedings of the 27th international conference on Software engineering
Visual Specifications of Correct Spreadsheets
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Estimating the Numbers of End Users and End User Programmers
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Gencel: a program generator for correct spreadsheets
Journal of Functional Programming
Strategies and behaviors of end-user programmers with interactive fault localization
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Sharing reasoning about faults in spreadsheets: An empirical study
VLHCC '06 Proceedings of the Visual Languages and Human-Centric Computing
Applying code inspection to spreadsheet testing
Journal of Management Information Systems - Special section: Strategic and competitive information systems
GoalDebug: A Spreadsheet Debugger for End Users
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Type System Based on End-User Vocabulary
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Testing vs. code inspection vs. what else?: male and female end users' debugging strategies
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Design planning by end-user web developers
Journal of Visual Languages and Computing
From spreadsheets to relational databases and back
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Automatic detection of dimension errors in spreadsheets
Journal of Visual Languages and Computing
A strategy-centric approach to the design of end-user debugging tools
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Reasoning about spreadsheets with labels and dimensions
Journal of Visual Languages and Computing
The state of the art in end-user software engineering
ACM Computing Surveys (CSUR)
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
Model-based programming environments for spreadsheets
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Automatic web spreadsheet data extraction
Proceedings of the 3rd International Workshop on Semantic Search Over the Web
Senbazuru: a prototype spreadsheet database management system
Proceedings of the VLDB Endowment
Improving spreadsheet test practices
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
Comparing or configuring products: are we getting the right ones?
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
Spreadsheets are widely used, and studies have shown that most end-user spreadsheets contain non-trivial errors. Most of the currently available tools that try to mitigate this problem require varying levels of user intervention. This paper presents a system, called UCheck, that detects errors in spreadsheets automatically. UCheck carries out automatic header and unit inference, and reports unit errors to the users. UCheck is based on two static analyses phases that infer header and unit information for all cells in a spreadsheet. We have tested UCheck on a wide variety of spreadsheets and found that it works accurately and reliably. The system was also used in a continuing education course for high school teachers, conducted through Oregon State University, aimed at making the participants aware of the need for quality control in the creation of spreadsheets.