User Recovery and Reversal in Interactive Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
The design and implementation of a table driven, interactive diagnostic programming system
Communications of the ACM
Communications of the ACM
An Execution-Backtracking Approach to Debugging
IEEE Software
PROVIDE: A Process Visualization and Debugging Environment
IEEE Transactions on Software Engineering
Assembly instruction level reverse execution for debugging
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic Reverse Code Generation for Backward Execution
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.06 |