Static Detection of Race Conditions in Erlang.

Maria Christakis Konstantinos Sagonas

Published in: PADL (2010)

Keyphrases

false alarms
sufficient conditions
false positives
detection algorithm
oil spill
detection accuracy
detection method
automated detection
automatic detection
anomaly detection
detection rate
object detection
three dimensional
change detection
event detection
digital images
data structure
multiscale
similarity measure