Effective static race detection for Java.

Mayur Naik Alex Aiken John Whaley

Published in: PLDI (2006)

Keyphrases

detection algorithm
data sets
automatic detection
cost effective
detection method
object detection
computationally efficient
lightweight
detection scheme
database
test cases
anomaly detection
object oriented
mobile robot
expert systems
object recognition
high level
website