An experimental study of people creating spreadsheets
ACM Transactions on Information Systems (TOIS)
Graphical techniques in a spreadsheet for specifying user interfaces
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The semantic approach to program slicing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The Rendezvous architecture and language for constructing multiuser applications
ACM Transactions on Computer-Human Interaction (TOCHI)
User interface specification using an enhanced spreadsheet model
ACM Transactions on Graphics (TOG)
Constraint satisfaction and debugging for interactive user interfaces
Constraint satisfaction and debugging for interactive user interfaces
An empirical study of constraint usage in graphical applications
Proceedings of the 9th annual ACM symposium on User interface software and technology
Proceedings of the 9th annual ACM symposium on User interface software and technology
The Amulet Environment: New Models for Effective User Interface Software Development
IEEE Transactions on Software Engineering
Incremental evaluation of computational circuits
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
End-user software engineering with assertions in the spreadsheet paradigm
Proceedings of the 25th International Conference on Software Engineering
Fluid Visualization of Spreadsheet Structures
VL '98 Proceedings of the IEEE Symposium on Visual Languages
Designing the whyline: a debugging interface for asking questions about program behavior
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Lessons learned from programmers' experiences with one-way constraints: Research Articles
Software—Practice & Experience
NeL2: network drawing tool for handling layered structured network diagram
APVis '06 Proceedings of the 2006 Asia-Pacific Symposium on Information Visualisation - Volume 60
| Hi-index | 0.00 |
This paper describes a domain-specific debugger for one-way constraint solvers. The debugger makes use of several new techniques. First, the debugger displays only a portion of the dataflow graph, called a constraint slice, that is directly related to an incorrect variable. This technique helps the debugger scale to a system containing thousands of constraints. Second, the debugger presents a visual representation of the solver's data structures and uses color encodings to highlight changes to the data structures. Finally, the debugger allows the user to point to a variable that has an unexpected value and ask the debugger to suggest reasons for the unexpected value. The debugger makes use of information gathered during the constraint satisfaction process to generate plausible suggestions. Informal testing has shown that the explanatory capability and the color coding of the constraint solver's data structures are particularly useful in locating bugs in constraint code.