Automated configuration problem solving (2012)