Automatically Generating Predicates and Solutions for Configuration Troubleshooting.

Ya-Yunn Su, Jason Flinn

Browse the full USENIX paper archive.