Unit tests for SynchronizationManager