Rational debugging in logic programming
Proceedings on Third international conference on logic programming
Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
GIDTS: a graphical programming environment for Prolog
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Algorithmic Program DeBugging
A Generalised Query Minimisation for Program Debugging
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
A declarative debugger of incorrect answers for constraint functional-logic programs
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Combining algorithmic debugging and program slicing
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models
Debugging Lazy Functional Programs by Asking the Oracle
Implementation and Application of Functional Languages
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science (ENTCS)
State of the Practice in Algorithmic Debugging
Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative diagnosis of missing answers in constraint functional-logic programming
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Enhancing the debugging of Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A complete declarative debugger for Maude
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Scaling up algorithmic debugging with virtual execution trees
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
A survey on algorithmic debugging strategies
Advances in Engineering Software
What's the matter with Kansas Lava?
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
A generic solution for agile run-time inspection middleware
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
An optimal strategy for algorithmic debugging
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Implementation of an Optimal Strategy for Algorithmic Debugging
Electronic Notes in Theoretical Computer Science (ENTCS)
Simplifying questions in maude declarative debugger by transforming proof trees
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
A generic solution for agile run-time inspection middleware
Proceedings of the 12th International Middleware Conference
| Hi-index | 0.00 |
Algorithmic debugging is a debugging technique that has been extended to practically all programming paradigms. It is based on the answers of the programmer to a series of questions generated automatically by the algorithmic debugger. Therefore, the performance of the technique is strongly dependent on the number and the complexity of these questions. In this work we overview and compare current strategies for algorithmic debugging and we introduce some new strategies and discuss their advantages over previous approaches.