daily. At such velocity, configuration changes have inevitably become prevalent causes of
production failures. Existing misconfiguration detection and configuration validation
techniques only check configuration values. These techniques cannot detect common types
of failure-inducing configuration changes, such as those that cause code to fail or those that
violate hidden constraints.