A Survey of Infeasible Path Detection.

Sun Ding, Hee Beng Kuan Tan, Kaiping Liu

Browse the full ENASE paper archive.