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

by Christoph Csallner, Tao Xie
Venue:In ISSTA