1. Lecture Notes in Computer Science;S Arlt,2012
2. Chen, R., Zhang, G., Xiaowei, L.I.: Detection of infeasible path in procedure. Comput. Eng. 32(16), 86–88 (2006)
3. Communications in Computer and Information Science;S Ding,2013
4. Gong, D., Yao, X.: Automatic detection of infeasible paths in software testing. Softw. IET 4(5), 361–370 (2010)
5. Hedley, D., Hennell, M.A.: The Causes and Effects of Infeasible Paths in Computer Programs, pp. 259–267 (1985)