Testing Concurrent Systems Through Event Structures