https://hgpu.org/?p=14097
Practical Symbolic Execution Analysis and Methodology for GPU Programs