Effective race detection for event-driven programs.

Veselin Raychev Martin T. Vechev Manu Sridharan

Published in: OOPSLA (2013)

Keyphrases

event driven
false positives
object detection
false alarms
detection accuracy
information delivery
detection method
automatic detection
computer vision
metadata
high quality
relational databases
detection algorithm
computer programs