An Architecture for Testing Synchronous Multiuser Software