Carlos Pacheco Shuvendu K. Lahiri Michael D. Ernst Thomas Ball Feedback-Directed Random Test Generation. 75-84 2007 conf/icse/2007 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.37 db/conf/icse/icse2007.html#PachecoLEB07