I'd be interested in how it compares (in terms of time, money and false positives) with fuzzing.