JQF: coverage-guided property-based testing in Java.

Rohan Padhye, Caroline Lemieux, Koushik Sen

Browse the full ISSTA paper archive.