Saturday, January 1, 2011 - 12:00 PM Tao Xie Nikolai Tillmann Jonathan De Halleux 2011 International Conference on Software Engineering (ICSE), Demonstration 1004–1006
