Synthesizing method sequences for high-coverage testing. (2011)

by S Thummalapenta, T Xie, N Tillmann, J de Halleux, Z Su
Venue:OOPSLA