AADEBUG Automated and Algorithmic DEBUGging