Refining Data Flow Information Using Infeasible Paths

@inproceedings{Bodik-al:FSE97,
  author    = {Rastislav Bod{\'{\i}}k and
               Rajiv Gupta and
               Mary Lou Soffa},
  title     = {Refining Data Flow Information Using Infeasible Paths},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {361--377},
  series    = {LNCS},
  volume    = {1301},
  publisher = {Springer},
  year      = {1997},
  doi       = {10.1007/3-540-63531-9\_25},
}