1. 23

  2. 1

    This was super interesting to read, although I have virtually no experience in fuzzers. It’s interesting that research considers probability distributions induced by fuzzers and the code (coverage). That’s quite a unique way to look at source code and testing. I wonder if this could be used to prove a program correct, with convergence almost everywhere or something to that extent.