SpecFuzz

SpecFuzz official source code and instructions are available here