LOCKSMITH: Practical static race detection for C.

Polyvios Pratikakis Jeffrey S. Foster Michael Hicks

Published in: ACM Trans. Program. Lang. Syst. (2011)

Keyphrases

automatic detection
detection rate
false positives
detection method
three dimensional
object detection
detection scheme
real world
detection algorithm
change detection
information systems
practical application
practical problems
video sequences
knowledge base
web pages
event detection
database