A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software