https://hgpu.org/?p=6906
GKLEE: Concolic Verification and Test Generation for GPUs