Classifying Bugs with Interpolants
Randoop : Feedback-Directed Random Testing for Java