Novice mistakes: are the folk wisdoms correct?
Communications of the ACM
Programming pascal with physical units
ACM SIGPLAN Notices
Analyzing the high frequency bugs in novice programs
Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers
Novice programmer errors: language constructs and plan composition
International Journal of Human-Computer Studies
The reuse of uses in Smalltalk programming
ACM Transactions on Computer-Human Interaction (TOCHI)
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
IEEE Transactions on Software Engineering
An experimental evaluation of data type conventions
Communications of the ACM
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Quantitative and Qualitative Errors in Spreadsheet Development
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information System Track-Organizational Systems and Technology - Volume 3
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
Proceedings of the 27th international conference on Software engineering
Osprey: a practical type system for validating dimensional unit correctness of C programs
Proceedings of the 28th international conference on Software engineering
Type inference for spreadsheets
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative 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
UCheck: A spreadsheet type checker for end users
Journal of Visual Languages and Computing
Automatic detection of dimension errors in spreadsheets
Journal of Visual Languages and Computing
Gathering domain knowledge from spreadsheets
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Automatically extracting class diagrams from spreadsheets
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
The state of the art in end-user software engineering
ACM Computing Surveys (CSUR)
End-user debugging strategies: A sensemaking perspective
ACM Transactions on Computer-Human Interaction (TOCHI)
| Hi-index | 0.00 |
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on spreadsheet safety aimed at high school teachers and students. We present the results from a think-aloud study we conducted with five high school teachers and one high school student as the subjects. The study is the first ever to investigate the usability of a type system in spreadsheets. We discovered that end users can effectively use the system to debug a variety of errors in their spreadsheets. This result is encouraging given that type systems are difficult even for programmers. Since the subjects had difficulty debugging "non-local" unit errors, we devised new methods to improve the error-location inference. We also extended the system to generate change suggestions for cells with unit errors, which when applied, would correct unit errors. These extensions solved the problem that the study revealed in the original system.