AutoBash: improving configuration management with operating system causality analysis
STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support