Sun Ding, Hee Beng Kuan Tan, Kaiping Liu. A Survey of Infeasible Path Detection. In Joaquim Filipe, Leszek A. Maciaszek, editors, ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012. pages 43-52, SciTePress, 2012.
Abstract is missing.