Comparison-Based File Server Verification. - Yuen-Lin Tan; Terrence Wong; John D. Strunk; Gregory R. Ganger (USENIX ATC, General Track, 2005)