Refining data flow information using infeasible paths (1997)

by R Bodik, R Gupta, M L Soffa
Venue:in Software EngineeringESEC/FSE’97