Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs.

Yan Cai W. K. Chan

Published in: IEEE Trans. Software Eng. (2014)

Keyphrases

detection method
detection algorithm
automatic detection
detection rate
detection accuracy
false positives
detection scheme
web scale
object detection
case study
multimedia
false alarms
learning algorithm
static analysis
highly scalable
genetic algorithm
data mining