Using Branch Correlation to Identify Infeasible Paths for Anomaly Detection | IEEE Conference Publication | IEEE Xplore