Yi-Min Wang, Chad Verbowski, John Dunagan, Yu Chen, Helen J. Wang, Chun Yuan, Zheng Zhang. Strider: a black-box, state-based approach to change and configuration management and support. Science of Computer Programming, 53(2):143-164, 2004. [doi]
Abstract is missing.