STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support
Bug isolation via remote program sampling