AADEBUG: Automated analysis-driven debugging