Using Branch Correlation to Identify Infeasible Paths for Anomaly Detection.

Xiaotong Zhuang, Tao Zhang, Santosh Pande

Browse the full MICRO paper archive.