Effective testing and debugging techniques for a group communication systemEitan FarchiGabi Kliotet al.2005DSN 2005