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

by C Csallner, Y Smaragdakis
Venue:Proceedings of the International Symposium on Software Testing and Analysis,