Answering why and why not questions in user interfaces
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Gencel: a program generator for correct spreadsheets
Journal of Functional Programming
Supporting end-user debugging: what do users want to know?
Proceedings of the working conference on Advanced visual interfaces
Inferring templates from spreadsheets
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
GoalDebug: A Spreadsheet Debugger for End Users
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Explaining Debugging Strategies to End-User Programmers
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Model-Driven Quality Assurance for End Users
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Debugging reinvented: asking and answering why and why not questions about program behavior
Proceedings of the 30th international conference on Software engineering
More natural end-user software engineering
Proceedings of the 4th international workshop on End-user software engineering
Finding causes of program output with the Java Whyline
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Extracting and answering why and why not questions about Java program output
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated fixing of programs with contracts
Proceedings of the 19th international symposium on Software testing and analysis
On the empirical evaluation of fault localization techniques for spreadsheets
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrect results. The system then generates change suggestions that could correct the error. Users can interactively explore, apply, refine, or reject these change suggestions. The computation of change suggestions is based on a formal inference system that propagates expected values backwards across formulas. The system is fully integrated into Microsoft Excel and can be used to automatically detect and correct various kinds of errors in spreadsheets. Test results show that the system works accurately and reliably.