Type Systems and Object- Oriented Programming (IV) John C. Mitchell Stanford University.
Feed Back Directed Random Test Generation Carlos Pacheco1, Shuvendu K. Lahiri2, Michael D. Ernst1, and Thomas Ball2 1MIT CSAIL, 2Microsoft Research Presented.
Feed Back Directed Random Test Generation