David Saff Shay Artzi Jeff H. Perkins Michael D. Ernst Automatic test factoring for java. 114-123 2005 conf/kbse/2005 ASE http://doi.acm.org/10.1145/1101908.1101927 db/conf/kbse/ase2005.html#SaffAPE05