STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support
Using computers to diagnose computer problems