@inproceedings {267677,
	author = {Ya-Yunn Su and Jason Flinn},
	title = {Automatically Generating Predicates and Solutions for Configuration Troubleshooting},
	booktitle = {2009 USENIX Annual Technical Conference (USENIX ATC 09)},
	year = {2009},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/usenix-09/automatically-generating-predicates-and-solutions-configuration-troubleshooting},
	publisher = {USENIX Association},
	month = jun
}
