Automated test generation for OpenCL kernels using fuzzing and constraint solving