Synthesizing method sequences for high-coverage testingSuresh ThummalapentaTao Xieet al.2011OOPSLA 2011