Thread-Sensitive Data Race Detection for Java | IEEE Conference Publication | IEEE Xplore