Probabilistic dataflow analysis using path profiles on structure graphs. - Arun Ramamurthi; Subhajit Roy 001; Y. N. Srikant (SIGSOFT FSE, 2011)