Testing Idempotence for Infrastructure as Code
Configuration Debugging as Search: Finding the Needle in the Haystack