Automatic test case reduction of randomly generated OpenCL kernels