DSD-Crasher: A hybrid analysis tool for bug finding
Test input generation with java PathFinder