Brief announcement: techniques for programmatically troubleshooting distributed systems
Configuration Debugging as Search: Finding the Needle in the Haystack