Waldemar Hummer, Florian Rosenberg, Fábio Oliveira, Tamar Eilam: Automated testing of chef automation scripts. Middleware Demo & Poster Track 2013: 4:1-4:2