Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington.