[pfdietz]

So? The paper compared formal techniques vs. testing. Why is that suddenly not appropriate if the testing is fuzzing?