https://hgpu.org/?p=7109
Symbolic Testing of OpenCL Code