Paper link, description, reference?

[vanhauser-thc]

Hi!

A description what is actually does and how it achieves it would be helpful in the README :) - or a link to a paper.
So what is the differentiator to afl's -x mode and/or afl-smart?

And is there a relationship to redqueen? I guess not as redqueen is for blackbox binaries and this is for grammar based approaches for source code fuzzing?
(and - when is redqueen being released?)

Thanks!