Project Group: edu.berkeley.cs.jqf

jqf-instrument

edu.berkeley.cs.jqf : jqf-instrument

JQF: Feedback-directed Quickcheck for Java - Instrumentation and event generation module

Last Version: 1.9

Release Date: Feb 14, 2022

jqf-fuzz

edu.berkeley.cs.jqf : jqf-fuzz

JQF: Feedback-directed Quickcheck for Java - Guided fuzzing interface

Last Version: 1.9

Release Date: Feb 14, 2022

jqf

edu.berkeley.cs.jqf : jqf

JQF: Feedback-directed Quickcheck for Java

Last Version: 1.9

Release Date: Feb 14, 2022

jqf-maven-plugin

edu.berkeley.cs.jqf : jqf-maven-plugin

JQF: Feedback-directed Quickcheck for Java - Maven plugin

Last Version: 1.9

Release Date: Feb 14, 2022

jqf-examples

edu.berkeley.cs.jqf : jqf-examples

JQF: Feedback-directed Quickcheck for Java - Sample generators and benchmark tests

Last Version: 1.7

Release Date: Apr 14, 2021