Research Article
Detecting Infeasible Paths via Mining Branch Correlations
Department of Computer Science and Engineering, Shanghai Jiao Tong University, China
Yuting Chen
School of Software, Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai 200240, China