Refining data flow information using infeasible paths (1997)

by R Bodík, R Gupta, M L Soffa
Venue:SIGSOFT Softw. Eng. Notes