A small utility used for generating testcases, which in turn get fed to tested program. Useful for debugging programs by finding problematic cases.