Christoph Csallner Yannis Smaragdakis DSD-Crasher: a hybrid analysis tool for bug finding. 245-254 2006 conf/issta/2006 ISSTA http://doi.acm.org/10.1145/1146238.1146267 db/conf/issta/issta2006.html#CsallnerS06