Deterministic dynamic race detection across program versions.

Sri Varun Poluri Murali Krishna Ramanathan

Published in: ICSME (2015)

Keyphrases

automatic detection
detection accuracy
object detection
detection algorithm
false positives
probabilistic model
machine learning
detection scheme
program execution
database
static analysis
change detection
detection method
multi agent systems
multiscale
image segmentation
computer vision
data sets