Andrew Whitaker Richard S. Cox Steven D. Gribble Configuration Debugging as Search: Finding the Needle in the Haystack. 77-90 2004 OSDI http://www.usenix.org/events/osdi04/tech/whitaker.html db/conf/osdi/osdi2004.html#WhitakerCG04