A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.

Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario

Browse the full SEFM paper archive.