Andrew Whitaker, Richard S. Cox, Steven D. Gribble: Configuration Debugging as Search: Finding the Needle in the Haystack. OSDI 2004: 77-90