Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte November 2009
In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering