Racer: effective race detection using aspectj.

Eric Bodden, Klaus Havelund

Browse the full ISSTA paper archive.