JQF + Zest: Coverage-guided semantic fuzzing for Java.
Modular, structure-aware, and feedback-driven fuzzing engine for Rust fu...
Constraint solver based on coverage-guided fuzzing