Automated and Algorithmic Debugging

Debugging has always been a costly part of softwaredevelopment, and many attempts have been made to provideautomatic computer support for this task. Automateddebugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, whichoriginated in logic programming but was later generalized toconcurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-basedprogram debugging, and in approaches to automated debuggingbased on static and dynamic program slicing based ondataflow and dependence analysis technology. This is thefirst collected volume of papers on automated debugging andpresents latest developments, tutorial papers, and surveys.