Songyun Duan Shivnath Babu Empirical Comparison of Techniques for Automated Failure Diagnosis. 2008 SysML http://www.usenix.org/events/sysml08/tech/full_papers/duan/duan.pdf conf/osdi/2008sysml db/conf/osdi/sysml2008.html#DuanB08