Thread-Sensitive Data Race Detection for Java.

Stefan Schulz, Emanuel Herrendorf, Christoph Bockisch

Browse the full APSEC paper archive.