@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} }