Kunal Taneja, Nuo Li, Madhuri Marri, Tao Xie, and Nikolai Tillmann September 2010
In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering