RacerX: effective, static detection of race conditions and deadlocks.

Dawson R. Engler Ken Ashcraft

Published in: SOSP (2003)

Keyphrases

detection method
automatic detection
detection accuracy
object detection
sufficient conditions
detection scheme
real world
computer vision
image processing
artificial neural networks
medical images
false positives