Automated and Algorithmic Debugging