1. 4
  1.  

  2. 2

    Seems similar to PGO with a different optimization function. Cool work.

    I wonder if you could use this to double check properties in property based testing?