Microsoft has been doing fuzzing for years. They claim to "run the largest fuzzing lab in the world".
They incorporated their Z3 solver into their fuzzer, which itself is an awesome
piece of technology. What they do sounds really cool and I'd say Microsoft Research is a
big authority in the fuzzing field.
[PDF] http://research.microsoft.com/en-us/um/people/pg/public_psfi...