@article{misailovic2011probabilistically,
  author={Misailovic, S. and Roy, D.M. and Martin Rinard},
  title={Probabilistically accurate program transformations},
  journal={Static Analysis},
  year={2011},
  pages={316--333}
}