A framework for using test case generators to locate errors in C programs - View it on GitHub