DSD-Crasher: a hybrid analysis tool for bug finding (2006)

by C Csallner, Y Smaragdakis
Venue:In ISSTA