A testing-based approach to ensure the safety of shared resource concurrent systems | Publicación