Aspect-Oriented Race Detection in Java. - Bodden, Eric; Havelund, Klaus (IEEE Transactions on Software Engineering, 2010)