Commutativity race detection.

Dimitar K. Dimitrov Veselin Raychev Martin T. Vechev Eric Koskinen

Published in: PLDI (2014)

Keyphrases

automatic detection
image sequences
object detection
detection method
false positives
detection rate
data mining
detection algorithm
detection accuracy
artificial intelligence
information systems
false alarms