DSD-Crasher: A hybrid analysis tool for bug finding
Automatic testing of object-oriented software