Detailed diagnosis in enterprise networks
STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support