GitHub repository: usc-isi-bass/benchmark-generator
Description: A random testcase generator for program analysis. Provides a program and its Bounded Model Checking smt-formula