Static Versioning of Global State for Race Condition Detection.

Published in: Ada-Europe (2010)

Keyphrases

false positives
automatic detection
object detection
database
detection method
detection rate
automated detection
neural network
web pages
case study
bayesian networks
detection accuracy
false positive rate