O Edelstein,
E Farchi, Y Nir, G Ratsaby… - IBM systems …, 2002 - ieeexplore.ieee.org
We describe ConTest, a tool for detecting synchronization faults in multithreaded Java™
programs. The program under test is seeded with a sleep (), yield (), or priority () primitive at …