Analysis of Fuzzing Termination Criteria.