Detection of Infeasible Paths: Approaches and Challenges.

Sun Ding, Hee Beng Kuan Tan

Browse the full ENASE paper archive.