xsmith (racket): Generator of highly effective fuzz testers.
Keywords: fuzzing