Coverage-guided semantic fuzzing for Java. - View it on GitHub