1. 1
  1.  

  2. 1

    The whitepaper is here:

    https://www.usenix.org/system/files/conference/usenixsecurity13/sec13-paper_davidson.pdf

    Website with download is here:

    http://pages.cs.wisc.edu/~davidson/fie/

    Leverages the KLEE work I’ve often mentioned here:

    https://klee.github.io/