A randomized dynamic program analysis technique for detecting real deadlocks.

Pallavi Joshi Chang-Seo Park Koushik Sen Mayur Naik

Published in: PLDI (2009)

Keyphrases

automatic detection
real life
dynamic environments
bayesian networks
preprocessing
management system
real time
databases
learning algorithm
computer vision
case study
image segmentation
mobile devices
changing environment
dynamically changing