A Survey of Algorithmic Debugging

A survey on algorithmic debugging strategies

Algorithmic debugging is a debugging technique that has been extended to practically all programming paradigms. Roughly speaking, the technique constructs an internal representation of all (sub)computations performed during the execution of a buggy program; and then, it asks the programmer about the correctness of such computations. The answers of the programmer guide the search for the bug unt...

Algorithmic Debugging: A Road Map

a structural survey of the polish posters

تصویرسازی قابلیتهای فراوانی را دارا است

Algorithmic Debugging with Assertions

Algorithmic debugging, as presented by Shapiro, is an interactive process where the debugging system acquires knowledge about the expected meaning of a program being debugged and uses it to localize errors. This paper suggests a generalization of the language used to communicate with the debugger. In addition to the usual “yes” and “no” answers, formal specifications of some properties of the i...

Strategies for Algorithmic Debugging