a testcase generator