Implementation of an Optimal Strategy for
David Insa, Josep Silva · 2011
One of the most automatic debugging techniques is Algorithmic Debugging because it allows us to debug a program without the need to inspect the source code. In order to nd a bug, an algorithmic debugger asks questions to the programmer about the correctness of subcomputations in an execution. Reducing the number and complexity of these questions is an old objective in this eld. Recently, an strategy for algorithmic debuggers that minimizes the number of questions has been released. This new strategy is called Optimal Divide and Query and, provided that all questions can be answered, it nds any bug in the source code with a minimum set of questions. In this work we discuss the implementation of such a strategy in dierent algorithmic debugging architectures.