The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

Jakob Mund Ralf Huuck Ansgar Fehnker Cyrille Artho

Published in: ATVA (2013)

Keyphrases

data sets
static analysis
training data
data analysis
data collection
database
data sources
data points
data structure
case study
knowledge discovery
object detection
data mining techniques
data processing
dynamic analysis