Benchmark for evaluation of LLMs on concurrency bug fixing tasks

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Collection of Catala programs

A controlled concurrency testing framework for the JVM

Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio

GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.

Mutation-guided mutation-based fuzz testing

Optimizes NBA fantasy lineup