Carlos Pacheco Michael D. Ernst Randoop: feedback-directed random testing for Java. 815-816 2007 conf/oopsla/2007c OOPSLA Companion http://doi.acm.org/10.1145/1297846.1297902 db/conf/oopsla/oopsla2007c.html#PachecoE07