Xiaotong Zhuang Tao Zhang Santosh Pande Using Branch Correlation to Identify Infeasible Paths for Anomaly Detection. 113-122 2006 conf/micro/2006 MICRO http://doi.ieeecomputersociety.org/10.1109/MICRO.2006.48 db/conf/micro/micro2006.html#ZhuangZP06