A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems | Publicación