DSD-Crasher: a hybrid analysis tool for bug finding.

Christoph Csallner, Yannis Smaragdakis

Browse the full ISSTA paper archive.