Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux July 2011
In Proc. 2011 International Symposium on Software Testing and Analysis (ISSTA 2011)