Effective Testing and Debugging Techniques for a Group Communication System. - Eitan Farchi; Gabriel Kliot; Yoel Krasny; Alex Krits; Roman Vitenberg (DSN, 2005)